PODCAST Kevin Lacker on AI-Assisted Theorem Proving and AcornResearch,Verifiable Compute,Tools22.10.2025 Payy and Payy Card, the Undoxable Credit CardPayments,Privacy,ZK Applications15.10.2025 ZKPassport, Obsidion & the Emerging Noir EcosystemPrivacy,ZK Applications,ID08.10.2025 Verifiable Key Management and TEEs with TurnkeyZK Tech,ZK Applications01.10.2025 Zerocoin to zk-creds: Modern ZK History with Ian MiersZK in BTC,Privacy,ZK Applications24.09.2025 Evolving ZK Identity from Iden3 to Privado & BillionsWallets,ZK Applications,ID17.09.2025 Miden & the Edge Blockchain with Bobbin & GaylordL2's,Education,Blockchain10.09.2025 Indistinguishability Obfuscation (iO) with Huijia (Rachel) LiniO,Research,Miscellaneous03.09.2025 Lighter, Perp DEXs and Custom ZK CircuitsDeFi,Blockchain,L2's27.08.2025 Propose a topic for the show: Email us at hello@zeroknowledge.fm