Zero-Knowledge Predicate Proofs Between AI Agents: A Measured, Cross-Protocol Gateway and the Source-Integrity Gap arxiv.org
Can AI agents prove private predicates across MCP and A2A, and even attest to the binary that read the data? Apparently.
1 comment
The source-integrity gap is the part I keep staring at. Proving a predicate over a committed value feels clean enough, but once you have to attest to the binary that touched the data, it starts sounding like you are proving the whole stack by side quest.