Zero-Knowledge Predicate Proofs Between AI Agents: A Measured, Cross-Protocol Gateway and the Source-Integrity Gap

arXiv:2608.30083 · cs.CR, cs.MA · Submitted 2026-08-30 · Read on arXiv

cs.CR, cs.MA

Submitted: 2026-08-30

Updated: 2026-08-30

Comments: 11 pages, 6 figures, 4 tables. Reference implementation available at https://github.com/45h0kg/zk-proof-gateway

Code: https://github.com/45h0kg/zk-proof-gateway

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Verification — 34× in this paper · explained in 2 episodes
• Verifier — 13× in this paper · explained in 2 episodes
• AI Agents — 5× in this paper · explained in 2 episodes
• Aggregation — 5× in this paper · explained in 1 episode
• Agentic AI — 4× in this paper · explained in 1 episode
• Actor — 3× in this paper · explained in 3 episodes
• Benchmark — 2× in this paper · explained in 2 episodes
• Multi-Agent System — 2× in this paper · explained in 6 episodes
• Agent Architectures — 1× in this paper · explained in 1 episode
• Alignment — 1× in this paper · explained in 1 episode
• Benchmarking — 1× in this paper · explained in 4 episodes
• Core — 1× in this paper · explained in 2 episodes
• Failure Modes — 1× in this paper · explained in 3 episodes
• Generative AI — 1× in this paper · explained in 2 episodes
• Grounding — 1× in this paper · explained in 3 episodes
• Hallucination — 1× in this paper · explained in 4 episodes
• RAG — 1× in this paper · explained in 3 episodes

Sources

• Design Patterns for Securing LLM Agents against Prompt Injections
• Breaking the Protocol: Security Analysis of the Model Context Protocol Specification and Prompt Injection Vulnerabilities in Tool-Integrated LLM Agents
• A Survey of Zero-Knowledge Proof Based Verifiable Machine Learning
• The Aegis Protocol: A Foundational Security Framework for Autonomous AI Agents
• Beyond Single-Agent Alignment: Preventing Context-Fragmented Violations in Multi-Agent Systems
• NiyamAI - An Intent-Bound AI Agent with Cryptographically Verifiable Guardrails using Zero-Knowledge Proofs
• Proof of Execution: Runtime Verification for Governed AI Agent Actions
• Zero-Knowledge Audit for Internet of Agents: Privacy-Preserving Communication Verification with Model Context Protocol
• A Novel Zero-Trust Identity Framework for Agentic AI: Decentralized Authentication and Fine-Grained Access Control
• Securing Agentic AI: A Comprehensive Threat Model and Mitigation Framework for Generative AI Agents

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