Zero Knowledge

lean Ethereum Part 5: Devnets & Upgrade Coordination with Will and Raúl

lean Ethereum Part 4: leanVM, a Custom VM for Signature Aggregation

lean Ethereum Part 3: Security of PQ SNARKs and an update about the Proximity Prize

lean Ethereum Part 2: PQ Signatures and Poseidon with Dmitry and Benedikt

Introduction to Lean Ethereum with Justin Drake

Lean Ethereum represents a fundamental architectural overhaul of the Ethereum L1, targeting the consensus, data, and execution layers to ensure long-term scalability and security. By transitioning to post-quantum cryptography and implementing "leanVM"—a minimal, snark-friendly virtual machine—the network can achieve ef...

Lean Ethereum Miniseries Kick-off with Anna & Nico

Bonus: zkMesh+ & Upcoming Miniseries

Stateful ZK Identity with Ian Miers

Bonus: Join zkMesh+ for some bonus podcast content!

Sean Bowe on Tachyon and the Evolution of Zcash

Bonus: Welcome to 2026 from ZK Podcast & zkMesh+

Year in Review: ZK Podcast in 2025 & Beyond

Pratyush Mishra on Tiny Proofs, Folding, Low-Memory SNARKs and More

Lattices, Folding, & Symphony with Binyi Chen

The Quest for Practical iO with Machina iO

Countdown to Q-Day with Project 11

Bonus: ZK Mesh and ZK Whiteboard this week!

Kevin Lacker on AI-Assisted Theorem Proving and Acorn

Payy and Payy Card, the Undoxable Credit Card

ZKPassport, Obsidion & the Emerging Noir Ecosystem