論文の概要: 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コア配布を実現する
• Authors: Zhaoxiang Liu, Samuel Judson, Raj Dutta, Mark Santolucito, Xiaolong Guo, Ning Luo,
• 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コアの多種多様な集合に対して効果的に完成することを示した。

関連論文リスト

• 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)
• 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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。