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

• Seven Years in Poseidon
• XMSS Signature Aggregation
• ArkLib: Verified Proof Systems in Lean
• leanVM-01: leanVM Crash Course and Sumcheck Optimization
• leanVM-02: Memory Models and Lookup Arguments
• leanVM-03: Compiler (Workshop)
• Truth in a Post Truth World
• Zcash Tachyon: Encrypted Money at Planetary Scale
• Self Workshop: ZK Identity Integration
• Build Your First zkPDF Proof
• Building ZK Apps That Run on Your Phone
• Rollup TV: Money Moves Fast EP #3 & zkVerify
• ZK Whiteboard Sessions - S3M3: Lattice-based SNARKs, w/ Vadim Lyubashevsky
• Episode 378 - Zerocoin to zk-creds: Modern ZK History with Ian Miers
• Trust Without Borders: Designing Cross-Chain Reputation for the Scoreless
• Web3 Data with AI
• The Future of zkVMs and Post-Quantum Signatures in Ethereum
• The Rollup TV: DeSci, Ethereum ZK & Stabled Up EP #1
• ZK Whiteboard Sessions - S3M2: High-Performance Engineering for SNARKs with Jim Posen
• Justin Drake on Ethereum's ZK Future
• The Rollup TV: Boundless Mainnet Special
• Episode 376 - Miden & the Edge Blockchain with Bobbin & Gaylord
• ETHIstanbul Conference 2025 | Practical Privacy | Arnaud Schenk, Aztec
• PlonK: The Proving Scheme on Aztec