- formatting
- images
- links
- math
- code
- blockquotes
- external-services
•
•
•
•
•
•
-
GKR for LLM Inference Proving — A New Era for Verifiable AI
How GKR unlocks ultra-fast zk-ML and enables scalable, efficient LLM inference proofs — with insights from Vitalik Buterin and our new JSTProve toolkit.
-
Can We Verify Every Action of an AI Agent?
Introducing the first verifiable AI agent playing Doom with cryptographic proofs for every action