Verifiable Computation
Proving off-chain work was performed correctly, including machine learning inference.
130 talks
- An update on Local Mixing (iO)
- Diamond iO: New Cryptanalysis and Efficiency Improvements
- Implementing EIP-8025 Optional Execution Proofs in Grandine
- Evaluating Client-Side Proving Systems
- Nobody Verifies What Your Agent Reads
- Tom Lee Buys More ETH?! PUMP Next Leg Up?! Vitalik's "World Computer"! Jumper & Aligned
- Episode 403 - Building ZK-Powered AI Guardrails with Wyatt Benno
- Fireside Chat: Verifiable AI Agents with Sreeram Kannan and Nikita Sachdev
- Proving Ethereum in Real Time with OpenVM 2.0
- Crypto x AI, AI x Crypto: A Survey
- Proof Over Promises
- Can Crypto Make AI More Trustworthy? Sreeram Kannan on Verifiable AI and EigenLayer
- ZK14 - Jolt Atlas: Verifiable Inference via Lookup Arguments in Zero Knowledge - Antoine Douchet
- ZK14 - qedb: Expressive and Modular Verifiable Databases (without SNARKs) - Emanuele Ragnoli
- Agents as Companies: The EigenCloud Thesis | Sreeram Kannan & Gajesh Naik
- Episode 398 - Verifiable Databases with Shyam & Emanuele from Provably
- Pico Prism 2.0: Real-Time zk Proving at Scale
- Proving Ethereum in Real-Time With OpenVM 2.0
- Prove Geth with Ziren
- The road less travelled: 4 years of direct arithmetization of the EVM
- Keccacheck: towards a SNARK friendly Keccak
- Building Trustless Onchain AI: Verifiable Federated Learning | Andrea Rizzini - Horizen Labs
- Hype to Verifiable AI: What It Takes to Run Trust-Minimized AI on Crypto Infrastructure | Will - 0G
- Why Private AI Is The Only Way Forward For The USA (...And What Comes Next!)