Épisodes

  • Bonus: Join zkMesh+ for some bonus podcast content!

    Bonus: Join zkMesh+ for some bonus podcast content!
    Jan 29 2026
    No full length episode this week, but we have released an additional podcast clip with Sean Bowe to our a zkMesh+ paid subscribers. Sean Bowe is a Zcash core developer and lead on Tachyon. In this clip, Sean shares his thoughts on the question of quantum computers and their real impact on blockchains and ZK systems. Join zkMesh+ as a paid subscriber to get access to this and all our extra members-only perks. https://zkmesh.substack.com/subscribe
    Afficher plus Afficher moins
    1 min
  • Sean Bowe on Tachyon and the Evolution of Zcash

    Sean Bowe on Tachyon and the Evolution of Zcash
    Jan 21 2026
    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 roadmap over the past five years and how it has influenced the design of Tachyon. Sean then walks through the cryptographic ideas behind Tachyon, including its proving systems, new techniques for pruning nullifiers without disrupting other parts of the protocol, and how the upgrade aims to address Zcash’s remaining scalability bottlenecks. They also explore plans for Zcash governance, wallet UX, and the long-term outlook for privacy-focused zero-knowledge systems. Related Links
    • Tachyon Website
    • Zcash
    • Electric Coin Company (ECC)
    • Halo (ZK Proof System)
    • Orchard Shielded Pool
    • Tachyon (Zcash Upgrade)
    • ZK Podcast: Halo with Sean Bowe and Daira Hopwood from ECC
    • ZK Podcast: Sean Bowe on SNARKs, Trusted Setups and Elliptic Curve Cryptography
    • zkSummit4: Sean Bowe on Halo: Recursive Proofs without Trusted Setups
    • A Note on Notes: Towards Scalable Anonymous Payments via Evolving Nullifiers and Oblivious Synchronization by Bowe and Miers

    zkMesh+ launches today! Subscribe for zkMesh+ and catch the latest State of ZK 2025 report. **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube
    Afficher plus Afficher moins
    1 h et 14 min
  • Bonus: Welcome to 2026 from ZK Podcast & zkMesh+

    Bonus: Welcome to 2026 from ZK Podcast & zkMesh+
    Jan 19 2026
    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 Podcast, ZK Hack, and ZK Mesh. Subscribers will have access to a set of additional resources, including:
    • the quarterly State of ZK Report
    • monthly addendums on adjacent technologies such as FHE, iO, and MPC
    • early access and discounts for events like zkSummit and ZK Hack hackathons
    • select subscriber-only Zero Knowledge Podcast segments and other experimental content

    If that sounds interesting, you can subscribe ahead of launch directly on the ZK Mesh Substack https://zkmesh.substack.com/subscribe
    Afficher plus Afficher moins
    3 min
  • Year in Review: ZK Podcast in 2025 & Beyond

    Year in Review: ZK Podcast in 2025 & Beyond
    Dec 3 2025
    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 space for newsletters, educational content, and events. She highlights this year’s core research threads, from lattices and Ligero to quantum security, ZK-ID systems, emerging applications, and the ongoing push toward better proving benchmarks. Anna wraps with reflections on why privacy tech is becoming more urgent in the age of AI and what the community will be exploring next year. Related Links Ecosystem
    • ZK Whiteboard Sessions
    • ZK Mesh
    • Subscribe to ZK Mesh
    • ZK Podcast substack
    • State of ZK Report

    ZK Systems Story
    • Back to the Future with Zero Knowledge
    • Zero Knowledge Systems, Privacy and Security with Jonathan Wilkins
    • The Founding of Zero Knowledge Systems with Austin Hill

    Lattices
    • Implementing LatticeFold with Matthew and Albert from Nethermind
    • Lattices, Folding, & Symphony with Binyi Chen
    • ZK Whiteboard:Lattice-based SNARKs, w/ Vadim Lyubashevsky
    • ZK Whiteboard:LatticeFold, w/ Binyi Chen

    Ligero
    • Ligero for Memory-Efficient ZK with Muthu
    • ZK Whiteboard:The Ligero Proof System, w/ Muthu Venkitasubramaniam

    Quantum
    • Quantum Engineering with Jelena Vučković
    • Quantum Punks with Alex and Nicola
    • Countdown to Q-Day with Project 11
    Afficher plus Afficher moins
    15 min
  • Pratyush Mishra on Tiny Proofs, Folding, Low-Memory SNARKs and More

    Pratyush Mishra on Tiny Proofs, Folding, Low-Memory SNARKs and More
    Nov 26 2025
    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 in his ZK research and some of the works he has been a part of in the last few years. They explore how Garuda and Pari achieve extremely small SNARK proofs, how Arc facilitates hash-based folding, proximity proofs with FICS and FACS, his work on low-memory SNARKs, and ZK applications outside the blockchain space. Pratyush shares how these ideas intersect with one another, from faster proving to smallest proof sizes to real-world uses. He also touches on his collaborations with other leading cryptographers like Benedikt Bünz and Alessandro Chiesa, and how ZK is finding its place in broader computer science. Related Links
      • Garuda and Pari: Faster and Smaller SNARKs via Equifficient Polynomial Commitments
      • Arc: Accumulation for Reed--Solomon Codes
      • FICS and FACS: Fast IOPPs and Accumulation via Code-Switching
      • Scribe: Low-memory SNARKs via Read-Write Streaming
      • Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs
      • Hekaton: Horizontally-Scalable zkSNARKs via Proof Aggregation
      • Query-Optimal IOPPs for Linear-Time Encodable Codes
      • Time-Space Trade-Offs for Sumcheck
      • Blendy: A Time-Space Tradeoff for the Sumcheck Prover
      • Accumulation without Homomorphism
      • vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases
      • Succinct Arguments in the Quantum Random Oracle Model
      • Lattices, Folding, & Symphony with Binyi Chen


    Aztec
    Afficher plus Afficher moins
    1 h et 2 min
  • Lattices, Folding, & Symphony with Binyi Chen

    Lattices, Folding, & Symphony with Binyi Chen
    Nov 19 2025
    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 cover how lattices enable low-cost, post-quantum-secure folding by replacing Pedersen hashes with Ajtai commitments. They discuss the early folding work from 2023 and how it has evolved and explore the advantages of lattices over other approaches in the folding context while also highlighting their tradeoffs. Binyi goes on to introduce Symphony, his new work that eliminates the need to implement Fiat-Shamir in the recursive verification circuit, and describes how that improves efficiency and removes the chances for a KRS-style attack. Related Links
    • Binyi Chen’s Website
    • LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems
    • LatticeFold+: Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof Systems
    • Symphony: Scalable SNARKs in the Random Oracle Model from Lattice-Based High-Arity Folding
    • Protostar: Generic Efficient Accumulation/Folding for Special-sound Protocols
    • ZK Whiteboard Sessions:SEASON 3 MODULE 3: Lattice-based SNARKs, w/ Vadim Lyubashevsky
    • ZK Whiteboard Sessions:SEASON 3 MODULE 4: LatticeFold, w/ Binyi Chen
    • Implementing LatticeFold with Matthew and Albert from Nethermind
    • Lattice-based ZK Systems with Vadim Lyubashevsky

    Further Reading
    • Generating Hard Instances of Lattice Problems by M. Ajtai
    • SWIFFT: A Modest Proposal for FFT Hashing
    • Delegating Computation: Interactive Proofs for Muggles
    • How to Prove False Statements: Practical...
    Afficher plus Afficher moins
    1 h et 6 min
  • The Quest for Practical iO with Machina iO

    The Quest for Practical iO with Machina iO
    Nov 12 2025
    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 this powerful cryptographic primitive from theoretical territory into the practical world. They discuss how the pair got into iO and how new assumptions like all-product LWE and evasive LWE will help bridge theory to practice. They explore the benchmarks, the challenges and opportunities of this cutting-edge privacy cryptography and cover potential optimizations and real-world uses. While iO is still far from being truly practical, their work shows tangible steps ahead and offers interesting insights into how this could actually work. Related Links
    • Indistinguishability Obfuscation (iO) with Huijia (Rachel) Lin
    • Machina iO
    • Diamond iO: A Straightforward Construction of Indistinguishability Obfuscation from Lattices
    • Compact Pseudorandom Functional Encryption from Evasive LWE
    • Indistinguishability Obfuscation from Well-Founded Assumptions
    • Lookup-Table Evaluation over Key-Homomorphic Encodings and KP-ABE for Nonlinear Operations
    • Original BGG+ paper:Fully Key-Homomorphic Encryption, Arithmetic Circuit ABE, and Compact Garbled Circuits∗
    • Gentry’s classic thesis on FHE bootstrapping:A FULLY HOMOMORPHIC ENCRYPTION SCHEME
    • Gentry (GGH+) paper for obfuscation for all circuits:Candidate Indistinguishability Obfuscation and Functional Encryption for all circuits
    • Optimal Broadcast Encryption and CP-ABE from Evasive Lattice Assumptions
    • Evasive LWE Assumptions: Definitions, Classes, and Counterexamples
    • Lattice-Based Post-Quantum iO from Circular Security with Random Opening Assumption (Part II: zeroizing attacks against private-coin evasive LWE assumptions)
    Afficher plus Afficher moins
    1 h et 3 min
  • Countdown to Q-Day with Project 11

    Countdown to Q-Day with Project 11
    Nov 5 2025
    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 blockchains. As blockchain technology becomes increasingly integrated into global financial infrastructure — especially through stablecoins and banking rails — the stakes for quantum security continue to rise. Alex and Conor break down which algorithms are most at risk, why simple network upgrades won’t be enough, and what users will need to do to protect their own funds. They also outline potential mitigation strategies, including how Project 11 is approaching the challenge with post-quantum signature schemes, secure vaults, and a global namespace to coordinate user migrations ahead of “Q-Day.” The conversation also touched on how post-quantum thinking overlaps with zero-knowledge research, as hash- and lattice-based SNARKs offer resilience against future quantum attacks. Related Links
    • Project 11
    • Yellow Pages
    • PQC Suite B GitHub
    • Securing Sui in the Quantum Computing Era
    • Quantum resource estimation for large scale quantum algorithms: Section 5
    • Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3
    • Downtime Required for Bitcoin Quantum-Safety

    Related Episodes
    • Quantum Engineering with Jelena Vučković
    • Quantum Punks with Alex and Nicola
    • Quantum Cryptography Part 2 with Or Sattath

    ZK Whiteboard Sessions is an educational video series produced by ZK Hack in collaboration with Bain Capital Crypto. It is focused on the building blocks of zero knowledge technology. Find season 3 of the Whiteboard Sessions as well as previous seasons here. Check out the latest jobs in ZK at the
    Afficher plus Afficher moins
    1 h et 2 min