A zero-knowledge proof slot for MCP and A2A verifies a predicate in 1ms without either agent sending the data
Agents currently establish trust by shipping raw data or by accepting a peer's natural-language claim that a value complies with policy, and the second is exactly the channel prompt injection rides. This gateway has agents exchange proofs of governance-defined predicates instead, and because no interoperability protocol carries such a proof today the authors propose a slot and implement it on both MCP and Agent2Agent from one endpoint. A 32-bit threshold predicate proves in 6.2ms and verifies in 1.0ms with a 608-byte Bulletproofs proof on one commodity vCPU, deployed to Kubernetes with verified network isolation. They also name the gap nobody else closes, that a predicate binds to a committed value and not to the system of record, and fuse an enclave attestation to bridge it.
Source
↳ Follow the thread