論文の概要: PCM: A Proof-Carrying Message Protocol for Verifiable Multi-Agent Communication
- arxiv url: http://arxiv.org/abs/2610.39109v1
- Date: Thu, 29 Oct 2026 00:50:34 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-11-01 01:32:10.022535
- Title: PCM: A Proof-Carrying Message Protocol for Verifiable Multi-Agent Communication
- Title（参考訳）: PCM: 検証可能なマルチエージェント通信のためのProof-Carrying Message Protocol
- Abstract要約: 本稿では,各主張が証拠を伝達するプロトコルであるProof-Carrying Messagesを紹介する。
代理人の報告にのみ従うという主張は決して証明されない。
我々は、4つのクレームタイプ、型付き注意代数学、再起動を継続するルールの再生、独立検証に同意する厳密な読解を規定する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: When one AI agent tells another that "the tests passed" or "a person approved this refund", the receiver has only the sender's word. A2A and MCP authenticate the channel, but the sender is the party in doubt, so a prompt-injected agent can launder fabricated facts and authority through a multi-agent system. We present Proof-Carrying Messages (PCM), a protocol in which each claim carries evidence: records from an append-only Merkle log that the agent cannot write, with inclusion proofs, signed by an attesting signer the agent cannot control. Receivers check messages offline and give each claim a three-valued result: proven, unproven or failed. A claim that rests only on the agent's own report is never proven. Authority travels as grant chains rooted in a recorded human approval, and the chains can only narrow. We specify four claim types, a typed caveat algebra, replay rules that survive restarts, and strict readings that make independent verifiers agree, and we prove the resulting security properties. On a pre-specified benchmark of 926 messages from real runs, 712 of them lies in 16 classes, PCM accepts 10 lies, all of them stale evidence (1.4%, 95% CI 0.8-2.6%). Plain A2A accepts all 712, and models of six deployed protocols (A2A with signed Agent Cards, uAgents, RFC 9421, SCITT, AP2, Verifiable Intent) accept 504-712. Two independent verifiers agree on all 926 verdicts, and verification takes about 1 ms.
- Abstract（参考訳）: あるAIエージェントが別のエージェントに「テストがパスした」または「人がこの返金を承認した」と告げると、受信側は送信者の言葉しか持たない。
A2A と MCP はチャネルを認証するが、送信側は疑わしい。
本稿では,各クレームが証拠を伝達するプロトコルであるProof-Carrying Messages(PCM)を提案する。
受信側はメッセージをオフラインでチェックし、それぞれのクレームに3つの価値ある結果を与える。
代理人の報告にのみ従うという主張は決して証明されない。
認可チェーンは記録された人間の承認に根ざしたものであり、チェーンは狭くしかありません。
我々は、4つのクレームタイプ、型付き注意代数学、再起動を継続するルールの再生、独立検証器を一致させる厳密な読み出し、そしてその結果のセキュリティ特性を証明する。
実際の926のメッセージの事前ベンチマークでは、そのうち712が16のクラスに置かれ、PCMは10の嘘を受け入れ、それらすべてが古い証拠(1.4%、95% CI 0.8-2.6%)である。
プレーンA2Aは712のすべてを受け入れ、6つのデプロイされたプロトコル(A2Aに署名されたエージェントカード、uAgents、RFC 9421、SCITT、AP2、検証インテント)は504-712を受け入れる。
2つの独立した検証者は、全ての926の検証に合意し、検証には約1ミリ秒を要する。
関連論文リスト
- Beyond fabrication: Misattributed numbers in papers written by AI research agents [0.0]
我々は、最近公開されたAI研究エージェントの公開ベンチマークから、540件の判決を再分析した。
本稿では, 周辺文脈が主張結果を識別するか否かをスコアする決定論的クレーム・ツー・エビデンス・チェッカーを提案する。
盲目のアノテーションに対して90%以上の精度でクレームを認証する。
論文 参考訳（メタデータ） (2026-10-28T18:57:54Z) - Proof-Carrying Contracts: Commitments AI Agents Cannot Break [55.47411235954028]
本稿では,エージェントのシステムとのインタラクションを通じて,合意された制約を強制可能なものにするためのフレームワークであるProof-Carrying Contracts (PC2)を紹介する。
要求された操作が実行される前に、エージェントは、そのモデルによって許されるすべてのケースにおいて、合意された制約を保存するためのマシンチェック可能な証明を提供する必要がある。
我々は、実行中、たとえ敵エージェントであっても、その制約が瞬時に保持されることを証明し、それが世界の安全を意味するかどうかを識別する。
論文 参考訳（メタデータ） (2026-10-20T16:30:34Z) - VerifierBench: Benchmarking the Generation of Executable Verifiers for LLM Agents [57.86211802714839]
VerifierBenchは、ツールコール、ステートベース、コード検証にまたがる222のタスクのベンチマークである。
Verifier4Verifier (V4V) はソース検証とテストスイートを検査する。
分析されたレコードのほとんどの偽りの拒絶は、あるタスクに対するテストされた解決策を受け入れない検証者によるものである。
論文 参考訳（メタデータ） (2026-10-19T17:22:36Z) - Don't Judge an Agent by Its Messages: Private-State Leakage under Passive Monitoring of Agent Communication [0.5219568203653523]
AIエージェントは、タスクが決して必要としなかったプライベート情報を開示しながら、そのメッセージと受信者のタスク結果の分散を再現することができる。
我々は、監査人が許可された送信者と正確に観察可能な法律を知っているが、その裏にある私的国家と信頼できるメッセージのペアを持たない場合に、受動的監査が何を証明できるかを尋ねる。
論文 参考訳（メタデータ） (2026-10-18T05:43:30Z) - Approve What, Exactly? Effect Binding and Trusted Rendering for Agent Step-Up Authorization [0.0]
我々は、標準エフェクト記述子から承認カードをレンダリングし、ダイジェストにサインするユーザの電話にパスキーを持ち、ストアドコールのみを実行するゲートウェイを構築する。
現在の15の言語モデルを自動承認装置として使用することで、信頼されたカードは攻撃のキャッチレートを0.30から0.98に引き上げる。
第2の装置は、これらの実験で信頼されたホストの確認について何も測定できないが、洪水はモデル化された承認者に対する0.45から0.60の時間でまだ成功し、承認が既に許されているポリシーの影響を止めることはできない。
論文 参考訳（メタデータ） (2026-10-15T01:11:23Z) - Why Do Agent Teams Fail Across Boundaries? A Failure Taxonomy for Agent-to-Agent Systems with Private States [96.00953129073133]
エージェント・ツー・エージェント(A2A)のシナリオでは、各エージェントは独自の環境を持ち、他のエージェントが見ることができない情報と権限を持っている。
既存のマルチエージェントシステム障害研究では、1つのオーケストレータ、共有ワークスペース、または1つのプリンシパルが想定されている。
我々は、異なるエージェントハーネスとモデルで構築された2500以上のA2Aシステムについて研究する。
論文 参考訳（メタデータ） (2026-10-14T00:36:08Z) - When Upstream Messages Override Correct Answers: A Controlled Study of Multi-Agent LLM Collaboration [40.492310451180366]
上流エージェントは、下流エージェントが自身の証拠によって支持された正しい回答をオーバーライドさせる有用な情報または誤った回答を提供することができる。
この問題を,5つのベンチマークと5つの受信機にまたがる制御実験を用いて検討する。
論文 参考訳（メタデータ） (2026-09-29T07:01:10Z) - Attesting Outputs and Delegation Ancestry in Multi-Agent AI Systems [3.276413627586882]
事件後、検証者は2つの質問に答えなければならない。
クレデンシャルは、誰が行動するかを確立するが、後続の出力バイトにそれらをバインドする必要はない。
信頼できるデプロイランタイムは、リリースされた各出力のハッシュに署名する。
論文 参考訳（メタデータ） (2026-08-31T07:42:57Z) - Zero-Knowledge Predicate Proofs Between AI Agents: A Measured, Cross-Protocol Gateway and the Source-Integrity Gap [0.0]
マルチエージェントAIプラットフォームは、ステージングからプロダクションへ素早く移行するが、エージェントが信頼を確立する方法はまだ初歩的だ。
提案から実行システムまで,エージェント間での検証可能なデータ最小化を行う。
32ビットのしきい値述語は6.2msで証明され、608バイトのBulletproofs証明で1.0msで検証される。
論文 参考訳（メタデータ） (2026-08-30T23:16:17Z) - AgentProv: Auditing Agentic LLM API Providers via Tool-use Policy Probes [38.37599802008238]
商用LLM APIは特定の基盤モデルを宣伝するが、提供されたバックボーンは静かに代用され、定量化され、あるいはラップされることがある。
既存の監査はすべて、テキスト出力チャネルからバックボーンアイデンティティを決定する。
本稿では,AgentProv(AgentProv)について紹介する。
論文 参考訳（メタデータ） (2026-08-30T08:22:12Z) - Coding Agents as Test-Suite Auditors: Finding What Official Suites Miss While Approaching What They Catch [47.836680625916266]
テストスイート監査官として機能する市販のコーディングエージェントは、どちらも、公式スイートが見逃すものを公開するために、敵対的なテストスイートを構築します。
認証チェーンは、各エージェントフラッグされた申請が、公式の裁判官に頼らずに、真にバグだらけであるか否かを判定する。
Codeforceは、利用可能なオフィシャルスイートを持たない問題に対して、同じテストビルディングメソッドを使用して、テストされた入力予算毎に5つの再生ベースラインを導出する。
論文 参考訳（メタデータ） (2026-08-03T05:24:03Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。