Zero Knowledge

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

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 a...

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...

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 NetworkBillions Launches Mobile App for Digital Identity Verification in the Age of AIDEEPTRUST: VERIFIABLE IDENTITIES AND REPUTATION FOR AI AGENTSIden3 Protocol Specifications (Version 0)W3C: Verifiable Credentials OverviewPoseidon: ZK-Friendly HashingEuropean Digital IdentityZK HACK - Introducing Circom 2.0 - Iden3Iden3: Sparse Merkle TreesBillions 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 a...

In this episode, Anna Rose and Guillermo Angeris speak with Bobbin Threadbare and Gaylord Warner from Miden to explore their zkVM and edge blockchain architecture. The group also reminisces on how they've each been a part of the ZK Whiteboard Sessions over the years.   Bobbin shares Miden's earliest beginnings from Winterfell at Facebook through its development within Polygon to the recent spin-out as an independent project. The team discusses their custom ISA designed for blockchain use cases, and the multi-stage compilation pipeline that supports it. The conversation also covers Miden's pragmatic approach to privacy implementation, their plans for gradual decentralization starting with a centralized L2, and how they incentivize users to keep state off-chain through multidimensional fee structures.   Related links: ZK Whiteboard Episode 373: Ethproofs, zkVM Benchmarks & the Unstoppable Rise of ZK with Justin Drake Episode 369: Ligero for Memory-Efficient ZK with Muthu Episode 367: Local-First with grjte and Goblin Oats Episode 365: ZK in Sui & zkAt with Kostas Kryptos Episode 210: The Road to STARKs and Miden with Bobbin Threadbare The Miden Compiler v0.4.0 – A Major Milestone ZK Whiteboard Sessions - Module Four: SNARKs vs STARKs with Bobbin Threadbare ZK13: Lifted FRI: A uniform multi-domain polynomial commitment scheme ZK Study Club - STARKs overview - Session 4  ZK Hack Berlin Winterfell Fruity Friends Gaylord's X post that inspired the interview!

In this episode, Anna Rose and Tarun Chitra chat with Huijia (Rachel) Lin from the University of Washington to explore indistinguishability obfuscation (iO), often described as the 'holy grail of cryptography'. iO is a powerful primitive that, if fully realised, could have profound implications for privacy tech as a whole. Rachel helps break down the concept for listeners who may already be familiar with ZK, FHE and TEEs, clarifying how iO differs but also some of the similarities in the assumptions upon which it is based. Rachel also explains how it differs from similar concepts: garbled circuits and functional encryption.   The discussion covers the evolution of iO research in her work over the last decade, how the cryptographic assumptions have hardened since that time, and what iO can offer in terms of precise, controlled information revelation.   Related links: Indistinguishability obfuscation from well-founded assumptions Indistinguishability Obfuscation from DDH-like Assumptions on Constant-Degree Graded Encodings On Lattices, Learning with Errors, Random Linear Codes, and Cryptography How to Use Indistinguishability Obfuscation: Deniable Encryption, and More Functional Encryption for Quadratic Functions, and Applications to Predicate Encryption Garbled circuit     ZK Whiteboard Season 3 just kicked off with our first Module all about Hash Functions! In this, we have host Nico and guest JP Aumauson walk us through how to build a Hash Function. JP was also previously on the show to discuss the topic, you can see his episode here! See all Whiteboard Sessions including previous seasons here.      **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast span...

In this episode, Anna Rose and Tarun Chitra chat with Vlad and Murat from Lighter, a ZK-powered perp DEX on Ethereum. They explore how perps, short for perpetuals/perpetual trades, emerged as a crypto invention, how the exchanges offering perps evolved over the years, and the tradeoff space between transparency and privacy, specifically for marketmakers. Vladimir discusses the advantage of building a perp DEX with a team consisting of both quants and engineers. They also cover how ZK has come to be used in some projects but not others, what opportunities verifiability can unlock, and why their project favored building custom ZK circuits over using existing zkVMs.   Related links: ZK Whiteboard Sessions  zkLighter White Paper A primer on perpetuals Hyperliquid docs dYdX GMX Lighter Discord     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 * a...

In this episode, Anna Rose and Nico Mohnblatt catch up with Justin Drake from the Ethereum Foundation to explore Ethproofs, asking what exactly is Ethproofs: is it a meme, a platform, a benchmarking effort and/or an emerging community? Justin shares the emergence of the project within the EF, the influences that shaped it and what Ethproofs comprises of today. He also shares the goals of the project and how this initiative supports the snarkification of the EVM by providing standardized benchmarks for the growing ecosystem of zkVMs. Their discussion covers the evolution from monolithic zkEVM approaches to RISC-V-based systems, and movement towards mandatory proofs and eventual zkVM enshrinement.   Related links: Episode 369: Ligero for Memory-Efficient ZK with Muthu Episode 321: STIR with Gal Arnon & Giacomo Fenzi Episode 258: Ultrasound Money & VRFs with Justin Drake Episode 120: ZKPs in Ethereum with Vitalik Buterin & Justin Drake Episode 74: Blockchain 101: Randomness and Random Beacons with Justin Drake ZK11: SNARK proving ASICs - Justin Drake L2BEAT Picus  Announcing Protocol     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

