
Sean Bowe on Tachyon and the Evolution of Zcash
In this episode, Anna Rose catches up with Sean Bowe, a Zcash core developer now leading work on Tachyon, the upcoming Zcash shielded pool upgrade. They discuss the evolution of Zcash’s technical road...
21 Jan 1h 13min

Bonus: Welcome to 2026 from ZK Podcast & zkMesh+
We share some updates about the upcoming episodes and the ZK Podcast & ZK Hack ecosystem - specifically zkMesh+ launching this Wednesday. zkMesh+ will bring together work from the Zero Knowledge Podca...
19 Jan 2min

Year in Review: ZK Podcast in 2025 & Beyond
In this end-of-year episode, Anna recaps the major ZK themes of 2025 and gives a preview of what’s coming in 2026 — new episodes, a mini-series, zkSummit14, and the rollout of ZK Mesh Plus, a unified ...
3 Des 202514min

Pratyush Mishra on Tiny Proofs, Folding, Low-Memory SNARKs and More
In this episode, Anna Rose and Nico Mohnblatt catch up with Pratyush Mishra, Assistant Professor of Computer and Information Science at the University of Pennsylvania. They discuss the various themes ...
26 Nov 20251h 2min

Lattices, Folding, & Symphony with Binyi Chen
In this episode Anna Rose and Nico Mohnblatt chat with Binyi Chen, researcher at Stanford University. They discuss his work on lattice-based folding schemes, revisit LatticeFold and LatticeFold+, and ...
19 Nov 20251h 5min

The Quest for Practical iO with Machina iO
In this episode, Anna Rose and Tarun Chitra chat with Sora Suegami and Enrico Bottazzi from Machina iO. They explain indistinguishability obfuscation (iO) technology and how they are working to bring ...
12 Nov 20251h 2min

Countdown to Q-Day with Project 11
In this episode, Anna Rose chats with Alex Pruden and Conor Deegan from Project 11. They revisit the topic of quantum computing and explore the threat it poses to cryptographic systems like blockchain...
5 Nov 20251h 2min

Kevin Lacker on AI-Assisted Theorem Proving and Acorn
In this episode, Anna Rose and Guillermo Angeris talk with Kevin Lacker, creator of Acorn, a theorem prover utilising AI. They explore what theorem provers are, their history, and how they're used tod...
22 Okt 202555min



















