Zero Knowledge
by Zero Knowledge Podcast
When Math Meets Auto Research with Bartosz Naskręcki
About this 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
Episodes
The newest 50 of 429 episodes
- When Math Meets Auto Research with Bartosz Naskręcki · 1 h 16 minThis week, Anna and Tarun are joined by Bartosz Naskręcki, mathematician and professor at Adam Mickiewicz University and researcher at the Centre for Credible AI, to explore how…
- From Nova to Magnetar: Three Years of Research with Srinath Setty · 50 minThis week, Anna and Nico catch up with Srinath Setty, researcher at Microsoft. They look back at his research since his work on Nova, spanning lattice-based folding…
- zkGolf: AI, Clean and Optimising ZK Circuits with zkSecurity · 1 h 11 minThis week, Anna is joined by Nico and Kobi to speak with Mathias Hall-Andersen and Giorgio Dell'Immagine from zkSecurity about zkGolf, a competition challenging humans and AI…
- Exploring the Lasers that Power Quantum Computers · 1 h 15 minThis week, Anna and Guillermo chat with Josh Yang, CEO and co-founder of Brightlight Photonics, about the lasers that power quantum computers. Josh explains how lasers are used…
- JP Aumasson on Quantum Risk, AI Attacks and Too Much Crypto · 57 minThis week, Anna, Tarun and Nico are joined by JP Aumasson, co-designer of BLAKE3, author of Serious Cryptography and cryptography engineer at Cloudflare. They revisit the quantum…
- Auto Research on Yukon with Soubhik Deb · 1 h 6 minThis week, Anna is joined by Soubhik Deb, Head of Research at EigenLabs, to explore Yukon, a platform for collaborative AI-powered research. Soubhik traces the project’s origins…
- Ron Rothblum on Fiat-Shamir Attacks, Flock and SNARK.fast · 1 h 1 minThis week, Anna and Kobi are joined by Ron Rothblum, Professor of Computer Science at Technion and researcher at Succinct. They catch up on Ron’s move from theory into practice…
- The Evolution from ZKP2P to Peer with Richard Liang · 46 minThis week, Anna catches up with Richard Liang from Peer, formerly ZKP2P. They trace the project’s evolution over the past two years, from their initial ZKP2P product that used ZK…
- Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady · 1 h 12 minThis week, Anna and Guillermo are joined by Patrick O'Grady, founder of Commonware. They discuss his journey from Coinbase and Avalanche to building Commonware, a Rust library of…
- Private Information Retrieval (PIR) with Alex Hoover · 1 h 4 minIn this episode, Anna and Kobi are joined by Alex Hoover, cryptographer and Assistant Professor at Stevens Institute of Technology. They explore Private Information Retrieval…
- Alex Ozdemir on where Theorem Provers and ZK meet · 1 h 1 minThis week, Anna and Nico are joined by Alex Ozdemir, Assistant Professor at Georgia Tech, to explore the intersection of formal verification and zero knowledge. They begin by…
- Sergey Gorbunov on TEEs and the Arc Privacy Sector · 1 h 7 minThis week, Anna speaks with Sergey Gorbunov, Engineer at Circle, about Arc, Circle’s new EVM-compatible Layer 1 blockchain, and its approach to a TEE based on-chain privacy. They…
- zkMesh+ Exclusive Clip – Benedikt Bünz on the threat of AI · 6 minLast week on the show, we interviewed Benedikt Bünz, Chief Scientist at Espresso Systems and Professor at NYU. The conversation ran long, so we're releasing some of the extra…
- Pushing the Limits of Proof Systems with Benedikt Bünz · 1 h 8 minIn this episode, Anna and Kobi speak with Benedikt Bünz, Chief Scientist at Espresso Systems and Professor at NYU. They start with a quick update on Espresso's architecture, its…
- Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT · 1 minNo main episode this week, but we’ve got an exclusive bonus clip for our zkMesh+ subscribers! Continuing our conversation from last week, Wyatt Benno (ICME) describes the world…
- Building ZK-Powered AI Guardrails with Wyatt Benno · 1 h 7 minIn this episode, Anna and Nico chat with Wyatt Benno, technical founder of ICME Labs. They trace Wyatt’s start into ZK in the ZKHack Discord and Justin Thaler’s study group…
- The Quantum Question Panel – Live from zkSummit14 · 59 minThis episode was recorded live at zkSummit14 in Rome. In it, Anna and Nico Mohnblatt hosted the live ‘Quantum Question’ panel which began as an interview, but became something…
- From Access Control to Encrypted Execution with Auryn Macmillan · 53 minIn this episode, Anna chats with Auryn Macmillan, founder of Gnosis Guild. They check in on Zodiac, which started as a DAO toolset and has evolved into a modular access control…
- Quantum Advances, Hybrid Signatures and SNARKs to the Rescue with Dan Boneh · 1 h 24 minIn this 400th episode, Anna Rose welcomes back Dan Boneh, professor of computer science and electrical engineering at Stanford University, for a wide-ranging conversation on…
- Is ZK dead? Or has it just begun? with the ZK Pod co-hosts · 1 h 2 minIn this episode, Anna is joined by co-hosts Guillermo Angeris, Nico Mohnblatt, and Tarun Chitra for a reunion on this 399th episode. They reflect on how they each joined the show…
- Verifiable Databases with Shyam & Emanuele from Provably · 56 minIn this episode, Anna Rose and Nico Mohnblatt speak with Shyam Duraishwami and Emanuele Ragnoli, co-founders of Provably. They trace the origins of Provably, from early work on…
- Dev Ojha on the Osmosis Story and his Return to Privacy · 1 h 12 minIn this episode, Anna Rose and Guillermo Angeris catch up with Dev Ojha, co-founder of Osmosis and longtime ZK researcher. They revisit the story of Osmosis since its 2021 launch…
- lean Ethereum Part 6: Formal Verification with Alex Hicks · 58 minhttps://youtu.be/9u4fu7TiZCA In this episode, Nico Mohnblatt speaks with Alex Hicks from the Ethereum Foundation about formal verification and its role in the lean Ethereum…
- lean Ethereum Part 5: Devnets & Upgrade Coordination with Will and Raúl · 39 minhttps://youtu.be/Ul2bs8INF0k In this episode Nico Mohnblatt chats with Will Corcoran and Raúl Kripalani from the Ethereum Foundation. This is part 5 in the 6-part leanEthereum…
- lean Ethereum Part 4: leanVM, a Custom VM for Signature Aggregation · 33 minhttps://youtu.be/YWkyvTrwtQU In this episode of the lean Ethereum miniseries, Nico Mohnblatt speaks with Thomas Coratger and Emile from the Ethereum Foundation about the design…
- lean Ethereum Part 3: Security of PQ SNARKs and an update about the Proximity Prize · 37 minhttps://youtu.be/v8SGKS3T-3A In this episode, Nico Mohnblatt speaks with Giacomo Fenzi from EPFL and Antonio Sanso from the Ethereum Foundation. For this 3rd instalment of the…
- lean Ethereum Part 2: PQ Signatures and Poseidon with Dmitry and Benedikt · 35 minhttps://www.youtube.com/watch?v=xh8hbz1nqxQ In this episode, Nico Mohnblatt speaks with Benedikt Wagner and Dmitry Khovratovich, cryptography researchers at the Ethereum…
- lean Ethereum Part 1: Introduction with Justin Drake · 36 minhttps://www.youtube.com/watch?v=Dad2UonQ9Ag&feature=youtu.be In this episode, Nico Mohnblatt sits down with Justin Drake from the Ethereum Foundation to kick off a miniseries on…
- lean Ethereum Miniseries Kick-off with Anna & Nico · 9 minhttps://www.youtube.com/watch?v=JbskOlf7oA0 In this episode, Anna Rose and Nico Mohnblatt kick-off a new six-part video miniseries exploring lean Ethereum. Lean Ethereum is a…
- Bonus: zkMesh+ & Upcoming Miniseries · 2 minThere’s no full-length episode this week, but we wanted to highlighting a new bonus segment available exclusively to zkMesh+ subscribers. In this, we revisit last week’s…
- Stateful ZK Identity with Ian Miers · 1 h 2 minIn this episode, Anna Rose and Nico Mohnblatt welcome back Ian Miers, Assistant Professor of Computer Science at the University of Maryland, to continue the conversation from a…
- Bonus: Join zkMesh+ for some bonus podcast content! · 1 minNo 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…
- Sean Bowe on Tachyon and the Evolution of Zcash · 1 h 13 minIn 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…
- Bonus: Welcome to 2026 from ZK Podcast & zkMesh+ · 3 minWe 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…
- Year in Review: ZK Podcast in 2025 & Beyond · 15 minIn 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…
- Pratyush Mishra on Tiny Proofs, Folding, Low-Memory SNARKs and More · 1 h 2 minIn 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…
- Lattices, Folding, & Symphony with Binyi Chen · 1 h 5 minIn 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…
- The Quest for Practical iO with Machina iO · 1 h 2 minIn 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…
- Countdown to Q-Day with Project 11 · 1 h 2 minIn 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…
- Kevin Lacker on AI-Assisted Theorem Proving and Acorn · 56 minIn 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…
- Payy and Payy Card, the Undoxable Credit Card · 1 h 7 minIn 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…
- ZKPassport, Obsidion & the Emerging Noir Ecosystem · 53 minIn 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…
- Verifiable Key Management and TEEs with Turnkey · 1 h 4 minIn 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)…
- Zerocoin to zk-creds: Modern ZK History with Ian Miers · 1 h 18 minIn this episode, Anna Rose and Nico Mohnblatt catch up with Ian Miers from the University of Maryland, starting with his work on seminal ZK blockchain research, Zerocoin and…
- Evolving ZK Identity from Iden3 to Privado & Billions · 1 h 4 minIn this episode, Anna Rose chats with David Z and Oleksandr (Sasha) from Privado ID and Billions Network about the evolution of ZK-based identity systems, tracing their roots…
- Miden & the Edge Blockchain with Bobbin & Gaylord · 1 h 17 minIn this episode, Anna Rose and Guillermo Angeris speak with Bobbin Threadbare and Gaylord Warner from Miden to explore their zkVM and edge blockchain architecture. The group also…
- Indistinguishability Obfuscation (iO) with Huijia (Rachel) Lin · 1 h 25 minIn this episode, Anna Rose and Tarun Chitra chat with Huijia (Rachel) Lin from the University of Washington to explore indistinguishability obfuscation (iO), often described as…
- Lighter, Perp DEXs and Custom ZK Circuits · 1 h 13 minIn this episode, Anna Rose and Tarun Chitra chat with Vlad and Murat from Lighter, a ZK-powered perp DEX on Ethereum. They explore how perps, short for perpetuals/perpetual…
- Ethproofs, zkVM Benchmarks & the Unstoppable Rise of ZK with Justin Drake · 1 h 23 minIn this episode, Anna Rose and Nico Mohnblatt catch up with Justin Drake from the Ethereum Foundation to explore Ethproofs, asking what exactly is Ethproofs: is it a meme, a…
- zkPDF and zkID with Vikas Rushi and Ying Tong · 1 h 9 minIn this episode, Anna Rose and Kobi Gurkan chat with Vikas Rushi from PSE, and Ying Tong to explore two topics at the intersection of ZK and the real-world data: zkPDF and zkID…