In this episode, Anna Rose and Kobi Gurkan chat with Vikas Rushi from PSE, and Ying Tong to explore two topics at the intersection of ZK and the real-world data: zkPDF and zkID.  First they dive into zkPDF, a set of tools for proving facts on digitally signed PDFs. Vikas talks about the challenges of parsing data inside zkVMs—working with decades-old specifications that use many different encodings, and tackling practical use-cases like bank statements and ID verification. They also explain how issuers, such as India’s DigiLocker, can generate proofs in a way that protects individual privacy. Next they cover zkID and the EF’s work on building a system that would meet the EU’s Digital Identity Framework requirements ahead of its 2026 rollout. Ying Tong explains how the EF’s work on zkID differs from existing zk-based identity projects, particularly through its device-binding requirements, the cryptographic community’s feedback to the EU Commission, the trade-offs between proof systems, PSE’s work on standards and more. They wrap up with a chat about the challenges of revocation in both systems, and what’s next for the projects.  Related links: Episode 367: Local-First with grjte and Goblin Oats Episode 366: Bringing ID Onchain with Self Episode 363: Bringing ZK to Google Wallet with Abhi and Matteo Episode 362: zkTLS with Maddy from Reclaim Episode 358: Building ZK Registries Onchain with Rarimo Episode 353: Making ZK More Human with ZK Email Episode 330: Frameworks for Programmable Privacy with Ying Tong and Bryan Gillespie Community Privacy Residency Anon Aadhaar DigiLocker a...

In this episode, Anna Rose and Tarun Chitra chat with Miranda Christ, a computer science PhD student at Columbia University, about the intersection of cryptography and AI through watermarking techniques. Miranda shares her research on developing imperceptible ways to prove that content was created by AI models, covering everything from simple red-green word lists to sophisticated pseudorandom error-correcting codes.   The discussion explores the cryptographic properties of watermarks - including completeness, soundness, and undetectability - and how these parallel the properties we see in zero-knowledge proof systems. Miranda explains how watermarking differs from other cryptographic approaches like ZKML by only modifying the sampling process rather than the underlying model weights, making it computationally lightweight and practical for deployment.   Related links: Episode 206: Distilling DeFi Primitives with Guillermo, Alex and Tarun My AI Safety Lecture for UT Effective Altruism Google SynthID Amazon Public Watermark Detector How ChatGPT could embed a ‘watermark’ in the text it generates - New York Times Wall Street Journal on OpenAI not Deploying Watermarks A Watermark for Large Language Models Undetectable Watermarks for Language Models Watermarks in the Sand: Impossibility of Strong Watermarking for Generative Models Pseudorandom Error-Correcting Codes Ideal Pseudorandom Codes     Check out the latest jobs in ZK at the ZK Podcast Jobs Board

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...

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 a...

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:** * a

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 a...

In this episode, Anna Rose speaks with Florent Tavernier from Self and Marek Olszewski from Self and Celo to explore how Self are bringing identity onchain using ZK, the Sybil protection that offers, and the origins of OpenPassport. The discussion covers Self's approach to supporting different forms of ID, the challenges of disparate cryptographic standards, and how government signatures can be used to bootstrap onchain identity systems.  Related links: Self Protocol on X/Twitter Episode 364: AI and ZK Auditing with David Wong Episode 363: Bringing ZK to Google Wallet with Abhi and Matteo Episode 358: Building ZK Registries Onchain with Rarimo Episode 93: Light clients & ZKPs with Celo Celo ZK Email Modular Summit 3 panel (with Florent and Anna) Plumo: An Ultralight Blockchain Client 0xPARC MiniPay Map of each country’s cryptography choices Aadhaar p0tion: Toolkit for Groth16 Phase 2 Trusted Setup ceremonies.     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 a...

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

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 span...

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

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...

In this episode, Anna and Nico speak with Matthew Klein and Albert Garreta from Nethermind 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 Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał & Albert Episode 277: Nova and Beyond with Srinath Setty ZK Whiteboard Sessions S2M6: An Update on Folding with Albert Garreta Nethermind’s LatticeFold implementation Ajtai vs Merkle vs Pedersen LatticeFold paper LatticeFold+ paper Neo paper LaBRADOR paper Zinc integer-based constraints FLI: Folding Lookup Instances paper       ZK Hack Berlin happens on June 20 - 22! Apply now at zkberlin.com     **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter span...