Zero Knowledge Podcast Por Zero Knowledge Podcast arte de portada

Zero Knowledge

Zero Knowledge

De: Zero Knowledge Podcast
Escúchala gratis

Zero Knowledge is a podcast which goes deep into the tech that will power the emerging decentralised web and the community building this. Covering the latest in zero knowledge research and applications, the open web as well as future technologies and paradigms that promise to change the way we interact — and transact — with one another online. Zero Knowledge is hosted by Anna Rose Follow the show at @ZeroKnowledgefm (https://twitter.com/zeroknowledgefm) or @AnnaRRose (https://twitter.com/AnnaRRose) If you like the Zero Knowledge Podcast: Join us on Telegram (https://t.me/joinchat/TORo7aknkYNLHmCM) Support our Gitcoin Grant (https://gitcoin.co/grants/38/zero-knowledge-podcast) Support us on Patreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0x4BF66E52f3009Cd138e48f142D47661037160001 BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ DOT: 14zPzb7ihiBeaUn9jdPW9cHKGBd9qtTuJE75hhW2CvzLh6rT© 2025 Zeroknowledge Ciencia Matemáticas
Episodios
  • ZKTorch & the Evolution of ZKML with Daniel Kang

    ZKTorch & the Evolution of ZKML with Daniel Kang
    Jul 30 2025
    In this episode, Anna Rose welcomes back Daniel Kang professor at UIUC and founding technical advisor at VAIL, for an update on ZKML and how the space has evolved since early 2023. Daniel covers the 2023-2024 cohort of ZKML tools including zkCNN, zkLLM, EZKL, and his original ZKML project, while introducing his new project ZKTorch, which offers a flexible hybrid of specialized and general-purpose approaches. The discussion explores practical applications like verified FaceID, proof of prompt, and proof of training, along with the technical challenges of adding ZK proofs to machine learning models. Daniel shares insights on the performance trade-offs between specialized cryptographic systems and generic circuits, and how ZKTorch aims to offer both flexibility and speed for proving ML inference. Related links:
    • ZKTorch: Open-Sourcing the First Universal ZKML Compiler for Real-World AI
    • ZKTorch: Compiling ML Inference to Zero-Knowledge Proofs via Parallel Proof
    • ZK Torch GitHub
    • Accumulation by Bing-Jyue Chen, Lilia Tang, Daniel Kang
    • Episode 369: Ligero for Memory-Efficient ZK with Muthu
    • Episode 356: ZK Benchmarks with Conner Swann
    • Episode 364: AI and ZK Auditing with David Wong
    • Episode 265: Where ZK and ML intersect with Yi Sun and Daniel Kang
    • Bonus Episode: zkpod.ai & Attested Audio Experiment with Daniel Kang
    • ZK13: ZKTorch: Efficiently Compiling ML Models to Zero-Knowledge Proof Protocols - Daniel Kang
    • AI Agent Benchmarks are Broken
    • VAIL
    • zkCNN: Zero Knowledge Proofs for...
    Más Menos
    51 m
  • Ligero for Memory-Efficient ZK with Muthu

    Ligero for Memory-Efficient ZK with Muthu
    Jul 23 2025
    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
    Más Menos
    1 h y 16 m
  • TLSNotary with Dan and Sinu

    TLSNotary with Dan and Sinu
    Jul 16 2025
    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:** *
    Más Menos
    50 m
Todavía no hay opiniones