Verifiable Computation
Proving off-chain work was performed correctly, including machine learning inference.
130 talks
- Esben Kran: Superintelligence Companies and Humanity's Future | Intelligence at the Frontier 2026
- ZK Whiteboard Sessions - S3M8: ZKML, w/ Jason Morton
- Is ZK a valid source of truth?
- Bridge Atlas - Episode 5: Verifiability | Shreya Shankar & Justin Drake
- Verifiable Bug Bounties in the Age of AI slop
- When AI Meets Crypto Synergies, Challenges & Adoption | EBC11
- Truth in a Post Truth World
- The Path towards Real-Time Proving with Ziren [Ethereum Protocol Day]
- Experiments in Building ZK Applications [EN] [Ethereum Protocol Day]
- Episode 370 - ZKTorch & the Evolution of ZKML with Daniel Kang
- Ethereum's Infrastructure Is Critical for Trust and Safety in AI
- ZKP for Everyone: Apply ZKP to Your Ethereum Transactions in a Few Clicks
- zkVM Proof Aggregation: From Zero to Hero
- From Design to Benchmarking: BLAKE Hash AIR for the Stwo Prover
- Securing Cross-Chain Interactions with ZK Coprocessor: From Design to On-Chain Verification
- Designing for Change: The Modular Architecture of Zircuit Prover
- Verify EVM execution in the pessimistic proof
- Building a performant and modular zkVM framework with OpenVM
- How to reach real time proving for Ethereum in 2025
- The Rollup TV: Monday, June 16th
- DAPPCON 2025: Applying Verifiable Computation to the Software Supply Chain - Julie Bettens
- CleanUnicorn - Beyond "Trust me, bro" Engineering LLM reliability
- Introducing Bionetta and Client-Side ZKML
- Publicly verifiable, private & collaborative AI training - Yuriko Nishijima | ETHDam III - 2025