論文の概要: BlindMarket: Enabling Verifiable, Confidential, and Traceable IP Core Distribution in Zero-Trust Settings
- arxiv url: http://arxiv.org/abs/2603.22685v1
- Date: Tue, 24 Mar 2026 01:23:45 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-03-25 19:53:37.234867
- Title: BlindMarket: Enabling Verifiable, Confidential, and Traceable IP Core Distribution in Zero-Trust Settings
- Title（参考訳）: BlindMarket:ゼロトラスト設定で検証可能、信頼性、トレース可能なIPコア配布を実現する
- Abstract要約: 我々はハードウェアIPコアのためのエンドツーエンドのゼロトラスト配信フレームワークであるBlindMarketを紹介する。
BlindMarketは、IPユーザとIPベンダの2社に対して、信頼性と機密性の保証が強いIPトレーディングプロセスを完了させる。
- 参考スコア（独自算出の注目度）: 8.936135192426143
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We present BlindMarket, an end-to-end zero-trust distribution framework for hardware IP cores. BlindMarket allows two parties, the IP user and the IP vendor, to complete an IP trading process with strong guarantees of verifiability and confidentiality before the transaction, and then traceability after. We propose verification heuristics and adapt the cone of influence-based design pruning to overcome the limited scalability common to cryptographic protocols and the hardness of the underlying hardware verification. We systematically evaluate our framework on a diverse set of real-world hardware benchmarks, and the results demonstrate that BlindMarket effectively completes across a diverse set of real-world hardware IP cores, demonstrating successful verification on 12 out of 13 designs and substantial performance improvements enabled by design pruning and control-flow guided heuristics.
- Abstract（参考訳）: 我々はハードウェアIPコアのためのエンドツーエンドのゼロトラスト配信フレームワークであるBlindMarketを紹介する。
BlindMarketは、IPユーザとIPベンダの2つのパーティが、トランザクションの前に信頼性と機密性の保証を強く保証したIPトレーディングプロセスを完了し、その後にトレーサビリティを提供する。
本稿では,暗号プロトコルに共通する限られたスケーラビリティと基盤となるハードウェア検証の難しさを克服するため,検証ヒューリスティックスを提案し,インフルエンスベース設計プルーニングのコーンに適応する。
BlindMarketは,13の設計のうち12のハードウェアIPコアに対して有効に検証し,設計プルーニングと制御フロー誘導ヒューリスティックスによって実現された実質的な性能向上を実証し,実世界のハードウェアIPコアの多種多様な集合に対して効果的に完成することを示した。
関連論文リスト
- Transparent Identity Verification Approach Using MPC and Efficient Credential Status Handling [1.5006258585503878]
現在のeKYCフレームワークは、高い計算コスト、厳格な回路設計、複雑な統合、高価なオンチェーン検証に直面している。
我々は,MPC(Multi-Party Computation)に基づく透過的で費用対効果の高い識別検証フレームワークを提案する。
MPCはプライベートなオフチェーンコード実行を可能にし、ブロックチェーンにアンロックされたランタイムを生成する。
論文 参考訳（メタデータ） (2026-09-12T23:57:54Z) - Skillsets on the Chain: A Blockchain-based Zero-Trust Framework for Agentic AI Networking [41.895053158170136]
Agentic AI Network(AgentNet)システムは、サードパーティのスキルセット実装と分散マルチエージェントコラボレーションに大きく依存している。
本稿では、2層ブロックチェーンでセキュアなゼロトラストフレームワークであるTrustAgentNetを提案する。
論文 参考訳（メタデータ） (2026-07-31T00:24:06Z) - GroverFigureOfMerit: An Agnostic Figure of Merit for Quantum Backend Characterization in the NISQ Era [41.99844472131922]
本稿では,Groverのアルゴリズムに基づくメリットのフィギュアを,量子バックエンド性能を均等に評価するアルゴリズム的ストレステストとして提案する。
この計量は、目標状態の成功確率と、非一様増幅と非マーク状態へのリークに対する罰則を組み合わせ、ハードウェアアーキテクチャ全体で統一されたスコアを得る。
論文 参考訳（メタデータ） (2026-07-09T16:08:48Z) - ACE Runtime - A ZKP-Native Blockchain Runtime with Sub-Second Cryptographic Finality [1.7429038786735553]
既存の高性能ブロックチェーンは、クリティカルパス上のトランザクション毎にひとつのシグネチャを検証する。
本稿では、認証認証分離に基づくZKPネイティブ実行層であるACEについて述べる。
論文 参考訳（メタデータ） (2026-03-10T21:39:36Z) - An Explainable Market Integrity Monitoring System with Multi-Source Attention Signals and Transparent Scoring [0.0]
AIMM-Xは、市場スタイルの信号と公共の注意信号を組み合わせた監視パイプラインであり、アナリストレビューの恩恵を受ける表面時間ウィンドウである。
我々は、データをダウンロードし、注意機能を構築し、統一パネルを構築し、ウィンドウを検出し、コンポーネント信号を計算し、要約図/表を生成する、エンドツーエンドで再現可能な実装を提供する。
私たちの目標は、操作のラベル付けではなく、コンプライアンスチームや取引所、研究者による下流の調査を支援する、実用的な監査可能なスクリーニングツールを提供することです。
論文 参考訳（メタデータ） (2026-01-10T22:48:57Z) - A Private Smart Wallet with Probabilistic Compliance [1.767791678320834]
新規な招待型プライベートオフボード機構を備えたプライバシー保護型スマートウォレットを提案する。
このソリューションは、権威者(innocence mechanism)の証明と先祖のコミットメント追跡システム(ancestral commitment tracking system)という、2つのレベルのコンプライアンスを統合する。
本評価では,プライバシ保護とコンプライアンスを意識したデジタル決済を,計算処理と財務上のオーバーヘッドを最小限に抑えながら実現可能であることを評価する。
論文 参考訳（メタデータ） (2025-06-05T10:23:20Z) - Trusted Compute Units: A Framework for Chained Verifiable Computations [41.94295877935867]
本稿では,異種技術間のコンポーザブルで相互運用可能な計算を可能にする統合フレームワークであるTrusted Compute Unit(TCU)を紹介する。
オンチェーンの確認遅延やガス料金を発生させることなく、セキュアなオフチェーンインタラクションを可能にすることで、TCUはシステムパフォーマンスとスケーラビリティを大幅に改善する。
論文 参考訳（メタデータ） (2025-04-22T09:01:55Z) - Are You Getting What You Pay For? Auditing Model Substitution in LLM APIs [71.7892165868749]
LLM(Commercial Large Language Model) APIは基本的な信頼の問題を生み出します。
ユーザーは特定のモデルに課金するが、プロバイダが忠実に提供できることを保証することはない。
我々は,このモデル置換問題を定式化し,現実的な逆条件下での検出方法を評価する。
我々は,信頼された実行環境(TEE)を実用的で堅牢なソリューションとして使用し,評価する。
論文 参考訳（メタデータ） (2025-04-07T03:57:41Z) - Balancing Confidentiality and Transparency for Blockchain-based Process-Aware Information Systems [43.253676241213626]
機密性と透明性を維持するために,ブロックチェーンベースのPAISアーキテクチャを提案する。
スマートコントラクトは公開インタラクションを制定、強制、保存し、属性ベースの暗号化技術は機密情報へのアクセス許可を指定するために採用されている。
システム的脅威モデル解析によりソリューションの安全性を評価し,その実用性を評価する。
論文 参考訳（メタデータ） (2024-12-07T20:18:36Z) - SPOQchain: Platform for Secure, Scalable, and Privacy-Preserving Supply Chain Tracing and Counterfeit Protection [46.68279506084277]
この研究は、包括的なトレーサビリティと独創性検証を提供する、ブロックチェーンベースの新しいプラットフォームであるSPOQchainを提案する。
プライバシとセキュリティの側面を分析し、サプライチェーンのトレーシングの将来に対するSPOQチェーンの必要性と資格を実証する。
論文 参考訳（メタデータ） (2024-08-30T07:15:43Z) - Graph Attention Network-based Block Propagation with Optimal AoI and Reputation in Web 3.0 [59.94605620983965]
我々は、ブロックチェーン対応Web 3.0のための、グラフ注意ネットワーク(GAT)ベースの信頼できるブロック伝搬最適化フレームワークを設計する。
ブロック伝搬の信頼性を実現するために,主観的論理モデルに基づく評価機構を導入する。
グラフ構造化データの処理能力に優れたGATが存在することを考慮し、GATを強化学習に利用して最適なブロック伝搬軌道を得る。
論文 参考訳（メタデータ） (2024-03-20T01:58:38Z) - zkFi: Privacy-Preserving and Regulation Compliant Transactions using Zero Knowledge Proofs [0.0]
zkFiプロトコルは、開発者がトランザクションアセットを処理する柔軟性を提供するプラグイン・アンド・プレイソリューションとして機能するように設計されている。
ゼロ知識証明(ZKP)の専門知識はオプションであり、zkFiのモジュラーアプローチとソフトウェア開発キット(SDK)の可用性に起因する。
論文 参考訳（メタデータ） (2023-07-02T09:09:52Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。