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
- zkStudyClub: Reed Solomon Proximity Gaps & Disproving Existing Conjectures
- ZK Whiteboard Sessions - S3M8: ZKML, w/ Jason Morton
- Quadrillions: Privacy or Perish | Eli Ben-Sasson, Shaul Kfir, & Eric Saraniecki
- Episode 387 - Year in Review: ZK Podcast in 2025 & Beyond
- Is ZK better than Monero?
- Is ZK ready to host DeFi apps?
- ZK & The Future of Privacy
- Who is solving ZK Complexity?
- Is ZK Net-Positive?
- ZK Strengths and Limits
- Is ZK Quantum Resistant?
- Railgun
- Devconnect recap, All things ZK and much more - The Daily Gwei Refuel #850 - Ethereum Updates
- Episode 386 - Pratyush Mishra on Tiny Proofs, Folding, Low-Memory SNARKs and More
- Keynote: SP1 Hypercube: Step into a Higher Dimension by Tamir Hemo, Succinct
- Keynote: zkEVM Soundness by Arantxa Zapico, Ethereum Foundation
- Keynote: Distributed Real-Time Proving in ZisK by Jordi Baylina, ZisK
- Keynote: Jolt: A Simpler Path to High-Performance zkVMs by Markos Georghiades, a16z
- Lightning Talk: Autoprecompiles: Compiler-Based Acceleration for zkVMs by Leo Alt, powdr
- Keynote: Brevis Pico VM: From Modularity to RTP by Michael Dong, Brevis
- Keynote: zkSync Airbender: Fullstack zkVM Customizations by Porter Adams, MatterLabs
- Lightning Talk: Binius64: Binary Proofs for Bitwise Operations by Jim Posen, Irreducible
- Keynote: OpenVM: RTP for Ethereum L1, the Modular Approach by Yi Sun, Axiom
- Lightning Talk: On the (In-)Security of Fiat-Shamir by Ron Rothblum, Succinct