エピソード

  • Countdown to Q-Day with Project 11

    Countdown to Q-Day with Project 11
    2025/11/05
    In 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 systems like blockchains. As blockchain technology becomes increasingly integrated into global financial infrastructure — especially through stablecoins and banking rails — the stakes for quantum security continue to rise. Alex and Conor break down which algorithms are most at risk, why simple network upgrades won’t be enough, and what users will need to do to protect their own funds. They also outline potential mitigation strategies, including how Project 11 is approaching the challenge with post-quantum signature schemes, secure vaults, and a global namespace to coordinate user migrations ahead of “Q-Day.” The conversation also touched on how post-quantum thinking overlaps with zero-knowledge research, as hash- and lattice-based SNARKs offer resilience against future quantum attacks. Related links:
    • Project 11
    • Yellow Pages
    • PQC Suite B GitHub
    • Securing Sui in the Quantum Computing Era
    • Quantum resource estimation for large scale quantum algorithms: Section 5
    • Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3
    • Downtime Required for Bitcoin Quantum-Safety

    ZK Podcast Previous Related Episodes on the topic:
    • Quantum Engineering with Jelena Vučković
    • Quantum Punks with Alex and Nicola
    • Quantum Cryptography Part 2 with Or Sattath

    ZK Whiteboard Sessions is an educational video series produced by ZK Hack in collaboration with Bain Capital Crypto. It is focused on the building blocks of zero knowledge technology. Find season 3 of the Whiteboard Sessions as well as previous seasons here.
    続きを読む 一部表示
    1 時間 2 分
  • Bonus: ZK Mesh and ZK Whiteboard this week!

    Bonus: ZK Mesh and ZK Whiteboard this week!
    2025/10/29
    There is no episode this week, but we share some updates from the ZK Hack ecosystem. Sign up here for ZK Mesh and find the latest module of ZK Whiteboard Season 3 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 **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address
    続きを読む 一部表示
    1 分
  • Kevin Lacker on AI-Assisted Theorem Proving and Acorn

    Kevin Lacker on AI-Assisted Theorem Proving and Acorn
    2025/10/22
    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 proving
    • Acorn Theorem Prover
    • Acorn Standard Library:acornlib
    • Lean 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 *
    続きを読む 一部表示
    56 分
  • Payy and Payy Card, the Undoxable Credit Card

    Payy and Payy Card, the Undoxable Credit Card
    2025/10/15
    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 Network
    • Payy Wallet
    • Payy Card
    • Zcash
    • The whitepaper for Payy Network
    • The payy card launch on X
    • Payy 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 時間 8 分
  • ZKPassport, Obsidion & the Emerging Noir Ecosystem

    ZKPassport, Obsidion & the Emerging Noir Ecosystem
    2025/10/08
    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:
    • ZKPassport
    • Obsidion
    • ZKPassport: Where are we now?
    • ZK HACK
    • Noir
    • Aztec

    ZK Podcast Previous Related Episodes on the topic:
    • Episode 358: Building ZK Registries Onchain with Rarimo
    • Episode 377:Evolving ZK Identity from Iden3 to Privado & Billions
    • Episode 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 *...
    続きを読む 一部表示
    53 分
  • Verifiable Key Management and TEEs with Turnkey

    Verifiable Key Management and TEEs with Turnkey
    2025/10/01
    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 Solution
      • Turnkey's Architecture
      • StageX
      • Reflections on Trusting Trust By Ken Thompson
      • How to Prove False Statements: Practical Attacks on Fiat-Shamir
      • Turnkey Blog: Remote attestations are useless without reproducible builds
      • Episode 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 時間 4 分
  • Zerocoin to zk-creds: Modern ZK History with Ian Miers

    Zerocoin to zk-creds: Modern ZK History with Ian Miers
    2025/09/24
    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 publications
    • Zerocoin: Anonymous Distributed E-Cash from Bitcoin
    • Pinocchio: Nearly Practical Verifiable Computation
    • Zerocash: Decentralized Anonymous Payments from Bitcoin
    • Zcash: Privacy-preserving cryptocurrency based on Zerocash protocol
    • Zexe: Enabling Decentralized Private Computation
    • Powers of Tau Ceremony: Zcash Foundation's multi-party computation for secure zk-SNARK parameters
    • Powers-of-Tau to the People: Decentralizing Setup Ceremonies
    • zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure
    • zk-promises: Anonymous Moderation, Reputation, and Blocking from Anonymous Credentials with Callbacks
    • Decentralized Anonymous Credentials
    • Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
    • Quadratic Span Programs and Succinct NIZKs without PCPs
    • DECO: Liberating...
    続きを読む 一部表示
    1 時間 18 分
  • Evolving ZK Identity from Iden3 to Privado & Billions

    Evolving ZK Identity from Iden3 to Privado & Billions
    2025/09/17
    In 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 back to iden3 in 2018, one of the earliest projects to pioneer ZK for on-chain identity. They discuss their origin as the iden3, their creation of the influential Circom DSL, the move into Polygon ID, the spin-out as Privado ID with a focus on B2B privacy tools and verifiable credentials, and the recent launch of Billions Network, which aims to build a scalable network of humans and AI agents with mobile-first verification and progressive proofs. They compare their broad, composable approach to projects like Self, Rarimo, and ZK Email, while highlighting future plans for reputation layers, on-chain economies, and AI agent identities to enable accountable interactions in a decentralised world. Related links:
    • Privado ID introduces Billions: The First Global Human & AI Network
    • Billions Launches Mobile App for Digital Identity Verification in the Age of AI
    • DEEPTRUST: VERIFIABLE IDENTITIES AND REPUTATION FOR AI AGENTS
    • Iden3 Protocol Specifications (Version 0)
    • W3C: Verifiable Credentials Overview
    • Poseidon: ZK-Friendly Hashing
    • European Digital Identity
    • ZK HACK - Introducing Circom 2.0 - Iden3
    • Iden3: Sparse Merkle Trees
    • Billions App Transforms ID Verification with Privacy-First Liveness Checks

    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
    続きを読む 一部表示
    1 時間 5 分