Zero Knowledge

Zero Knowledge Podcast

Zero Knowledge is a podcast which goes deep into the tech that will power the emerging decentralised web and the community building this. Covering the latest in zero knowledge research and applications, the open web as well as future technologies and paradigms that promise to change the way we interact — and transact — with one another online. Zero Knowledge is hosted by Anna Rose Follow the show at @ZeroKnowledgefm (https://twitter.com/zeroknowledgefm) or @AnnaRRose (https://twitter.com/AnnaRRose) If you like the Zero Knowledge Podcast: Join us on Telegram (https://t.me/joinchat/TORo7aknkYNLHmCM) Support our Gitcoin Grant (https://gitcoin.co/grants/38/zero-knowledge-podcast) Support us on Patreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0x4BF66E52f3009Cd138e48f142D47661037160001 BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ DOT: 14zPzb7ihiBeaUn9jdPW9cHKGBd9qtTuJE75hhW2CvzLh6rT

  1. 2 DAYS AGO

    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 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 WebsiteLatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof SystemsLatticeFold+: Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof SystemsSymphony: Scalable SNARKs in the Random Oracle Model from Lattice-Based High-Arity FoldingProtostar: Generic Efficient Accumulation/Folding for Special-sound ProtocolsZK Whiteboard Sessions:SEASON 3 MODULE 3: Lattice-based SNARKs, w/ Vadim LyubashevskyZK Whiteboard Sessions:SEASON 3 MODULE 4: LatticeFold, w/ Binyi ChenImplementing LatticeFold with Matthew and Albert from NethermindLattice-based ZK Systems with Vadim Lyubashevsky   Further Reading Generating Hard Instances of Lattice Problems by M. Ajtai SWIFFT: A Modest Proposal for FFT HashingDelegating Computation: Interactive Proofs for MugglesHow to Prove False Statements: Practical Attacks...

    1h 6m

  2. 12 NOV

    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 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) LinMachina iODiamond iO: A Straightforward Construction of Indistinguishability Obfuscation from LatticesCompact Pseudorandom Functional Encryption from Evasive LWEIndistinguishability Obfuscation from Well-Founded Assumptions Lookup-Table Evaluation over Key-Homomorphic Encodings and KP-ABE for Nonlinear OperationsOriginal BGG+ paper:Fully Key-Homomorphic Encryption, Arithmetic Circuit ABE, and Compact Garbled Circuits∗Gentry’s classic thesis on FHE bootstrapping:A FULLY HOMOMORPHIC ENCRYPTION SCHEMEGentry (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 AssumptionsEvasive LWE Assumptions: Definitions, Classes, and CounterexamplesLattice-Based Post-Quantum iO from Circular Security with Random Opening Assumption (Part II: zeroizing attacks against private-coin

    1h 3m

  3. 5 NOV

    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 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 11Yellow PagesPQC Suite B GitHub  Securing Sui in the Quantum Computing EraQuantum resource estimation for large scale quantum algorithms: Section 5Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3Downtime Required for Bitcoin Quantum-Safety   ZK Podcast Previous Related Episodes on the topic: Quantum Engineering with Jelena VučkovićQuantum Punks with Alex and NicolaQuantum 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.     span...

    1h 2m

  4. 29 OCT · BONUS

    Bonus: ZK Mesh and ZK Whiteboard this week!

    There is no episode this week, but we share some updates from the ZK Hack ecosystem. Sign up here for ZK Mesh and find the latest module of ZK Whiteboard Season 3 here.     **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 **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address

    1 min

  5. 22 OCT

    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 today. Kevin shares how Acorn brings in AI to simplify the proving process, letting users naturally write mathematical statements while the system checks the correctness of those statements. It's built to feel more like natural math, unlike tools like Lean that demand every step. They also explore the benefits of including AI in math, and also the challenges that come with it such as hallucinations, and how Acorn could speed up research in areas like zero-knowledge proofs. The dicussion also covers the history of mathematics, community building around Acorn and its open math library, acornlib.   Related links: Guillermo’s Blog Post:Acorn and the future of (AI?) theorem provingAcorn Theorem ProverAcorn Standard Library:acornlibLean Theorem Prover     ZK Whiteboard Sessions is an educational video series produced by ZK Hack. 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 ZK Podcast Jobs Board.      **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 **Support the show:** * Patreon * a...

    56 min

  6. 15 OCT

    Payy and Payy Card, the Undoxable Credit Card

    In this episode, Anna Rose and Tarun Chitra catch up with Sid Gandhi and Calum Moore from Payy to discuss the Payy private payment system and the newly released Payy credit card. They explore their focus on building a user-friendly privacy focused product, how ZK tooling advancement makes this possible, and a walkthrough into how it works with the Visa remittance system. Sid and Cal explain Payy's design as a ZK Validium rollup on Polygon, using client-side proofs and a Merkle tree to ensure privacy and compliance. The discussion also delves into the history and past challenges of self-sovereign payments; how self-sovereign money goals were overshadowed by speculation, why many new stablecoin projects feel like a step back to traditional finance, and how privacy-focused payments are making a comeback in 2025.  Related links: Payy NetworkPayy WalletPayy CardZcashThe whitepaper for Payy Network The payy card launch on XPayy runner, anew way to earn payy points      ZK Whiteboard Sessions is an educational video series produced by ZK Hack. It is focused on the building blocks of zero knowledge technology. Find season 3 of the Whiteboard Sessions as well as previous seasons here.     **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...

    1h 8m

  7. 8 OCT

    ZKPassport, Obsidion & the Emerging Noir Ecosystem

    In this episode, Anna Rose chats with Théo Madzou and Michael Elliot from ZKPassport and Obsidion about their ZK-based identity solution. Théo shares his start in ZK through ZK Hack hackathons using Noir, while Mike shares his path from Bitcoin and MakerDAO to working on zkID systems. They explain how they teamed up to build ZKPassport, a non-profit public-good ZK identity solution project,and how they plan to bring it into Obsidion, a for-profit, privacy-focused fintech-style application that they’re working on. They discuss Noir's evolution and their contribution to this accending zkDSL, how subcircuits and subproofs enable mobile proving, how ZKPassport differs from projects like Self and Rarimo, how they integrated ZKPassport in the wild with DevCon and Aztec, and their plans for better UX and user-friendly apps.   Related links: ZKPassportObsidionZKPassport: Where are we now?ZK HACKNoirAztec   ZK Podcast Previous Related Episodes on the topic: Episode 358: Building ZK Registries Onchain with RarimoEpisode 377:Evolving ZK Identity from Iden3 to Privado & BillionsEpisode 366: Bringing ID Onchain with Self     ZK Whiteboard Sessions is an educational video series produced by ZK Hack. It is focused on the building blocks of zero knowledge technology. Find season 3 of the Whiteboard Sessions as well as previous seasons here.     **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm *...

    53 min

  8. 1 OCT

    Verifiable Key Management and TEEs with Turnkey

    In this episode, Anna Rose and Kobi Gurkan chat with Arnaud Brousseau and Jack Kearney from Turnkey about verifiable key management using trusted execution environments (TEEs). They share how their past work on custody and validators inspired them to build more sophisticated key management tools and some of the qualities TEEs enabled.  The discussion covers a range of challenges and techniques: the role of remote attestation and reproducible builds in ensuring trust, strategies to prevent downgrade attacks, and the use of authorisation and policy layers to reduce misuse of keys while still enabling automation.    Related links: Turnkey: a Verifiable Key Management SolutionTurnkey's ArchitectureStageXReflections on Trusting Trust By Ken ThompsonHow to Prove False Statements: Practical Attacks on Fiat-ShamirTurnkey Blog: Remote attestations are useless without reproducible buildsEpisode 339: TEEs with Andrew Miller     ZK Whiteboard Sessions is an educational video series produced by ZK Hack. It is focused on the building blocks of zero knowledge technology.  Find season 3 of the Whiteboard Sessions as well as previous seasons here.     **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 a...

    1h 4m
See All (394)

About

Zero Knowledge is a podcast which goes deep into the tech that will power the emerging decentralised web and the community building this. Covering the latest in zero knowledge research and applications, the open web as well as future technologies and paradigms that promise to change the way we interact — and transact — with one another online. Zero Knowledge is hosted by Anna Rose Follow the show at @ZeroKnowledgefm (https://twitter.com/zeroknowledgefm) or @AnnaRRose (https://twitter.com/AnnaRRose) If you like the Zero Knowledge Podcast: Join us on Telegram (https://t.me/joinchat/TORo7aknkYNLHmCM) Support our Gitcoin Grant (https://gitcoin.co/grants/38/zero-knowledge-podcast) Support us on Patreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0x4BF66E52f3009Cd138e48f142D47661037160001 BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ DOT: 14zPzb7ihiBeaUn9jdPW9cHKGBd9qtTuJE75hhW2CvzLh6rT

Information

  • Creator
    Zero Knowledge Podcast
  • Years Active
    2017 - 2025
  • Episodes
    394
  • Rating
    Clean
  • Copyright
    © 2025 Zeroknowledge
  • Show Website
    Zero Knowledge

You Might Also Like