Verifiable Computation
Proving off-chain work was performed correctly, including machine learning inference.
130 talks
- ZK13: ZKTorch: Efficiently Compiling ML Models to Zero-Knowledge Proof Protocols - Daniel Kang
- Oasis | AI without the Black Box - Matej Janež | ETHDam III - 2025
- Warden Protocol & Statistical Proof of Execution (SPEX) for verifiable computing (ML/AI)
- The path to verifiable autonomy for AI agents | Zheng Leong Chua, Automata Network | ETHTaipei 2025
- Workshop on Risc Zero Products
- Decentralized AI: Crypto’s Killer Apps? | ETHSofia 2024
- The Future of Verifiability: Exploring ZK Coprocessors
- Backbone of a Verifiable and Interoperable Agentic Web
- Boundless by RISC Zero
- Crypto's Future Powered by AI and ZK with Scott Dykstra
- ZKMPCML: From Memes to Reality
- Decentralized, Confidential Machine Learning – San Francisco 2025
- Unlocking Boundless Execution with Steel
- How to Decentralize Proof Generation?
- Slashing Live on Mainnet with Eigenlayer Founder Sreeram Kannan & Risc Zero Founder Jeremy Bruestle
- Bots Before Thoughts | SheFi Summit Bangkok
- ZK12: Make Web3 use Web2: verifiable SQL db for contracts - Nikkolasg N
- ZK12: Towards ZK-Friendly Machine Learning Models - Alan Li
- Next generation ZK applications with SP1
- Why ZK is Perfect for Offchain Computation with Brevis
- Episode 333 - Verifiable SQL, Reckle Trees and ZK Coprocessing with Lagrange Labs
- Turning ZKP Potential into Real-World Solutions | Mary Tr, Orochi Network | ETHTaipei 2024
- "Optimistic" Outlook: Pioneering On-Chain AI - Cathie So | ORA (ex Hyper Oracle)
- Universal, scalable and trustless verifiable computing - Ilja Zakharov | Pi Squared