arXiv cs.AI· Bravish Ghosh (Cygnux Labs)·· 13 小时前AI 评分52
PCM：面向可验证多智能体通信的携带证明消息协议
PCM: A Proof-Carrying Message Protocol for Verifiable Multi-Agent Communication
AI 导读
Cygnux Labs 的 Bravish Ghosh 提出携带证明消息协议 PCM，让每条声明附带智能体无法写入的 Merkle 日志记录、包含证明和受信签名者签名，接收方离线校验后给出已证明、未证明或失败三值结果。
正文 · AI 翻译
摘要：当一个 AI 智能体告诉另一个智能体“测试通过了”或“有人批准了这笔退款”时，接收方只能听信发送方的一面之词。A2A 和 MCP 对通道进行认证，但发送方才是存疑的一方，因此被提示注入的智能体可以通过多智能体系统洗白伪造的事实和权限。我们提出携带证明的消息（Proof-Carrying Messages，PCM），这是一种协议，其中每项声明都携带证据：来自智能体无法写入的仅追加 Merkle 日志的记录，附有包含证明，并由智能体无法控制的证明签名者签名。接收方离线检查消息，并为每项声明给出三值结果：已证明、未证明或失败。仅依赖智能体自身报告的声明永远不会被证明。权限以授权链的形式传递，其根植于已记录的人类批准，且这些链只能收窄。我们规定了四种声明类型、类型化警示代数、可在重启后存活的重放规则，以及使独立验证者达成一致的严格解读，并证明了由此产生的安全属性。在一个预先指定的基准测试中，包含来自真实运行的 926 条消息，其中 712 条属于 16 个类别的谎言，PCM 接受了 10 条谎言，全部为过期证据（1.4%，95% CI 0.8-2.6%）。普通 A2A 接受全部 712 条，而六种已部署协议的模型（带签名 Agent Cards 的 A2A、uAgents、RFC 9421、SCITT、AP2、Verifiable Intent）接受 504-712 条。两个独立验证者在全部 926 项判定上达成一致，验证耗时约 1 毫秒。
| 评论： | 50 页，9 幅图，15 张表。规范、一致性向量、验证器和基准测试：此 https URL |
| 主题： | 计算工程、金融与科学（cs.CE）；人工智能（cs.AI）；密码学与安全（cs.CR）；多智能体系统（cs.MA） |
| 引用为： | arXiv:2610.39109 [cs.CE] |
| （或此版本的 arXiv:2610.39109v1 [cs.CE]） | |
| https://doi.org/10.48550/arXiv.2610.39109 由 DataCite 颁发的 arXiv DOI |
提交历史
来自：Bravish Ghosh [查看电子邮件]
[v1]
2026 年 10 月 29 日星期四 00:50:34 UTC（114 KB）
来源：arXiv cs.AI · arxiv.org