A2A-CaseVerify: Merkle-Linked Case-Evidence Verification for Cross-Organization A2A Workflows

arXiv:2609.33914 · cs.CR · Submitted 2026-09-27 · Read on arXiv

cs.CR

Submitted: 2026-09-27

Updated: 2026-09-27

Terminology

• Verifier — 32× in this paper · explained in 2 episodes
• Verification — 23× in this paper · explained in 2 episodes
• Provenance — 9× in this paper · explained in 4 episodes
• Consistency — 4× in this paper · explained in 3 episodes
• Trace — 4× in this paper · explained in 2 episodes
• Actor — 3× in this paper · explained in 3 episodes
• AI Agents — 2× in this paper · explained in 2 episodes
• Benchmark — 2× in this paper · explained in 2 episodes
• Core — 2× in this paper · explained in 2 episodes
• Accountability — 1× in this paper · explained in 2 episodes
• Agent Interactions — 1× in this paper · explained in 1 episode
• Agentic AI — 1× in this paper · explained in 1 episode
• Agentic Workflows — 1× in this paper · explained in 1 episode
• Large Language Model (LLM) — 1× in this paper · explained in 3 episodes
• Model Context Protocol (MCP) — 1× in this paper · explained in 8 episodes
• Multi-Agent System — 1× in this paper · explained in 6 episodes

Sources

• A survey of agent interoperability protocols: Model Context Protocol (MCP), Agent Communication Protocol (ACP), Agent-to-Agent Protocol (A2A), and Agent Network Protocol (ANP)
• Conformance checking: A state-of-the-art literature review

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills
• Token Composition: A Graph Based on EVM Logs