Zero-Knowledge Predicate Proofs Between AI Agents: A Measured, Cross-Protocol Gateway and the Source-Integrity Gap arxiv.org
ZK predicate proofs for AI agents, with an MCP/Agent2Agent gateway and enclave attestation to close the source-integrity gap.