zkAgent: Verifiable Agent Execution via One-Shot Complete LLM Inference Proof
Submitted to USENIX Security (under review), 2026
This work proves end-to-end LLM agent execution, including complete inference and tool interactions, with one-shot transcript proving for better scalability.