Zero Knowledge

Zero Knowledge Podcast

Episodes

Mentioned books

undefined
Nov 19, 2025 • 1h 6min

Lattices, Folding, & Symphony with Binyi Chen

Binyi Chen, a Stanford postdoctoral researcher, specializes in lattice-based folding schemes and SNARK research. He discusses the evolution of LatticeFold and LatticeFold+, and how replacing traditional hashes with Ajtai commitments enables post-quantum security. Binyi introduces his innovative work, Symphony, which simplifies recursive verification circuits and enhances efficiency. He explores the advantages of lattices over hash-based methods, the challenges of adapting folding to lattice structures, and potential future advancements in lattice SNARK technologies.
undefined
5 snips
Nov 12, 2025 • 1h 3min

The Quest for Practical iO with Machina iO

Sora Suegami and Enrico Bottazzi from the Makina.io team at the Ethereum Foundation are pioneering indistinguishability obfuscation (iO) technology. They dive into their journey studying iO’s potential for smart-contract privacy and the challenges of making it practical. Topics include the innovative use of lattice assumptions, conditional decryption in real-world applications, and optimization strategies for efficient obfuscation. With insights on benchmarks and security proofs, they shed light on the future of cryptographic privacy.
undefined
27 snips
Nov 5, 2025 • 1h 2min

Countdown to Q-Day with Project 11

In this engaging discussion, Alex Pruden, the founding CEO of Project 11, and Conor Deegan, their VP of Engineering, delve into the looming threats posed by quantum computing to blockchain technology. They reveal which cryptographic algorithms are most vulnerable and outline crucial user migration strategies before 'Q-Day.' The duo emphasizes the need for post-quantum solutions like secure vaults and optimized signature schemes, while also discussing how zero-knowledge proofs can play a role in future security measures.
undefined
Oct 29, 2025 • 1min

Bonus: ZK Mesh and ZK Whiteboard this week!

This week features exciting updates from the ZK Hack ecosystem. The host announces the upcoming ZK Mesh newsletter, set for release on October 31. Additionally, the fifth module of ZK Whiteboard Season 3 is now available, showcasing engaging videos. Listeners can look forward to discussions on quantum computers and their implications in the next installment. Stay tuned for more insights!
undefined
24 snips
Oct 22, 2025 • 56min

Kevin Lacker on AI-Assisted Theorem Proving and Acorn

Kevin Lacker, the mastermind behind Acorn, merges AI with theorem proving to transform formal mathematics. He discusses how Acorn simplifies proof writing, making it more intuitive compared to traditional tools like Lean. The conversation delves into the potential and pitfalls of AI in math, addressing challenges like hallucinations while emphasizing the benefits for research, especially in zero-knowledge proofs. Lacker also highlights Acornlib, an evolving mathematical library, and the community's role in its growth, making formal verification more accessible.
undefined
18 snips
Oct 15, 2025 • 1h 8min

Payy and Payy Card, the Undoxable Credit Card

Sid Gandhi, Co-founder of Payy, and Calum Moore, its technical lead, dive into the future of private payments with the launch of the Payy Card. They discuss using a ZK Validium rollup architecture on Polygon, balancing privacy and compliance, and the intriguing tech behind client-side proofs. The duo reveals how the Payy Card achieves undoxable KYC, ensuring user privacy in transactions. They also explore challenges in self-sovereign finance and share insights on integrating with Visa, paving the way for a user-friendly, privacy-focused payment solution.
undefined
18 snips
Oct 8, 2025 • 53min

ZKPassport, Obsidion & the Emerging Noir Ecosystem

In this discussion, Théo Madzou, a ZK engineer and ZK Hack organizer, teams up with Michael Elliot, a longtime blockchain contributor, to unveil their innovative projects, ZKPassport and Obsidion. They delve into their backgrounds, highlighting Théo's ZK Hack successes and Michael's path from Bitcoin to identity systems. The duo explains how ZKPassport serves as a neutral identity solution and how Obsidion aims to enhance privacy in fintech. They also touch on mobile proving, KYC features using machine learning, and the challenge of integrating global ID standards.
undefined
Oct 1, 2025 • 1h 4min

Verifiable Key Management and TEEs with Turnkey

Arnaud Brousseau and Jack Kearney, co-founders of Turnkey, bring their extensive experience from Coinbase to discuss innovative key management solutions. They dive into the role of trusted execution environments (TEEs) in preventing key misuse while enhancing automation. Key topics include remote attestation, the importance of reproducible builds for trust, and strategies against downgrade attacks. The duo also explores how granular policies can secure transactions while allowing flexibility for governance and AI applications.
undefined
13 snips
Sep 24, 2025 • 1h 18min

Zerocoin to zk-creds: Modern ZK History with Ian Miers

Ian Miers, an Assistant Professor at the University of Maryland and a pioneering figure in zero-knowledge technology, covers a wealth of intriguing topics. He discusses his groundbreaking work on Zerocoin and Zcash, addressing early challenges in privacy on public ledgers. Ian shares the evolution of trusted setups, including Powers of Tau, and introduces his innovations like zk-creds for flexible anonymous credentials and zk-promises for anonymous reputation systems. The conversation also explores critical issues such as post-quantum security and the ethics of programmable privacy.
undefined
13 snips
Sep 17, 2025 • 1h 5min

Evolving ZK Identity from Iden3 to Privado & Billions

Join David Z, a seasoned ZK engineer and former Polygon contributor, alongside Oleksandr (Sasha), an expert in identity engineering and blockchain, as they delve into the evolution of ZK identity systems. They discuss their journey from iden3 to the launch of Privado ID and the ambitious Billions Network. Key points include the transformative Circom DSL, innovations in privacy-first tools, and the integration of AI agents into identity solutions. Their vision for creating accountable interactions in a decentralized world is captivating and forward-thinking.

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
 Get the app