エピソード

  • Ligero for Memory-Efficient ZK with Muthu

    Ligero for Memory-Efficient ZK with Muthu
    2025/07/23
    In this episode, Anna Rose and Guillermo Angeris catch up with Muthu Venkitasubramaniam, Professor of Computer Science at Georgetown University and cofounder of Ligero. They discuss how Ligero’s small memory footprint makes it a good choice for client-side proving, as well as the importance of programmable compliance in blockchain. The conversation explores the differences between ‘MPC in the head’ and error-correcting code perspectives, and how well-established primitives influence the design of modern ZK systems. They also debate the challenge of adding ‘ZK’ privacy back into systems without it, why proving EVM traces may be absurd, and what kinds of guarantees might exist around the results of vibe coding. Related links:
    • Episode 363: Bringing ZK to Google Wallet with Abhi and Matteo
    • Episode 326: MPC & ZK in Ligero and Ligetron
    • ZK13: Ligerito: A Small and Concretely Fast Polynomial Commitment Scheme - Kobi Gurkan
    • ZK13: Vibe coding ZK Apps with Ligetron ZK Platform - Muthu Venkitasubramaniam
    • ZK10: Analysis of zkVM Designs - Wei Dai & Terry Chung
    • Ligerito: A Small and Concretely Fast Polynomial Commitment Scheme
    • Ligero++ - Reducing proof length of Ligero
    • Adding Zero-Knowledge to STARKs - Talk by Ulrich Haböck
    • Aurora - comparing prover times of STARKs vs Ligero
    • WYSTERIA: A Programming Language for Generic, Mixed-Mode Multiparty Computations
    • Samaritan: Linear-time Prover SNARK from New Multilinear Polynomial Commitments
    • Brakedown: Linear-time and field-agnostic SNARKs for R1CS
    続きを読む 一部表示
    1 時間 16 分
  • TLSNotary with Dan and Sinu

    TLSNotary with Dan and Sinu
    2025/07/16
    In this episode, Anna Rose and Nico Mohnblatt speak with Dan and Sinu from TLSNotary to trace the project’s journey from early Bitcoin forum ideas to its current role as a foundational protocol maintained by PSE. Dan recounts the origins of TLSNotary as a tool for cryptographically proving web data, while Sinu explains how the project was revived to provide modern TLS attestation. The conversation covers the use-cases for verifiable web proofs, the different modes these interactive protocols can take, and the broader impact of this technology on leveraging siloed user data. Related links:
    • Episode 325: Web Proofs with Tracy from Pluto
    • Episode 354: The Founding of Zero Knowledge Systems with Austin Hill
    • Episode 362: zkTLS with Maddy from Reclaim
    • 2013 Blog Post ‘tlsnotary - cryptographic proof of fiat transfer for p2p exchanges’
    • TLSNotary Whitepaper
    • DECO: Liberating Web Data Using Decentralized Oracles for TLS
    • Primus Labs (Previously PADO)
    • Town Crier: An Authenticated Data Feed for Smart Contracts

    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:** *
    続きを読む 一部表示
    50 分
  • Local-First with grjte and Goblin Oats

    Local-First with grjte and Goblin Oats
    2025/07/09
    In this episode, Anna Rose and Nico Mohnblatt speak with Goblin Oats from Tonk and grjte from Bain Capital Crypto to explore the emerging world of local-first architecture. Goblin shares the evolution of Tonk from an experimental lab working on blockchain games to a product that enables anyone to build personalised local-first software using natural language. grjte discusses her Groundmist project exploring personal data lakes and the intersection between local-first systems and the AT Protocol. The conversation explores the technical foundations of local-first software, including Conflict-free Replicated Data Types (CRDTs), parallels with blockchain systems, and how ZK proofs show up within cloud-optional architecture. Related links:
    • Tonk GitHub
    • Groundmist
    • Dappicom — NES Emulation in Noir
    • Speakeasy
    • Automerge CRDT
    • AT Protocol
    • Ink & Switch: Local-first software
    • Homomorphically Encrypting CRDTs
    • Beelay - A new sync protocol for Automerge
    • Jess Martin - The last mile of Local First
    • Local-First Conf 2025

    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
    続きを読む 一部表示
    1 時間 2 分
  • ZK in Sui & zkAt with Kostas Kryptos

    ZK in Sui & zkAt with Kostas Kryptos
    2025/06/25
    In this episode, Anna Rose and Tarun Chitra catch up with Kostas Kryptos from Mysten Labs to explore the latest ZK innovations being built on Sui. Kostas shares updates on zkLogin and introduces zkAt (ZK Authenticator), a new research project enabling programmable and updatable access control for accounts where Groth16's trusted setup and the generated toxic waste is used in a very novel way. This discussion also covers Sui's ambitious plans to become quantum-ready, including their innovative approach to transitioning existing EdDSA accounts to post-quantum security using STARKs without requiring users to change their addresses. They touch on ZK Tunnels, working with the Greek stock market, and how ZK is breaking out of the web2/web3 paradigm. Related links:
    • Episode 257: Proof of Solvency with Kostas Chalkias
    • Episode 302: ZK for web2 interop with zkLogin & ZK Email
    • Episode 363: Bringing ZK to Google Wallet with Abhi and Matteo
    • Zero-knowledge Authenticator for Blockchain: Policy-private and Obliviously Updateable
    • zkLogin
    • All About Account Abstraction
    • Zengo Crypto Wallet
    • Trusted Setup Ceremony

    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
    続きを読む 一部表示
    1 時間 24 分
  • AI and ZK Auditing with David Wong

    AI and ZK Auditing with David Wong
    2025/06/18
    In this episode, Anna sits down with David Wong from zkSecurity to discuss the impact of AI on the field of zero-knowledge auditing. David shares how his team is integrating AI agents into their workflow, the opportunities and challenges this brings, and how the role of the human auditor is evolving as AI becomes more capable. They also cover the unique aspects of auditing ZK-based systems, how this is different from smart contract auditing, and the broader implications of AI for security in cryptography and blockchain. The conversation touches on the ethical considerations of AI in security, the future of the auditing profession, and the ways ZK and AI are increasingly intersecting. Related links:
    • Episode 290: Exploring, Teaching and Auditing ZK with David Wong
    • Episode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography
    • Proof is in the Pudding Session 04: Lattice-Based SNARKs and Post-Quantum Cryptography
    • Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
    • Ethproofs Call #2 | real-time proving
    • Folding Circom circuits: a ZKML case study - Dr. Cathie So

    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 * ETH - Donation address
    続きを読む 一部表示
    1 時間 9 分
  • Bringing ZK to Google Wallet with Abhi and Matteo

    Bringing ZK to Google Wallet with Abhi and Matteo
    2025/06/11
    In this episode, Anna and Nico speak with Abhi Shelat and Matteo Frigo from Google about their work integrating zero-knowledge proofs into the Google Wallet. They discuss the technical decisions behind the Anonymous Credentials for ECDSA system, including the challenge of designing a proof system where proving must be efficient enough to run on the client device in a large-scale consumer application, and how they design a system using sumcheck and Ligero to overcome NTT issues. The conversation also touches on the process of standardization, the return of ZK to its privacy roots, and the broader significance of seeing advanced cryptography adopted by a major tech company outside the blockchain space. Links:
    • Episode 303: A Dive into Binius with Jim Posen
    • Anonymous credentials from ECDSA
    • libZK: a zero-knowledge proof library
    • European Digital Identity
    • FFTW
    • Doubly-Efficient zkSNARKs Without Trusted Setup
    • Ligero: Lightweight Sublinear Arguments Without a Trusted Setup
    • Everything provable is provable in zero-knowledge
    • Circle STARKs
    • Highlights of libZK, the Google Wallet ZKP
    • Parallel prefix

    ---------------
    • Register for ZK Hack Berlin happening 20 - 22 June!

    ---------------
    • Boundless is a universal zero-knowledge protocol developed by RISC Zero, that lets anyone access abundant verifiable compute, regardless of the blockchain they are using. Learn more about Boundless at
    続きを読む 一部表示
    1 時間 4 分
  • zkTLS with Maddy from Reclaim

    zkTLS with Maddy from Reclaim
    2025/06/04
    In this episode, Anna speaks with Madhavan (Maddy) Malolan from Reclaim Protocol about his work on zkTLS and its applications in web data verification. Maddy shares the journey of building Reclaim, from initial attempts at implementing DECO to developing their current proxy-based solution. The conversation explores the technical challenges of implementing zero-knowledge proofs for HTTPS connections, comparing proxy and MPC approaches, and discussing security considerations. Maddy explains how Reclaim is bringing ZK technology to mainstream applications, focusing on three key verticals: education verification, employment history, and financial background checks. Related links:
    • Episode 353: Making ZK More Human with ZK Email
    • TLSNotary
    • DECO: Liberating Web Data Using Decentralized Oracles for TLS
    • Proxying is Enough: Security of Proxying in TLS Oracles and AEAD Context Unforgeability

    Register for ZK Hack Berlin happening 20 - 22 June! **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 Read...
    続きを読む 一部表示
    58 分