Zero Knowledge

• 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 *

  --------  

  55:43

  --------

  55:43
• 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...

  --------  

  1:07:43

  --------

  1:07:43
• 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 *...

  --------  

  52:39

  --------

  52:39
• 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

  --------  

  1:04:06

  --------

  1:04:06
• Zerocoin to zk-creds: Modern ZK History with Ian Miers

  In 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 Zerocash and the creation of the first zk-focused blockchain project Zcash. They then explore the history of trusted setups, including the trusted setup bug discovery in Zcash, and subsequent improvements like Powers of Tau. Ian also discussed his work on ZEXE, a system that has inspired the formation of Aleo, and his more recent works: zk-creds for building flexible anonymous credentials from existing identity signals like passports, and zk-promises for supporting anonymous reputation, moderation, and callbacks in decentralized systems. They also touch on broader topics like post-quantum security considerations, sybil resistance, and the need for programmable privacy tools. Related Links Ian Miers: Academic profile and publicationsZerocoin: Anonymous Distributed E-Cash from BitcoinPinocchio: Nearly Practical Verifiable ComputationZerocash: Decentralized Anonymous Payments from BitcoinZcash: Privacy-preserving cryptocurrency based on Zerocash protocolZexe: Enabling Decentralized Private ComputationPowers of Tau Ceremony: Zcash Foundation's multi-party computation for secure zk-SNARK parametersPowers-of-Tau to the People: Decentralizing Setup Ceremonieszk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructurezk-promises: Anonymous Moderation, Reputation, and Blocking from Anonymous Credentials with CallbacksDecentralized Anonymous CredentialsSonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference StringsQuadratic Span Programs and Succinct NIZKs without PCPs DECO: Liberating...

  --------  

  1:18:02

  --------

  1:18:02

Más podcasts de Educación

Podcasts a la moda de Educación

Acerca de Zero Knowledge