Zero-Knowledge Proofs
Proving systems and the tooling to build with them: how they work, what they cost, and the general-purpose virtual machines that prove arbitrary program execution.
1395 talks
- Private Machine Learning with ZKML - Laurence Kirk | Extropy.IO
- DAPPCON 2025: Ultrasound Privacy- How to harden web3 with Aztec - Zac Williamson
- Advanced Noir: Building StealthNote
- DAPPCON 2025: Privacy Scales Better - Dominik Schmid
- Panel | The Future of Privacy: Protocols, Not Promises | ETHDam III - 2025
- Publicly verifiable, private & collaborative AI training - Yuriko Nishijima | ETHDam III - 2025
- Mina protocol | What is the perfect way of achieving privacy? - Yunus Gürlek | ETHDam III - 2025
- Fireside Chat with Kartik Talwar and Jordi Baylina
- Business Privacy, Harder & More Valuable Than You Think
- Shipping zkPassport, Shipping Self Protocol into Production
- ZK13: Twist and Shout: The Next Era of Jolt - Michael Zhu
- ZK13: R0VM v3, a multi proof system zkVM - Jeremy Bruestle
- ZK13: Formally Verifying a zkVM - Howard Wu & Alessandro Coglio
- ZK13: Bringing modularity to zkVMs with OpenVM - Yi Sun
- ZK13: Mercury: A Novel Constant Sized MLPCS - Liam Eagen
- ZK13: ZKTorch: Efficiently Compiling ML Models to Zero-Knowledge Proof Protocols - Daniel Kang
- PSE | Scaling Semaphore - Vivian Plasencia | ETHDam III - 2025
- FHE eats ZK for breakfast - Lauri Peltonen | ETHDam III - 2025
- ZK13: LatticeFold+: Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof Systems
- Client-side proving and the future of World - dcbuilder.eth
- Proving Liveness client-side - Oleksandr Kurbatov
- Hijacking Biometric Passports with Zero-Knowledge Cryptography - Rémi
- ZK13: Welcome to zkSummit & Sponsor Intro - Anna Rose
- ZK13: EC Plonkish: Plonk-like proofs over the elliptic curve coordinate ring - Syed Hosseini