A2A-CaseVerify：跨组织A2A工作流的Merkle链接案例证据验证
A2A-CaseVerify: Merkle-Linked Case-Evidence Verification for Cross-Organization A2A Workflows
浏览论文内容
中文总结 AI 辅助
A2A-CaseVerify通过Merkle树链接案例证据图，离线验证跨组织A2A工作流声明，拒绝所有突变并返回诊断代码。
中文摘要 AI 辅助
Agent-to-Agent（A2A）通信使大型语言模型（LLM）智能体能够跨组织交换任务、消息和工件。仅凭有效消息并不能证明最终工作流声明得到完整、有序且案例一致的证据路径支持。我们提出A2A-CaseVerify，一个确定性的离线验证器，将保留的A2A运行时对象、业务事件和类型化支持边映射到有向案例证据图。它提交A2A信封、事件投影和支持边，然后将事件和边叶子组合成确定性的案例Merkle根。仅当保护和配置文件特定的重建检查通过时，验证器才返回状态为OK的SUPPORTED。我们评估了一个规范的受支持医疗保健配置文件捆绑包和13个受控突变。我们另外测试了使用官方Python A2A软件开发工具包（SDK）生成的有效捆绑包。在这些测试中，规范捆绑包和SDK生成的捆绑包均被接受。所有13个突变均被拒绝，且每个返回的原因代码集包含其目标诊断代码。A2A-CaseVerify为A2A互操作性增加了离线案例级证据支持验证。
英文摘要
Agent-to-Agent (A2A) communication enables large language model (LLM) agents to exchange tasks, messages, and artifacts across organizations. A valid message alone does not establish that a final workflow claim is supported by a complete, ordered, and case-consistent evidence path. We present A2A-CaseVerify, a deterministic offline verifier that maps preserved A2A runtime objects, business events, and typed support edges to a directed case evidence graph. It commits A2A envelopes, event projections, and support edges, then combines event and edge leaves into a deterministic case Merkle root. The verifier returns SUPPORTED with status OK only when protection and profile-specific reconstruction checks pass. We evaluate one canonical supported healthcare-profile bundle and 13 controlled mutations. We separately test a valid bundle generated with the official Python A2A software development kit (SDK). In these tests, the canonical and SDK-generated bundles are accepted. All 13 mutations are rejected, and each returned reason-code set contains its targeted diagnostic code. A2A-CaseVerify adds offline case-level evidence-support verification to A2A interoperability.
发表机构
- Northern Arizona University（北亚利桑那大学）
- Majmaah University（马马赫大学）
- Tallinn University of Technology（塔林科技大学）
机构由 AI 辅助整理，请以论文原文为准。
