論文の概要: Zero-Knowledge Audit for Internet of Agents: Privacy-Preserving Communication Verification with Model Context Protocol
- arxiv url: http://arxiv.org/abs/2512.14737v1
- Date: Thu, 11 Dec 2025 19:18:07 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-12-18 17:06:26.702147
- Title: Zero-Knowledge Audit for Internet of Agents: Privacy-Preserving Communication Verification with Model Context Protocol
- Title（参考訳）: エージェントのインターネットに対するゼロ知識監査:モデルコンテキストプロトコルによるプライバシ保護通信検証
- Authors: Guanlin Jing, Huayi Qi,
- Abstract要約: 我々は,メッセージが期待されるルールに従っていることを確認しながら,メッセージをプライベートに保持する,エージェント通信の監査フレームワークを導入する。
ゼロ知識証明を既存のモデルコンテキストプロトコル(MCP)と組み合わせることで、その内容を明らかにすることなくメッセージを検証することができる。
我々は、zk-MCPがデータの信頼性と通信のプライバシーを提供し、無視可能な遅延オーバーヘッドによる効率的な検証を実現していることを示す。
- 参考スコア（独自算出の注目度）: 2.503043323723241
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Existing agent communication frameworks face critical limitations in providing verifiable audit trails without compromising the privacy and confidentiality of agent interactions. The protection of agent communication privacy while ensuring auditability emerges as a fundamental challenge for applications requiring accurate billing, compliance verification, and accountability in regulated environments. We introduce a framework for auditing agent communications that keeps messages private while still checking they follow expected rules. It pairs zero-knowledge proofs with the existing Model Context Protocol (MCP) so messages can be verified without revealing their contents. The approach runs in lightweight networks, stays compatible with standard MCP exchanges, and adds asynchronous audit verification to confirm format and general message types without exposing specifics. The framework enables mutual audits between agents: one side can check communication content and quality while the other verifies usage metrics, all without revealing sensitive information. We formalize security goals and show that zk-MCP provides data authenticity and communication privacy, achieving efficient verification with negligible latency overhead. We fully implement the framework, including Circom-based zero-knowledge proof generation and an audit protocol integrated with MCP's bidirectional channel, and, to our knowledge, this is the first privacy-preserving audit system for agent communications that offers verifiable mutual auditing without exposing message content or compromising agent privacy.
- Abstract（参考訳）: 既存のエージェント通信フレームワークは、エージェントインタラクションのプライバシと機密性を損なうことなく、検証可能な監査パスを提供することにおいて、重要な制限に直面します。
監査性を確保しながらエージェント通信のプライバシを保護することは、規制された環境で正確な請求、コンプライアンス検証、説明責任を必要とするアプリケーションにとって、基本的な課題として現れます。
我々は,メッセージが期待されるルールに従っていることを確認しながら,メッセージをプライベートに保持する,エージェント通信の監査フレームワークを導入する。
ゼロ知識証明を既存のモデルコンテキストプロトコル(MCP)と組み合わせることで、その内容を明らかにすることなくメッセージを検証することができる。
このアプローチは軽量なネットワークで動作し、標準のMPP交換との互換性を維持し、非同期監査検証を追加し、フォーマットや一般的なメッセージタイプを特定の情報を公開することなく確認する。
このフレームワークはエージェント間の相互監査を可能にし、一方が通信内容と品質をチェックし、もう一方が使用基準を検証する。
我々はセキュリティの目標を定式化し、zk-MCPがデータの信頼性と通信のプライバシーを提供し、無視可能な遅延オーバーヘッドによる効率的な検証を実現していることを示す。
このフレームワークは、Circomベースのゼロ知識証明生成や、MPPの双方向チャネルに統合された監査プロトコルを含む、完全に実装されており、我々の知る限り、メッセージ内容の公開やエージェントプライバシの妥協なしに検証可能な相互監査を提供するエージェント通信のための、最初のプライバシ保護監査システムである。
関連論文リスト
- Towards Trusted Service Monitoring: Verifiable Service Level Agreements [37.76528129929801]
サービス指向環境におけるSLA(Service Level Agreement)監視は、プロバイダがメトリクスを自己報告する場合、固有の信頼の衝突に悩まされます。
信頼性のあるハードウェアモニタとゼロ知識証明を通じて、検証可能なSLA違反クレームを生成するためのフレームワークを導入する。
論文 参考訳（メタデータ） (2025-10-15T10:02:29Z) - Context Lineage Assurance for Non-Human Identities in Critical Multi-Agent Systems [0.08316523707191924]
本稿では,アタッチメントのみのメルクル木構造に固定された系統検証のための暗号的基盤機構を提案する。
従来のA2Aモデルとは異なり、本手法ではエージェントと外部検証器の両方が暗号的にマルチホップ前駆体を検証できる。
並行して、A2Aエージェントカードを拡張して、明示的な識別認証プリミティブを組み込むことにより、NHI表現の正当性を確認することができる。
論文 参考訳（メタデータ） (2025-09-22T20:59:51Z) - SilentLedger: Privacy-Preserving Auditing for Blockchains with Complete Non-Interactivity [38.520950743840785]
SilentLedgerは、監査と完全な非対話を備えたプライバシ保護トランザクションシステムである。
我々は、正当性、匿名性、機密性、健全性などのセキュリティ特性を正式に証明する。
我々の実装とベンチマークは、SilentLedgerが最先端のソリューションよりも優れたパフォーマンスを実現していることを示している。
論文 参考訳（メタデータ） (2025-09-10T16:14:34Z) - Beyond Jailbreaking: Auditing Contextual Privacy in LLM Agents [43.303548143175256]
本研究では,リスクに対するエージェントの感受性を定量的に評価する,会話プライバシのための監査フレームワークを提案する。
CMPL(Conversational Manipulation for Privacy Leakage)フレームワークは、厳格なプライバシー命令を強制するエージェントをストレステストするために設計されている。
論文 参考訳（メタデータ） (2025-06-11T20:47:37Z) - Attention Knows Whom to Trust: Attention-based Trust Management for LLM Multi-Agent Systems [52.57826440085856]
LLM-MAS(Large Language Model-based Multi-Agent Systems)は、複雑なタスクを解く上で強力な能力を示すが、エージェントが信頼性の低いメッセージを受け取ると弱いままである。
LLMエージェントは、信頼性を評価することなく、すべての受信メッセージを平等に扱う。
本稿では,メッセージの信頼度を評価するための軽量な注意ベース手法であるAttention Trust Score (A-Trust)を提案する。
論文 参考訳（メタデータ） (2025-06-03T07:32:57Z) - Accountable, Scalable and DoS-resilient Secure Vehicular Communication [0.27624021966289597]
放送された協調意識メッセージ(CAM)と分散環境通知メッセージ(DENM)は、セキュリティとプライバシ保護のために認証されている。
これにより非対称性が生成され、外部の敵が簡単に利用して、ブロックするDoS(DoS)攻撃を起動する。
本稿では、メッセージ検証ファシリテータと呼ばれる効率的な暗号構造を提案し、潜在的に有効なメッセージの検証のための処理資源の優先順位付けを行う。
論文 参考訳（メタデータ） (2025-05-28T09:25:34Z) - Balancing Confidentiality and Transparency for Blockchain-based Process-Aware Information Systems [43.253676241213626]
機密性と透明性を維持するために,ブロックチェーンベースのPAISアーキテクチャを提案する。
スマートコントラクトは公開インタラクションを制定、強制、保存し、属性ベースの暗号化技術は機密情報へのアクセス許可を指定するために採用されている。
システム的脅威モデル解析によりソリューションの安全性を評価し,その実用性を評価する。
論文 参考訳（メタデータ） (2024-12-07T20:18:36Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳（メタデータ） (2024-01-19T14:52:04Z) - FedGT: Identification of Malicious Clients in Federated Learning with Secure Aggregation [69.75513501757628]
FedGTは、フェデレーション学習における悪意のあるクライアントを安全なアグリゲーションで識別するための新しいフレームワークである。
我々はPillutlaらによって最近提案された幾何的中央値に基づいて,FedGTがプライベートロバストアグリゲーションアプローチを著しく上回っていることを示す。
論文 参考訳（メタデータ） (2023-05-09T14:54:59Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。