PODCAST Kevin Lacker on AI-Assisted Theorem Proving and AcornResearch,Verifiable Compute,Tools22.10.2025 Payy and Payy Card, the Undoxable Credit CardZK Applications,Payments,Privacy15.10.2025 ZKPassport, Obsidion & the Emerging Noir EcosystemID,Privacy,ZK Applications08.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 & GaylordEducation,Blockchain,L2's10.09.2025 Indistinguishability Obfuscation (iO) with Huijia (Rachel) LinResearch,Miscellaneous,iO03.09.2025 Lighter, Perp DEXs and Custom ZK CircuitsBlockchain,L2's,DeFi27.08.2025 Propose a topic for the show: Email us at hello@zeroknowledge.fm