Zero Knowledge

In this episode, Anna [https://x.com/AnnaRRose] and Nico [https://x.com/nico_mnbl] speak with Abhi Shelat [https://shelat.khoury.northeastern.edu/] and Matteo Frigo [https://scholar.google.com/citations?user=hwn3OPIAAAAJ&hl=en] from Google [https://x.com/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 [https://zeroknowledge.fm/podcast/303/] * Anonymous credentials from ECDSA [https://eprint.iacr.org/2024/2010] * libZK: a zero-knowledge proof library [https://www.ietf.org/id/draft-google-cfrg-libzk-00.html] * European Digital Identity [https://commission.europa.eu/strategy-and-policy/priorities-2019-2024/europe-fit-digital-age/european-digital-identity_en] * FFTW [https://www.fftw.org/] * Doubly-Efficient zkSNARKs Without Trusted Setup [https://ieeexplore.ieee.org/document/8418646] * Ligero: Lightweight Sublinear Arguments Without a Trusted Setup [https://eprint.iacr.org/2022/1608] * Everything provable is provable in zero-knowledge [https://dl.acm.org/doi/10.5555/88314.88333] * Circle STARKs [https://eprint.iacr.org/2024/278] * Highlights of libZK, the Google Wallet ZKP [https://nmohnblatt.github.io/libzk-highlights/] * Parallel prefix [https://www.chessprogramming.org/Parallel_Prefix_Algorithms] --------------- * Register for ZK Hack Berlin [http://zkberlin.com] 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 beboundless.xyz [http://beboundless.xyz]  --------------- **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree [https://linktr.ee/zeroknowledge] * Subscribe to our podcast newsletter [https://zeroknowledge.substack.com] * Follow us on Twitter @zeroknowledgefm [https://twitter.com/zeroknowledgefm] * Join us on Telegram [https://t.me/+taXrPJIp_30zZTNi] * Catch us on YouTube [http://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g] **Support the show:** * Patreon [https://www.patreon.com/zeroknowledge] * ETH - Donation address [https://etherscan.io/address/0xE2C080047213C1d8cDf2099E0B07479C5D9cee8a] * BTC - Donation address [https://www.blockchain.com/explorer/addresses/btc/bc1q9mrh34n6mvses59r3hq9dz6j3vxm3tlwlg8ws2] * SOL - Donation address [https://explorer.solana.com/address/Eqfm4maSDUN3ikjDfSgDeJ1mh3iC8tr69eHB5iTHz35x] Read transcript [https://github.com/ZeroKnowledgefm/episode-transcripts/blob/main/episodes/Episode%20363.txt]

In this episode, Anna [https://x.com/AnnaRRose] speaks with Madhavan (Maddy [https://x.com/madhavanmalolan]) Malolan from Reclaim Protocol [https://reclaimprotocol.org/] 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 [https://zeroknowledge.fm/podcast/353/] * TLSNotary [https://tlsnotary.org/] * DECO: Liberating Web Data Using Decentralized Oracles for TLS [https://arxiv.org/abs/1909.00938] * Proxying is Enough: Security of Proxying in TLS Oracles and AEAD Context Unforgeability [https://eprint.iacr.org/2024/733]   ----------------------------------------   Register for ZK Hack Berlin [http://zkberlin.com] happening 20 - 22 June!   ----------------------------------------   **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree [https://linktr.ee/zeroknowledge] * Subscribe to our podcast newsletter [https://zeroknowledge.substack.com] * Follow us on Twitter @zeroknowledgefm [https://twitter.com/zeroknowledgefm] * Join us on Telegram [https://t.me/+taXrPJIp_30zZTNi] * Catch us on YouTube [http://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g]   **Support the show:** * Patreon [https://www.patreon.com/zeroknowledge] * ETH - Donation address [https://etherscan.io/address/0xE2C080047213C1d8cDf2099E0B07479C5D9cee8a] * BTC - Donation address [https://www.blockchain.com/explorer/addresses/btc/bc1q9mrh34n6mvses59r3hq9dz6j3vxm3tlwlg8ws2] * SOL - Donation address [https://explorer.solana.com/address/Eqfm4maSDUN3ikjDfSgDeJ1mh3iC8tr69eHB5iTHz35x] Read transcript [https://github.com/ZeroKnowledgefm/episode-transcripts/blob/main/episodes/Episode%20362.txt]

There’s no interview this week, but we have some ad spot availability coming up! If you want to reach a highly technical ZK audience and get eyes on your project, tooling, hiring, and more, get in touch at sponsorships@zeroknowledge.fm [sponsorships@zeroknowledge.fm]. If you would like to donate individually to the show, our eth address is here: 0xE2C080047213C1d8cDf2099E0B07479C5D9cee8a

In this episode, Anna [https://x.com/AnnaRRose] and Nico [https://x.com/nico_mnbl] speak with Matthew Klein [https://matthewklein.co.uk/] and Albert Garreta [https://x.com/0xAlbertG] from Nethermind [https://www.nethermind.io/] about their work implementing and advancing lattice-based cryptography systems, particularly focusing on folding schemes and their applications in zero-knowledge proofs. Matthew and Albert share insights from their implementation of LatticeFold and discuss the evolution of lattice-based systems, including newer developments like LatticeFold+ and Neo. The conversation explores the unique challenges and opportunities of working with lattice-based constructions, from performance optimizations to post-quantum security considerations. They also dive into their work on post-quantum signatures for Ethereum, light zkML solutions, and the Zinc project, which offers a novel approach to handling integer-based constraints in zero-knowledge proofs. Related links: * Episode 359: Lattice-based ZK Systems with Vadim Lyubashevsky [https://zeroknowledge.fm/podcast/359/] * Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał & Albert [https://zeroknowledge.fm/podcast/293/] * Episode 277: Nova and Beyond with Srinath Setty [https://zeroknowledge.fm/podcast/277/] * ZK Whiteboard Sessions S2M6: An Update on Folding with Albert Garreta [https://www.youtube.com/watch?v=4alOna5X3ro] * Nethermind’s LatticeFold implementation [https://github.com/NethermindEth/latticefold] * Ajtai vs Merkle vs Pedersen [https://www.notion.so/nethermind/Ajtai-vs-Merkle-vs-Pedersen-1d0360fc38d080d9a984efb95d4bb97d] * LatticeFold paper [https://eprint.iacr.org/2024/257] * LatticeFold+ paper [https://eprint.iacr.org/2025/247] * Neo paper [https://eprint.iacr.org/2025/294] * LaBRADOR paper [https://eprint.iacr.org/2022/1341.pdf] * Zinc integer-based constraints [https://blog.matter-labs.io/release-of-zinc-v0-1-8d949aa9a2f2] * FLI: Folding Lookup Instances paper [https://eprint.iacr.org/2024/1531]     ----------------------------------------   ZK Hack Berlin happens on June 20 - 22! Apply now at zkberlin.com [http://zkberlin.com]   ----------------------------------------   **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree [https://linktr.ee/zeroknowledge] * Subscribe to our podcast newsletter [https://zeroknowledge.substack.com] * Follow us on Twitter @zeroknowledgefm [https://twitter.com/zeroknowledgefm] * Join us on Telegram [https://t.me/+taXrPJIp_30zZTNi] * Catch us on YouTube [http://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g] Read transcript [https://github.com/ZeroKnowledgefm/episode-transcripts/blob/main/episodes/Episode%20361.txt]

In this episode, Anna [https://x.com/AnnaRRose] and Guillermo [https://x.com/guilleangeris] are joined by Alex Obadia [https://x.com/obadiaalex] and Nicola Greco [https://x.com/iamnotnicola], co-authors of the Quantum Punks Manifesto [https://quantumpunks.org/], for a discussion at the intersection of quantum technology and cryptography. They explore the cultural and technical gaps between the quantum and crypto communities, sharing the story behind the manifesto, their vision for bridging these worlds and the applications that such a combination could unlock.   Related links: * Quantum Punks Manifesto [https://quantumpunks.org/] * Episode 288: Quantum Cryptography with Or Sattath [https://zeroknowledge.fm/podcast/288/] * Episode 357: Quantum Engineering with Jelena Vučković [https://zeroknowledge.fm/podcast/357/] * Paris Workshop Video Playlist [https://youtube.com/playlist?list=PLCy40jcqxf4M3tp4FN_3s3qwDg2yrQvQN&si=O_qpobrulKfprdTD] * Teleport.Best Flashbots Project [https://teleport.best/] * Aria [https://www.aria.org.uk/] * Protocol Labs [https://www.protocol.ai/] * Conjugate Coding [https://dl.acm.org/doi/10.1145/1008908.1008920] * BB84: Quantum cryptography: Public key distribution and coin tossing [https://www.sciencedirect.com/science/article/pii/S0304397514004241]   Further reading: * The Coming Wave: New Applications of Quantum Cryptography -- Nicola Greco (DeepQuantum) [https://youtu.be/OCDYY5T27jk?si=S-5Yxux2lID2DWTu] * Quantum Punks’ meta-list of resources [https://quantumpunks.org/resources] * Quantum cryptography with classical communication: parallel remote state preparation for copy-protection, verification, and more by Gheorghiu, Metger and Poremba [https://eprint.iacr.org/2022/122] * Colbeck, R. (2006) Quantum And Relativistic Protocols For Secure Multi-Party Computation (Device Independence) [https://arxiv.org/abs/0911.3814] * Quantum bidding in Bridge by Muhammad, Tavakoli, Kurant, Pawlowski, Zukowski and Bourennane [https://arxiv.org/pdf/1403.4280] * Coordinating Decisions via Quantum Telepathy by Ding and Jiang [https://arxiv.org/pdf/2407.21723v1]   ---------------   * zkSummit13 happens next week! Buy your ticket now at www.zksummit.com [http://www.zksummit.com].   ---------------   * Missing Link [http://missing-link.io] are a talent team built for the Web3 era, helping projects across the ecosystem connect with the right candidates at the right time.    * Whether you're an established project or a startup searching for specialized talent, Missing Link can help. Visit their website at missing-link.io. [http://missing-link.io]    ---------------   **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree [https://linktr.ee/zeroknowledge] * Subscribe to our podcast newsletter [https://zeroknowledge.substack.com] * Follow us on Twitter @zeroknowledgefm [https://twitter.com/zeroknowledgefm] * Join us on Telegram [https://zeroknowledge.fm/telegram] * Catch us on YouTube [http://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g] Read transcript [https://github.com/ZeroKnowledgefm/episode-transcripts/blob/main/episodes/Episode%20360.txt]