Zero Knowledge

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 MatteoEpisode 326: MPC & ZK in Ligero and LigetronZK13: Ligerito: A Small and Concretely Fast Polynomial Commitment Scheme - Kobi GurkanZK13: 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 SchemeLigero++ - Reducing proof length of LigeroAdding Zero-Knowledge to STARKs - Talk by Ulrich HaböckAurora - comparing prover times of STARKs vs LigeroWYSTERIA: A Programming Language for Generic, Mixed-Mode Multiparty ComputationsSamaritan: Linear-time Prover SNARK from New Multilinear Polynomial CommitmentsBrakedown: Linear-time and field-agnostic SNARKs for R1CSIntro to MPC-in-the-Head     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 * BTC - Donation address * SOL - Donation address * ZEC - Donation address Read transcript

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:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address   Read transcript

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 @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address Read transcript

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

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 YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address Read transcript

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 * BTC - Donation address * SOL - Donation address Read transcript

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 beboundless.xyz --------------- **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 transcript

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 transcript

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 @zeroknowledgefm * Join us on Telegram * Catch us on YouTube Read transcript

In this episode, Anna and Guillermo are joined by Alex Obadia and Nicola Greco, co-authors of the Quantum Punks Manifesto, 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 Episode 288: Quantum Cryptography with Or Sattath Episode 357: Quantum Engineering with Jelena Vučković Paris Workshop Video Playlist Teleport.Best Flashbots Project Aria Protocol Labs Conjugate Coding BB84: Quantum cryptography: Public key distribution and coin tossing   Further reading: The Coming Wave: New Applications of Quantum Cryptography -- Nicola Greco (DeepQuantum) Quantum Punks’ meta-list of resources Quantum cryptography with classical communication: parallel remote state preparation for copy-protection, verification, and more by Gheorghiu, Metger and Poremba Colbeck, R. (2006) Quantum And Relativistic Protocols For Secure Multi-Party Computation (Device Independence) Quantum bidding in Bridge by Muhammad, Tavakoli, Kurant, Pawlowski, Zukowski and Bourennane Coordinating Decisions via Quantum Telepathy by Ding and Jiang   ---------------   zkSummit13 happens next week! Buy your ticket now at www.zksummit.com.   ---------------   Missing Link 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.   ---------------   **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 Read transcript

In this episode, Anna and Nico speak with Vadim Lyubashevsky, research scientist at IBM Research, about the evolving field of lattice-based cryptography and its role in zero-knowledge systems. Vadim shares the history and mathematical foundations of lattices, and explains how they might be used to build post-quantum secure ZK proofs and SNARKs. The conversation covers the unique challenges of adapting lattice techniques to zero-knowledge, explores the tradeoffs relative to hash-based constructions, and highlights the importance of developing quantum-safe standards for the future of cryptography. Related links: Episode 345: Latest ZK Research with Dan Boneh Episode 288: Quantum Cryptography with Or Sattath LaBRADOR: Compact Proofs for R1CS from Module-SIS⋆ IBM’s post-quantum NIST published standards Project11 Minkowski’s Geometry of Numbers LLL reduction Shortest vector problem Basic Lattice Cryptography: The concepts behind Kyber (ML-KEM) and Dilithium (ML-DSA) by Vadim Lyubashevsky     Spots for zkSummit13 are limited - grab your ticket at www.zksummit.com!     Missing Link 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.     **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     Read transcript

This week, Anna speaks with Lasha Antadze, co-founder of Rarilabs and Rarimo, about the evolution of digital identity systems. Lasha shares his journey from working with government eID systems to building decentralized identity solutions using zero-knowledge proofs. The conversation explores how Rarimo is taking a fundamentally different approach to identity verification by keeping all processing client-side, from passport scanning to biometric verification. This enables new use cases like censorship-resistant voting systems and privacy-preserving account recovery, while avoiding the traditional pitfalls of centralized identity providers. The discussion also covers the challenges of building trust in cryptographic systems, the potential applications of client-side ZK proofs for AI governance, and how Rarimo is working to make identity tools that are both powerful and accessible to everyday users. This episode provides a fascinating look at how zero-knowledge proofs are reshaping our understanding of digital identity and privacy. Further reading: On-Chain Reputation & Identity Building with Sismo Coordinating Provers with Norbert from ZkCloud STORK 2.0 eIDAS Freedomtool Account recovery demo at Denver     Spots for zkSummit13 are limited - grab your ticket at www.zksummit.com!     Missing Link 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.     **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   Read transcript

In this episode, Anna and Guillermo speak with Professor Jelena Vučković from Stanford's Nanoscale and Quantum Photonics Lab about the fascinating world of quantum engineering. Jelena explains different quantum technology platforms and how quantum entanglement serves as the foundation for various applications such as eavesdropping detection. They explore how researchers are developing chip-scale quantum systems and the significant implications these technologies have for secure communication and cryptography.   Related links: Episode 288: Quantum Cryptography with Or Sattath WHIR: Reed–Solomon Proximity Testing with Super-Fast Verification BB84: Quantum cryptography: Public key distribution and coin tossing BBM92: Quantum Cryptography Without Bell's Theorem Stanford Nanoscale Quantum Photonics Group Github Stanford Nanoscale and Quantum Photonics Lab Photonics: Practical & Optimized: A Talk by Jelena Accelerator that fits on a chip work by Jelena     Spots for zkSummit13 are limited - grab your ticket at www.zksummit.com     Missing Link 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.     **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 Read transcript

In this episode Anna explores the contentious topic of ZK benchmarking with Conner Swann, founder of ProofLab. Drawing parallels with AI's development, they explore how tools like ProofLab could help standardize benchmarking across dimensions like speed, cost, and security. The conversation touches on the importance of formal verification and real-world workload testing, while considering how better benchmarking could accelerate ZK adoption and potentially lead to ZK's own 'ChatGPT moment' Related links: zkSummit The Zero-Knowledge Community Survey NoirHack Noir ethProofs Designing Optimistic Interoperability with Nomad Trusted Setup Ceremonies Explored Anna’s Post on Benchmarking The path to secure and efficient zkVMs: How to track progress Ben Fisch on Limiting Factors of Verifiable Compute ZKarnage Further reading: Celo Espero ceremony ZKVM Benchmarking The same thing that happened to AI is Happening to ZK     Applications for zkSummit13 are open, spots are limited for this edition so apply soon (www.zksummit.com) if you want to join.     ZK is finally easy with Noir, the fastest-growing zero-knowledge programming language. Build privacy-preserving apps without any ZK experience. Aztec Labs is running a 4 week program, Noir Hack, with $200K in funding and grants. Sign up now at noirhack.com.     **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       Read transcript

In this episode Anna dives back into the topic of prover networks & prover marketplaces with Norbert Vadas, Head of Product at ZkCloud. They kick off by mapping out different actors in the ZK supply chain, and then cover the variety of approaches and economic models behind prover marketplaces. They explore the ZkCloud system before diving into Norbert’s perspective on the future of large-scale, industrial-grade ZK proving and what that will unlock. Related links: ZKV ZK Hack Kraków Mina Snarketplace Mina: What are SNARK workers and the Snarketplace Gevulot ZkCloud EthCC Paris: Toghrul Maharramov - Multi-Verifiers as a Hedge Against Bridge Vulnerabilities RISC Zero Bonsai Polygon zkEVM GitHub: Aztec Protocol Barretenberg ZK11: SNARK proving ASICs - Justin Drake     Applications for zkSummit13 are now open, early bird tickets close this week! Apply now at www.zksummit.com.     ZK is finally easy with Noir, the fastest-growing zero-knowledge programming language. Build privacy-preserving apps without any ZK experience. Aztec Labs is running a 4 week program, Noir Hack, with $200K in funding and grants. Sign up now at noirhack.com.     **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 Read transcript

This week, we present the third installment in the Zero Knowledge Systems story. In this episode, Anna chats with Austin Hill, one of the original founders of Zero Knowledge Systems. They explore the company’s early days, Austin’s background in tech, and what this scene in Montreal was like in the late ’90s. The conversation covers fundraising during the dot-com boom, Zero Knowledge Systems’s ambitious vision for internet privacy, its flagship product Freedom, and how the company pivoted from a broad individual privacy mission to a more focused B2B approach. They cover Austin’s journey after ZKS—including how he discovered Bitcoin, co-founded Blockstream, and navigated the challenges of building a business around open-source infrastructure. He also discusses a new project he's involved in, which ventures into a completely different field—material nanotechnology. We encourage you to check out the first two episodes of the series here and here before diving into this one.   Related links: Part 1: Back to the Future with Zero Knowledge Part 2: Zero Knowledge Systems, Privacy and Security with Jonathan Wilkins Zero Knowledge Enemy of the State Shift Article Knowing Glances: Understanding Infrastructures of Surveillance Further reading: Zero Knowledge Systems Wikipedia Blockstream Website Wired Article: Zero-Knowledge: Nothing Personal News Burst: Zero-Knowledge open sources Freedom Zero-Knowledge Systems Introduces Security and Privacy Tool Suite Interview: Austin Hill On Blockstream, Open Source And Privacy     Applications for zkSummit13 are open, spots are limited for this edition so apply soon (www.zksummit.com) if you want to join.     **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 Read transcript

This week Anna catches up with Aayush Gupta from ZK Email, covering the latest developments and real-world applications of the ZK Email protocol. They explore how the project serves as a bridge between Web2 systems and Web3 infrastructure and go on to discuss use cases like wallet-based account recovery, anonymous reputation-based communication, and digital provenance verification. This was an exploration of novel ZK use cases, which is something we love to cover - so we hope you enjoy it! Related links: ZK Email Website ZKP2P with Brian & Richard Modular Summit 3.0 Panel: ZK Applications ZK12: Future of ZK Applications with Anna & Friends ZK for web2 interop with zkLogin & ZK Email ZK Email: Making Airdrops More Human     Applications for zkSummit13 are open, spots are limited for this edition so apply soon (www.zksummit.com) if you want to join.     Missing Link 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.     **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 Read transcript

This week Anna chats with Jeffrey Scholz, founder of RareSkills. They discuss onboarding developers into ZK and dive into RareSkills' education program via The ZK Book and their ZK bootcamps. They explore strategies for breaking down complex topics, decisions on curriculum design, tool selection, and methodologies for enabling self-sufficient learning. A great listen for the listeners who want to learn ZK and are trying to figure out how to approach the challenge. Related links: RareSkills Website ZK HACK Website ZK HACK Whiteboard Sessions RareSkills ZK Book Jeffrey Scholz on Medium Jeffrey Scholz’s course on Udemy Consensys Bootcamp in 2021 Encode Club ZK Podcast Episode 309 - ZK Jargon Decoder with Nico Mohnblatt video ZK HACK - Thaler Book Study Group Playlist on YouTube The MoonMath Manual to zk-SNARKs by Least Authority     Applications for zkSummit13 are now open, spots are limited for this edition so apply soon (www.zksummit.com) if you want to join.     Missing Link 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. **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 Read transcript

This week Anna jumps back into the story of Zero Knowledge Systems with Jonathan Wilkins, cofounder Blockstream and Cloaked Services and previous employee of ZKS back in 2000. They explore the emergence of security culture in the 1990s, what led Jonathan to join Zero Knowledge Systems and his experience working on projects such as the Freedom Network. They discuss the office atmosphere and the research lab before catching up on the work Jonathan has focused on since then. Key concepts we see in the ZK community today were first pioneered by the Zero Knowledge Systems research team and we hope to invite more of these past members of the team in the future! Related links: Podcast Episode: Back to the Future with Zero Knowledge iSEC Partners X.25 Networks 2600 Meetups C++ Builder Delphi ‘Zero-Knowledge: Nothing Personal’ - Wired Handbook of Applied Cryptography by Alfred J. Menezes, Paul C. van Oorschot and Scott A. Vanstone Ian Goldberg profile Adam Schostack - Schostack + Associates Adam Back Twitter Austin Hill Twitter Bitcointalk Tor Network Freedom Network excerpt by ScienceDirect         Applications for zkSummit13 are now open, spots are limited for this edition so apply soon (www.zksummit.com) if you want to join.     **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 Read transcript

This week Anna and Tarun chat with Mert Mumtaz. Mert is the co-founder and CEO of Helius and is known for his contributions to the Solana ecosystem. They explore Mert’s background, his entry into the space, and his experiences during the 2022 market downturn and subsequent recovery. The conversation covers Solana’s positioning within the broader blockchain landscape and includes an overview of emerging ZK projects in the ecosystem. Related links: Zero-Knowledge Proofs: Its Applications on Solana Episode 135 - Look into Solana Solana projects mentioned: Backpack, Anza, Gido, Jupiter ZK projects mentioned: Phantom, Elusiv, Light Protocol, Dark Protocol Solana Token Extensions --------------- Applications for zkSummit13 are now open, spots are limited for this edition so apply soon (www.zksummit.com) if you want to join. --------------- **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 Read transcript

Read transcript This week Anna catches up with Nico, Guillermo and Alex from Bain Capital Crypto to discuss two of their recent works; ZODA: Zero-Overhead Data Availability by the trio and The Accidental Computer by Alex & Guille. The group starts with a discussion about how papers like FRIDA and Foundations of Data Availability Sampling inspired ZODA and then cover the innovations presented in ZODA itself. They wrap up with a discussion about The Accidental Computer, and in doing so tease out some of the fundamental concepts in current ZK research.   Related links: ZK Podcast: Disclosures ZODA: Zero-Overhead Data Availability by Alex Evans, Guillermo Angeris and Nico Mohnblatt FRIDA: Data Availability Sampling from FRI by Mathias Hall-Andersen, Mark Simkin and Benedikt Wagner Foundations of Data Availability Sampling by Mathias Hall-Andersen, Mark Simkin and Benedikt Wagner The Accidental Computer: Polynomial Commitments from Data Availability by Alex Evans and Guillermo Angeris Guille's Tweet “anon, what if I told you that you can prove the correctness of the largest celestia block in <200ms on a single core of an mba” Bain Capital Crypto Blog   ---------------   Applications for zkSummit13 are now open, spots are limited for this edition so apply soon (www.zksummit.com) if you want to join. The deadline for Speaker applications is March 15th!   ---------------   IF YOU LIKE WHAT WE DO: Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletter Follow us on X @zeroknowledgefm Join us on Telegram Catch us on YouTube ZK Podcast website Read transcript

This week, Anna and Nico chat with Andrew Lu and Vivek Bhupatiraju from Cursive. They map out the timeline of their in-person activations and experiments using programmable cryptography, which they have been running since late 2023. By quickly developing small applications and products to test with real users, they have gathered tangible data about these innovations at various live conferences worldwide, including our own flagship events, zkSummit11 and zkSummit12. They share the challenges and insights gained from these experimental products. Additionally, they share the concepts that inspired their innovations, such as digital pheromones and narrowcasting. Related links: Zupass ZK for web2 interop with zkLogin & ZK Email Cursive ETH Denver Building cryptographic apps for human connection - Vivek Bhupatiraju & Andrew Lu Phantom Zone GitHub Frontiers by Paradigm --------------- Applications for zkSummit13 are now open, spots are limited for this edition so >> apply soon << if you want to join. --------------- IF YOU LIKE WHAT WE DO: Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletter Follow us on X @zeroknowledgefm Join us on Telegram Catch us on YouTube ZK Podcast website Read transcript

We’re back with a new look and a new jingle! In this episode, ZK Podcast returns, and host Anna Rose shares a story from her past that strangely connects to the present day and the name "Zero Knowledge." Listen in as we kick off the show once again. Applications for zkSummit13 are now open, apply for your spot here. Check out the latest jobs in ZK at the ZK Podcast jobs board. Zero Knowledge Systems on Wikipedia IF YOU LIKE WHAT WE DO: Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletter Follow us on X @zeroknowledgefm Join us on Telegram Catch us on YouTube ZK Podcast website Read transcript

SummaryThis week, Anna catches up with cohosts, Tarun, Nico and Guillermo to do a look back at the zk research and applications that came out in 2024. They go on to discuss the challenges facing the ecosystem. And they wrap with a brief look forward, covering what to expect in ZK in 2025. This will be the last ep of 2024, thank you for joining us this year! Further Reading: ZK12: Welcome to zkSummit & Sponsor Intro - Anna RoseCircle STARKs by Haböck, Levit and PapiniStarkWare Unveils New 'Stwo' Cryptographic Prover That's 'Blazingly Fast'ZK12: WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification by Eylon YogevEpisode 290: Exploring, Teaching and Auditing ZK with David Wong Episode 345: Latest ZK Research with Dan Boneh LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems by Dan Boneh and Binyi ChenLaBRADOR: Compact Proofs for R1CS from Module-SIS? by Ward Beullens and Gregor SeilerQuantum Algorithms for Lattice Problems by Yilei ChenEpisode 325: Web Proofs with Tracy from Pluto ZODA: Zero-Overhead Data Availability by Evans, Mohnblatt and AngerisCheck out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

SummaryIn this week’s episode, Anna catches up with Dan Boneh, Professor of Computer Science and Electrical Engineering, Stanford University. They discuss the focus of his research today, covering new ZK research problems and themes. This includes work on lattice-based SNARKs, ZK for content provenance, ZK in the FHE context, updates on ZK in ML and more!Here’s some additional links for this episode:Episode 256: New ZK Use Cases with Dan BonehEpisode 100: Dan Boneh on the past, present & future of cryptographyEpisode 341: coSNARKs with Ais and Lukas from TACEOLaBRADOR: Compact Proofs for R1CS from Module-SIS? Ward Beullens and Gregor SeilerBulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Poelstra, Wuille, and MaxwellGreyhound: Fast Polynomial Commitments from Lattices by Nguyen and SeilerLatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems Dan Boneh and Binyi ChenProtostar: Generic Efficient Accumulation/Folding for Special-sound Protocols by Bünz and Chen BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes by Zeilberger, Chen and Fisch Blaze: Fast SNARKs from Interleaved RAA Codes by Brehm, Chen, Fisch, Resch, Rothblum and ZeilbergerEpisode 277: Nova and Beyond with Srinath Setty Verifiable FHE via Lattice-based SNARKs by Atapoor, Baghery, Pereira and Spiessens ARC: Accumulation for Reed–Solomon Codes by Bünz, Mishra, Nguyen and WangVerITAS: Verifying Image Transformations at Scale by Datta, Chen and Boneh ZK Whiteboard Sessions - Module One: What is a SNARK? by Dan Boneh ZK Hack V kicks off this week, running from Nov 26 to Dec 17! Sign up for your spot here. Check out the latest jobs in ZK at the ZK Podcast jobs board here! Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/.If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

SummaryThis week, Anna and Nico take a look back at some of the ZK Events produced in 2024 by the ZK Podcast, ZK Hack and other adjacent projects. Starting with the live ZK Jargon Decoder hosted in January and spanning the 10 months since, Anna and Nico share behind-the-scenes anecdotes, highlight key talks from the events and share some insight into how the programs for the zkSummit events are created. They wrapped with a summary of some of the themes in ZK that got them talking this year and are tracking going forward.Don’t forget, this is the last episode of ZK Podcast before we take a pause in weekly shows for the rest of 2024 - but don’t worry we will be back! Further Reading:ZK HACK IV - ZK Jargon DecoderEpisode 309 - ZK Jargon Decoder with Nico MohnblattZK Hack MontréalUnder The Hood of zkID: - Nicolas Mohnblatt - Web3 Summit 2024 BerlinPanel Discussion w/ Anna Rose, Jim Posen, Nicolas Mohnblatt - Web3 Summit 2024 BerlinzkSummit WebsitezkSummit11 PlaylistzkSummit12 Live LinkEpisode 338: On Trust Infrastructure with Arnaud SchenkPanel: ZK ApplicationsZK Whiteboard Sessions - S2M1: What is Zero-Knowledge (like, actually)? with David WongWhile the show is taking a break, be sure to check out the ZK Whiteboard Sessions that are being produced by ZK HackCheck out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fmEpisode SponsorsHave you heard about o1Labs?From o1js, their SDK for simplifying zk development, to o1VM pushing the limits of zkVMs, o1Labs is working directly with the community to build tools that unlock new possibilities.Visit o1labs.org and join them as they shape the future of the zk-powered internet.A new era of decentralized, privacy-preserving computing is here.Aleo recently announced their mainnet launch. Start by learning their domain specific programming language, Leo, to write and deploy your first ZK application at leo-lang.org, or head on over to aleo.org to learn more about our technology and what you can build.If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefm Join us on TelegramCatch us on YouTube

SummaryThis week Anna chats with Mikerah Quintyne-Collins from HashCloak and Stoffel Labs. They discuss how Mikerah got her start in the crypto space and then dive into the work she did at ChainSafe and eventually at HashCloak. They cover Mikerah’s work on privacy preserving tech like ZK, TEE and MPC and learn about what drives her tweet game and the wisdom she has picked up over the years as a technical founder, driven by curiosity… and memes. Here’s some additional links for this episode:ZK Mesh@badcryptobitch TwitterEpisode 40: Benedikt Bünz on Bulletproofs and Verifiable Delay FunctionsEthereum Founder Vitalik talk 2017- What is Cryptoeconomics? “I will quite literally drop out if we got $100k in ETH” Tweet by Mikerah “I am being told I should brag more about co-inventing rollups” Tweet by MikerahBuilding Scalable Decentralized Payment Systems by Adlerand Quintyne-CollinsCheck out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm Episode SponsorAleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/.If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

SummaryThis week Anna catches up with Zac Williamson & Ariel Gabizon from Aztec. They cover what each has been working on over the last year, Zac shared updates about the development of Aztec and the finalization of their underlying ZK system: MegaPlonk. Ariel discussed his latest research on IVC with his publications of the ProtoGalaxy and Stackproofs works and how properties of this systems brought him and Zac to start working together again. Here’s some additional links for this episode:Episode 273: History of Plonk, Noir, and the building of Aztec 3 Episode 274: SNARKs: A Trilogy with Ariel GabizonzkSummit: plookup: Speeding up the PLONK prover - Zac Williamson & Ariel Gabizon ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances by Liam Eagen and Ariel GabizonHyperNova: Recursive arguments for customizable constraint systems by Kothapalli and SettyProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols by Bünz and Chencq: Cached quotients for fast lookups by Eagen, Fiore and GabizonDelegating Computation: Interactive Proofs for Muggles by Goldwasser, Kalai and RothblumUnlocking the lookup singularity with Lasso by Setty, Thaler and Wahby Stackproofs: Private proofs of stack and contract execution using Protogalaxy by Eagen, Gabizon, Sefranek, Towa and Williamson Accumulation without Homomorphism by Bünz, Mishra, Nguyen and WangAztec.networkCheck out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm zkSummit12 is happening in Lisbon next week on Oct 8th! Buy your ticket at zksummit.com, spots are limited!Episode SponsorsAttention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com.Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/.If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

SummaryThis week Anna and Nico chat with Lukas Helminger and Ais Connolly from TACEO. They discuss Lukas & Ais’ early work in cryptography and privacy preserving technologies, the founding of TACEO and their recent work on coSNARKs - or Collaborative SNARKs - that combine MPC and ZK. They explore how these coSNARKs are created, their coCircom language, the characteristics of these systems as well as how they can be applied in the real world.Here’s some additional links for this episode:TACEO TACEO Docs TACEO GitHub Hashing it out: coSNARKs at TACEO Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets by Ozdemir and BonehPrivately Connecting Mobility to Infectious Diseases via Applied Cryptography Bampoulidis, Bruni, Helminger, Kales, Rechberger, and WalchLarge-Scale MPC: Scaling Private Iris Code Uniqueness Checks to Millions of Users by Bloemen, Kales, Sippl and WalchCollaborative SNARKs by Roman WalchNotes on Collaborative zkSNARKsMPC Primer - coCircomZK Podcast clip about Collaborative Zero-Knowledge Proofs from Episode 256: New ZK Use Cases with Dan BonehcoSNARKs - coCircomExploring Collaborative Zero-Knowledge ProofsZK11: MPC-Enabled Proof Markets - Daniel KalescoCircom RepocoSNARKs Demo: Max Pick ChallengeMPC Uniqueness Check GitHubcoSNARKs Telegram ChannelCheck out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com, apply today as spots are limited!Episode SponsorsAttention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com.Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/.If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

SummaryThis week Anna and Zaki Manian dive into the Cosmos ecosystem and ask the question: is Cosmos Dead? They explore key events, teams and players who worked on Cosmos during different eras before teasing out the strengths and structural flaws that made the project what it is today. The conversation wraps with a discussion around new initiatives aimed at reviving the ecosystem and aligning factions in Cosmos together towards a central goal. Here’s some additional links for this episode:Episode 286: Paris 2023 Recap with Uma, Zaki and TarunEpisode 263: Cosmos, Sommelier and Emerging Assets with Zaki ManianEpisode 337: Restaking Research with Naveen & Tarun Cosmos SDK GitHub Cosmos WebsiteCosmos SDK Documentation Privacy in Cosmos Live: Zaki Manian (Sommelier)- The Unbearable Weight of Sovereign Multichain UX Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com, apply today as spots are limited!Episode SponsorsGet ready to build with intention. Anoma is the universal intent machine, introducing a new era of applications where you define the outcomes you want. Follow Anoma on X to learn more at x.com/anomaAleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

SummaryIn this week’s episode, Anna and Tarun catch up with Andrew Miller. They cover his early work on consensus, ZK and MPC before switching focus to the topic of his current work: TEEs. They map his evolving opinion on TEEs and explore why they could be seen as an optimal solution to many of the blockchain challenges. Here’s some additional links for this episode:Andrew Miller worksSoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies by Bonneau, Miller, Clark, Narayanan, Kroll, Felten Zerocash: Decentralized Anonymous Payments from Bitcoin by Ben-Sasson, Chiesa, Garman, Green, Miers, Tromer, and Virza The Honey Badger of BFT Protocols by Miller, Xia, Croman, Shi, and SongDelegaTEE: Brokered Delegation Using Trusted Execution Environments byMatetic, Schneider, Miller, Juels and CapkunRatel: MPC-extensions for Smart Contracts by Li, Soska, Huang, Bellemare, Quintyne-Collins, Wang, Liu, Song and MillerEkiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts by Cheng, Zhang, Kos, He, Hynes, Johnson, Juels, Miller and SongDemo of IT from Xyn and RyanComplete Knowledge: Preventing Encumbrance of Cryptographic Secrets by Kelkar, Babel, Daian, Austgen, Buterin and JuelsOff-Chain Coordination via Liquefaction - James Austgen | MEV-SBC ’24This week Anna and Zaki Manian dive into the Cosmos ecosystem and ask the question: is Cosmos Dead? zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com, apply today as tickets are limited!Episode SponsorsAttention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com.Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/.If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

SummaryThis week Anna and Nico chat with Arnaud Schenk, one of the original co-founders of Aztec and creator of the Polaris Fellowship. They discuss Arnaud’s recent blog post ‘On Trust Infrastructure’, exploring the down sides of a trustless system, the need to make online community building more possible and how programmable cryptography may play a role in these solutions. They explore the history of computer culture, the rejection of institutions by mid-90s internet culture and how the seeds for this were set by the 60s counterculture. Here’s some additional links for this episode:05:09 * Episode 75: Exploring Aztec with Zac Williamson05:09 * Episode 176: Zk-zk-rollup & zk.money with Zac and Joe from Aztec05:09 * Episode 273: History of Plonk, Noir, and the building of Aztec 307:38 * Episode 237: Exploring ZK Research with Jens Groth 20:01 * Into the deep end: making sense of PLONK - Zac Williamson (CTO, Aztec Protocol)23:55 * Collaborative Circles: Friendship Dynamics and Creative Work by Michael P. Farrell 27:05 * No Sense of Place: The Impact of Electronic Media on Social Behavior by Joshua Meyrowitz 29:33 * On Trust Infrastructure by Arnaud Schenk39:28 * Crypto's Three Body Problem by Lotti, Shorin, Hart48:13 * Plurality philosophy in an incredibly oversized nutshell by Vitalik Buterin52:21 * From Counterculture to Cyberculture: Stewart Brand, the Whole Earth Network, and the Rise of Digital Utopianism by Fred Turner 52:21 * The Electric Kool-Aid Acid Test by Tom Wolfe On Crypto Article by Arnaud SchenkKnot Group WikiCheck out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com, apply today as early bird tickets are limited!Episode SponsorsAttention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com.Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/.If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

SummaryIn this week’s episode Anna and Tarun chat with Naveen Durvasula about his recent work ‘Robust Restaking Networks’. They discuss Naveen’s early work on matching markets and how this led him to work on mechanism design before exploring how the concepts of restaking were first presented, and how both Naveen and Tarun have been working to better model the mechanisms underpinning restaking, to understand how they work and how they can be optimized. Further Reading:Robust Restaking Networks by Naveen Durvasula and Tim RoughgardenEigenLayer: The Restaking Collective EigenLayer TeamGeneral Bio + Previous Research of Naveen Durvasula Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com, apply today as early bird tickets are limited!Episode SponsorsAttention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com.Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/.If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

SummaryIn this week’s episode, Anna chats with Connor O’Hara from Celestia. After discussing the latest ZK Hack Montréal event where Connor was a judge, they dive into his professional background, the ecosystems he has been a part of and what led him to work on Celestia. They then discuss various ZK-focused initiatives within the Celestia ecosystem.Here’s some additional links for this episode:Episode 311: The Launch of Celestia and Beyond 03:22 ZK Hack Montréal 08:08 ZK Hack Devfolio24:33 Episode 151: John Adler on Optimistic vs ZK Rollup and the data availability problem30:24 Episode 208: Digging into Data Availability with Ismail Khoffi from Celestia41:26 Episode 220: The Road to Plonky2 with Brendan and Daniel from Polygon Zero46:49 Vitalik Buterin Endgame Blog Post 49:41 Light Nodes Everywhere: Why & How - Connor O'Hara at Modulard Summit 56:29 ZK11: 1 Circuit, 5 Rollups: Building a Re-Usable DA Integration for ZK Rollups - Connor O'HaraCheck out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm Episode SponsorsGet ready to build with intention. Anoma is the universal intent machine, introducing a new era of applications where you define the outcomes you want. Follow Anoma on X to learn more at x.com/anomaAleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/.If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

SummaryIn this week’s episode, Anna chats with Jens Groth and Daniel Marin from Nexus. They catch up on all things Groth16 with the author himself before diving into a variety topics, such as formal verification in the context of ZKPs, the Nexus architecture, the benefits and challenges of building a system from the ground up, folding and IVC plus the properties these offer in a zkVM context and much more. Here’s some additional links for this episode:ZKProof Conference in Berlin Nova: Recursive Zero-Knowledge Arguments from Folding Schemes by Kothapalli, Setty, and TziallaNexus zkVMEpisode 284: Using Formal Verification on ZK Systems with Jon Stephens Jens Groth Publication ListNexus Docs Nexus 1.0 MachineEnabling General-Purpose Verifiable Computing | Daniel Marin (Oct 2023) on YouTubeNexus 2.0 SETI@home zkSummit12 is happening in Lisbon on Oct 8th! Applications to speak or attend are now open at zksummit.com, speaker applications close TODAY (Aug 14th) and early bird tickets for attendance are limited!Launching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimized bridge.Follow Namada on Twitter @namada for more information and join the community on Discord. Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/.If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

Summary In this week’s episode, Anna and Guille catch up with Joe Bonneau, Assistant Professor at NYU and Research Partner at a16z crypto research. They discuss the research Joe has been working on since he was last on the show in 2019, including Naysayer proofs, Zero-Knowledge Middleboxes, Sealed-Bid Auctions, and other ZK-related research projects to date. Here’s some additional links for this episode:   Episode 103: Exploring VDFs with Joseph Bonneau Bitcoin and Cryptocurrency Technologies by Narayanan, Bonneau, Felten, Miller and Goldfeder Verifiable Delay Functions Dan Boneh, Joseph Bonneau, Benedikt Bunz, and Ben Fisch Naysayer proofs by Seres, Glaeser and Bonneau Sealed-Bid Auctions DARPA SIEVE Project Zombie: Middleboxes that Don’t Snoop by Zhang, DeStefano, Arun, Bonneau, Grubbs and Walfish Zero-Knowledge Middleboxes by Grubbs, Arun, Zhang, Bonneau and Walfish jbonneau.com Riggs: Decentralized Sealed-Bid Auctions by Tyagi, Arun, Freitag, Wahby and Mazières Cicada: A framework for private non-interactive on-chain auctions and voting by Glaeser, Seres, Zhu, and Bonneau Atomic and Fair Data Exchange via Blockchain by Tas, Seres, Zhang, Melczer, Kelkar, Bonneau and Nikolaenko Zero Knowledge Summit (zkSummit) 2024: Field notes   ZK Hack Montreal is happening on Aug 9 - 11. Don’t miss your chance to join, apply now to participate in the hackathon here.   zkSummit12 is happening in Lisbon on Oct 8th! Applications to speak or attend are now open at zksummit.com, speaker applications close Aug 15th and early bird tickets for attendance are limited!   Episode Sponsors   Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud!   Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com.   Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.   As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.   Dive deeper and discover more about Aleo at http://aleo.org/.   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 Read transcript

Summary In this week’s episode Anna chats with Ismael Hishon-Rezaizadeh, Founder and CEO at Lagrange Labs and Charalampos (Babis) Papamanthou, Head of Research at Lagrange and Co-Director of the Applied Cryptography Lab at Yale University. They revisit the concepts of zk-powered coprocessors and dive into the work that Charalampos did previous to joining Lagrange on Verifiable SQL. They then explore how this is incorporated into the Lagrange coprocessor system, the work they are doing on Reckle Trees, future work and what all this enables for dApp developers. They discuss their new prover marketplace, the general state of infrastructure and how they are keen to bring more concepts from general computing into decentralized blockchain systems.   Here’s some additional links for this episode:   Protocols for Public Key Cryptosystems by Ralph C. Merkle Certificate Revocation and Certificate Update by Naor and Nissim Episode 57: Merklize this! Merkle Trees & Patricia Tries Episode 327: Proof Aggregation with Shumo and Yi from NEBRA Reckle Trees: Updatable Merkle Batch Proofs with Applications by Papamanthou, Srinivasan, Gailly, Hishon-Rezaizadeh, Salumets and Golemac Lagrange Labs GitHub on Reckle Trees A Certified Digital Signature by Ralph C. Merkle   The Web3 Summit is back! The next edition will be happening in Berlin from Aug 19-21, you can head over to web3summit.com and use code ZKPOD50 to apply, learn more and grab your tickets today.   Episode Sponsors   Launching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimized bridge.   Follow Namada on Twitter @namada for more information and join the community on Discord.   Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.   As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.   Dive deeper and discover more about Aleo at http://aleo.org/.   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 Read transcript

Summary In this week’s episode, Anna and Tarun sit down with Hart Lambur irl at EthCC week in Brussels. They start by exploring Hart’s project Across - a cross-chain interoperability solution and sister project to Uma. They explore the Across construction, the tradeoff space and how this compares to other interop solutions. Then, in ZK Podcast tradition, the group shift gears with a few drinks and explore thoughtful observations on the week in Brussels. Here’s some additional links for this episode: Hart Lambur’s Twitter Uma Website Uma Docs Across Protocol Website Across Protocol Medium SchellingCoin: A Minimal-Trust Universal Data Feed ERC-7683 Cross Chain Intents Website Episode 286: Paris 2023 Recap with Uma, Zaki and Tarun Episode 292: State of ZK – Live at zkSummit10! Bell Curve Podcast - Deep Dive: The CAKE Framework & Building a One Click Experience | Hart Lambur & Stephane Gosselin ZK Whiteboard Sessions ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here.   Episode Sponsors   Launching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimized bridge.   Follow Namada on Twitter @namada for more information and join the community on Discord.   Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.   As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.   Dive deeper and discover more about Aleo at http://aleo.org/.   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 Read transcript

This week's ZK Podcast episode will be delayed to Thursday this week due to Brussels mania. In the meantime, we wanted to highlight the upcoming ZK Hack Montreal event, happening Aug 9-11 2024. This is the 4th IRL zk-focused hackathon produced by ZK Hack. Apply now to attend ZK Hack Montreal as a hacker and jump into zk. https://www.zkmontreal.com/ Find out more about ZK Hack & join the discord as well at https://zkhack.dev/

Summary In this week’s episode, Anna and Tarun meet with Varun Srinivasan, co-founder of Farcaster. They explore the Farcaster project, discussing the ideas that prompted its inception and what separates it from existing social media networks. The conversation explores the design space that Farcaster opens up for devs and the kinds of applications that can be built on top of it. Here’s some additional links for this episode: Farcaster Mastodon Diaspora Mastodon ActivityPub Secure Scuttlebutt Supercast Drakula What is Frames? Frames Spec Farcaster Frames: what you need to know Warpcast ZORA Surveycaster Blowfish OpenRank OpenRank Docs - Farcaster Integration Neynar ZK Hack Montreal is happening Aug 9 - 11! Apply to join the hackathon here.   Episode Sponsors   Gevulot is the first decentralized proving layer. With Gevulot, users can generate and verify proofs using any proof system, for any use case.   Gevulot is offering priority access to ZK Podcast listeners, register on gevulot.com and write “ZK Podcast” in the note field of the registration form!   Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.   As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.   Dive deeper and discover more about Aleo at http://aleo.org/.   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 Read transcript

Summary In this week’s episode, Anna and Guille chat with Ying Tong Lai from Geometry Research and Bryan Gillespie from Inversed Tech about their latest research and works to date. They dive into the pair’s recent work ‘SoK: Programmable Privacy in Distributed Systems’, exploring the classifications and frameworks being introduced. Here’s some additional links for this episode: SoK: Programmable Privacy in Distributed Systems by Benarroch, Gillespie, Lai and Miller Private Programmability in Zcash - Research Results and Community Discussion Zcash Halo2 GitHub Zk0x02 - An intro to Zcash and zkSNARKs - Ariel Gabizon (Zcash) Moving SNARKs from the generic to algebraic group model by Ariel Gabizon Explaining SNARKs Part I: Homomorphic Hidings by Ariel Gabizon Differential Privacy in Constant Function Market Makers by Chitra, Angeris and Evans A Note on Privacy in Constant Function Market Makers by Angeris, Evans and Chitra On Privacy Notions in Anonymous Communication by Kuhn, Beck, Schiffner, Jorswieck, and Strufe ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here.   Episode Sponsors   Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.   As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.   Dive deeper and discover more about Aleo at http://aleo.org/.   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 Read transcript

SummaryIn this week’s episode Anna and Nico chat with Alessandro Chiesa, Associate Professor at EPFL and Eylon Yogev, Professor at Bar-Ilan University. They discuss their recent publication; Building Cryptographic Proofs from Hash Functions, which provides a comprehensive and rigorous treatment of cryptographic proofs and goes on to analyze notable constructions of SNARGs based on ideal hash functions. Here’s some additional links for this episode:Building Cryptographic Proofs from Hash Functions by Chiesa and YogevEpisode 200: SNARK Research & Pedagogy with Alessandro ChiesaBarriers for Succinct Arguments in the Random Oracle Model by Chiesa and Eylon Yogev STIR: Reed–Solomon Proximity Testing with Fewer Queries by Arnon, Chiesa, Fenzi and Eylon Yogev ZK Podcast Episode 321: STIR with Gal Arnon & Giacomo Fenzi Computationally Sound Proofs by Micali Tight Security Bounds for Micali’s SNARGs by Chiesa and Yogev Interactive Oracle Proofs by Ben-Sasson, Chiesa, and Spooner Summer School on Probabilistic Proofs: Foundations and Frontiers of Probabilistic Proofs in Zürich, Switzerland Proofs, Arguments, and Zero-Knowledge by Thaler ZK HACK Discord and Justin Thaler Study ClubJustin Thaler Study Club by ZK HACK on YouTubeSubquadratic SNARGs in the Random Oracle Model by Chiesa and Yogev ZK Learning Course ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here. Episode SponsorsLaunching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimized bridge.Follow Namada on Twitter @namada for more information and join the community on Discord. Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/.If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

SummaryIn this week’s episode, Anna and Tarun chat with Sims Gautam and Liam Eagen from Alpen Labs. They dive into the world of Bitcoin L2s and focus on how ZK can be used to incorporate strong connections between Bitcoin and new execution environments. The group then explores BitVM, covenants, the distinction between the Bridge Operators and sequencers in this model and how this differs from how these actors work in Eth L2s. They then dive into SNARKnado, including what is happening under the hood, the ways in which this system offers round-based fraud games mixed with ZK and which agent provides DA and more. Here’s some additional links for this episode:Bulletproofs++: Next Generation Confidential Transactions via Reciprocal Set Membership Arguments by Eagen, Kanjalkar, Ruffing, Nick Bulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Andrew, Wuille, and Maxwell Zcash Website Protogalaxy: Efficient Protostar-style folding of multiple instances by Eagen and Gabizon cq: * Cached quotients for fast lookups by Eagen, Fiore and Gabizon Zerocoin: Anonymous Distributed E-Cash from Bitcoin by Miers, Garman, Green and Rubin Zerocash: Decentralized Anonymous Payments from Bitcoin (extended version) by Ben-Sasson, Chiesa, Garman, Green, Miers, Tromer and Virza Monero Ring SignaturesBlockstream Whitepapers Scalable, transparent, and post-quantum secure computational integrity by Ben-Sasson, Bentov, Horesh and Riabzev Ordinal Theory by Casey Rodarmor BitVM: Compute Anything on Bitcoin by Robin Linus BitVM 2 BitVM Website Jeremy Rubin Blog on Lamport Signatures Introducting SNARKnado by Alpen Labs ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here. Episode SponsorsGevulot is the first decentralized proving layer. With Gevulot, users can generate and verify proofs using any proof system, for any use case. Gevulot is offering priority access to ZK Podcast listeners, register on gevulot.com and write “Zk Podcast” in the note field of the registration form!Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.Dive deeper and discover more about Aleo at http://aleo.org/.If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

SummaryIn this week’s episode Anna chats with Shumo and Yi from NEBRA. They discuss how NEBRA UPA, or Universal Proof Aggregation, can mitigate the high price of putting ZKPs on-chain. They cover what it takes to incorporate proving systems into NEBRA UPA as well as the benefits that these systems will bring, how developers are meant to interact with them, and future integrations to enable seamless cross-zkRollup applications. They cover prover marketplaces, verification aggregation systems, and the design space that these systems open up. Here’s some additional links for this episode:NEBRANEBRA UPA DemoNEBRA DocsUPA Gas Costs by NEBRAMIT Bitcoin ClubfflonK: a Fast-Fourier inspired verifier efficient version of PlonK by Gabizon and WilliamsonUniPlonK: PlonK with Universal Verifier by Chu, Gomes, Iglesias, Norton and TebbsThe Web3 Summit is back!The next edition will be happening in Berlin from Aug 19-21! You can head over to web3summit.com to apply, learn more and grab your tickets today. Episode SponsorsLaunching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimized bridge.Follow Namada on Twitter @namada for more information and join the community on Discord discord.gg/namada. Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

There is no episode this week, but wanted to highlight the upcoming ZK Hack Montreal event, happening Aug 9-11 2024. This is the 4th IRL zk-focused hackathon produced by ZK Hack. Apply now to attend ZK Hack Montreal as a hacker and jump into zk. https://www.zkmontreal.com/ Find out more about ZK Hack as well at https://zkhack.dev/

SummaryIn this week’s episode Anna and Kobi chat with Muthu Venkitasubramaniam and Carmit Hazay from Ligero. They discuss their work on MPC and ZK for the last 20 years and how the research has evolved. They then dive into a nuanced conversation on how MPC & ZK are interrelated. The discuss Ligero, what led to the project and the early phases, as well as the new Ligetron system and how they plan on getting this technology into the wild. Here’s some additional links for this episode:LigeroLigero: Lightweight Sublinear Arguments Without a Trusted Setup by Ames, Hazay, Ishai and VenkitasubramaniamLigetron by LigeroLigetron: Lightweight Scalable End-to-End Zero-Knowledge Proofs. Post-Quantum ZK-SNARKs on a Browser by Wang, Hazay and Venkitasubramaniamℓ-Diversity: Privacy Beyond k-Anonymity by Machanavajjhala, Gehrke, Kifer and VenkitasubramaniamEfficient RSA Key Generation and Threshold Paillier in the Two-Party Setting by Hazay, Mikkelsen, Rabin, Toft and NicolosiMeshCal.comZero-Knowledge from Secure Multiparty Computation by Ishai, Kushilevitz, Ostrovsky and SahaiIntroduction to MPC-in-the-Head by Carmit HazayZKBoo: Faster Zero-Knowledge for Boolean Circuits by Giacomelli, Madsen and OrlandiEpisode 322: Definitions, Security and Sumcheck in ZK Systems with Justin ThalerCommunication complexity of secure computation by Franklin and YungZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here. Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

SummaryIn this week’s episode Anna chats with Tracy Livengood, co-founder of Pluto; an applied cryptography org building developer tools which add verifiable data from web data to an on-chain application, using ZK. They discuss Tracy’s move from being an engineer in Web2, what prompted his move into the decentralized web and how he eventually found his way into the ZK space. He shares the concept of ‘Web Proofs’, and how Pluto can use some of the TLSNotary stack to bring private web data into on-chain applications as well as a future tool set he hopes to develop with the project. Here’s some additional links for this episode:Pluto.xyzPluto Telegram ChannelDocs.Pluto.xyz0xParcSignal vs. Noise: How LLMs Broke the Internet and How ZK Proofs Are Going to Fix It by Tracy LivengoodSign up for zkMesh here! Gevulot is the first decentralized proving layer. With Gevulot, users can generate and verify proofs using any proof system, for any use case. Gevulot is offering priority access to ZK Podcast listeners, register on gevulot.com and write “Zk Podcast” in the note field of the registration form!If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

SummaryThis week, Anna and Nico catch up with Antonio Sanso, Researcher at the Ethereum Foundation and Youssef El Housni, Engineer at ConsenSys and builder of Linea. They discuss Antonio and Youssef’s new work, Families of prime-order endomorphism-equipped embedded curves on pairing-friendly curves and dive into Elliptic Curve cryptography, Bandersnatch and Verkle Tries amongst much more, before dissecting what terms in the title of this paper truly mean. After getting into the weeds of cryptographic technicalities, the group explores where this work could be used and what it would enable. Here’s some additional links for this episode:zkSummit: A new optimized elliptic curve for one layer proof composition - Youssef El Housni (EY)ZK7: Pairings in a SNARK - Youssef El Housni - ConsenSysZK Study Club - ZEXE reading pt 1 (of 3)ZK Study Club - ZEXE reading pt 2 (of 3)ZK Study Club - ZEXE reading pt 3 (of 3)Introducing Bandersnatch: a fast elliptic curve built over the BLS12-381 scalar field by Masson and SansoVerifiable Delay Functions from Supersingular Isogenies and Pairings by De Feo, Masson, Petit and SansoEpisode 117: Isogenies with Luca De FeoFamilies of prime-order endomorphism-equipped embedded curves on pairing-friendly curvesC∅C∅: A Framework for Building Composable Zero-Knowledge Proofs by Kosba, Zhao, Miller, Qian, Chan, Papamanthou, Pass, Shelat and ShiConstructing Elliptic Curves with Prescribed Embedding Degrees by Barreto, Lynn and ScottWelcome/Opening + Invited Talk by Nadia Heninger (PKC 2024)SafeCurves: choosing safe curves for elliptic-curve cryptographyCheck out the latest jobs in ZK at the ZK Podcast Jobs Board. The next ZK Hack IRL is happening May 17-19 in Kraków, there’s still time to join at zkkrakow.com. Namada is the shielded asset hub rewarding you to protect the multichain.Built to give you full control over sharing your personal information, Namada brings data protection to existing assets, applications, and networks. Namada ends the era of transparency by default, enabling shielded transfers and shielded cross-chain actions to protect your data even when interacting with transparent chains. Learn more and follow Namada mainnet launch at namada.net.If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

SummaryThis week, Anna and Tarun catch up with Georgios Konstantopoulos, CTO of Paradigm and long-standing friend of the ZK Pod! First they cover the work Georgios has been doing since he last appeared on the show, covering everything from updates on Foundry to the more recent work on Reth. They then dig into what makes it different, what inspires its design, where it is heading and the eventual end goals of the project. They also chat about the general client node landscape, from the ETH 2.0 research days to present day, before diving into discussing different clients from different teams, how this diversity can protect a chain and how each client can differ. Here’s some additional links for this episode:Georgios’ GitHubIntroducing Reth by ParadigmReth GitHubEpisode 224: Foundry with Georgios KonstantopoulosLoom NetworkCryptoZombiesGeth: EthereumFull BSC Node Guide: How to Run BNB Smart Chain NodesGitHub: flashbots:mev-gethArbitrumThe Definitive Guide to Sequencing by James PrestwichVerkle Trees for StatelessnessCheck out the latest jobs in ZK at the ZK Podcast Jobs Board. The next ZK Hack IRL is happening May 17-19 in Kraków, apply to join now at zkkrakow.com. o1Labs is excited to announce the v1 release of o1js, THE fastest way to build zkApps anddeploy to the Mina blockchain.After 2 years and 70,000 downloads, o1js v1 is the enterprise-gradeTypescript zkDSL the community has been waiting for.Are you ready to build the next killer zkApp? Then visit o1js.org and get started today.Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

In this week’s episode, Anna and Guillermo catch up with Justin Thaler, Associate Professor at Georgetown and Research Partner at a16z. The group dive into a handful of points from Justin’s ‘17 Misconceptions about SNARKs’ article, discussing if his views have changed since it was published back in 2023 and whether some points have become common knowledge since the article first rippled through the ZK community. They then dive into his new zkVM Jolt, which was initially described along with Lasso in 2023, but has now been implemented and is open to contributions from the community. Here’s some additional links for this episode:17 misconceptions about SNARKs (and why they hold us back) by Justin Thaler ZK Hack Discord: contains Study Club, Thaler Book Club and more Approaching the 'lookup singularity': Introducing Lasso and Jolt Simons Institute for the Theory of Computing zkStudyClub - Lasso/Jolt (Justin Thaler, Georgetown University/a16z)Bitcoin and Cryptocurrency Technologies Book Episode 103: Exploring VDFs with Joseph Bonneau Proofs, Arguments, and Zero-Knowledge by Justin Thaler Episode 261: Proofs, Arguments, and ZKPs with Justin Thaler The MoonMath Manual by Least Authority ZK Hack Whiteboard Sessions Unlocking the lookup singularity with Lasso by Setty, Thaler and WahbyJolt: SNARKs for Virtual Machines via Lookups by Arun, Setty and Thaler Justin Thaler a16z Articles Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał & AlbertFiat-Shamir Security of FRI and Related SNARKs by Block, Garreta, Katz, Thaler, Tiwari and Zając Fiat-Shamir Transformation of Multi-Round Interactive Proofs by Attema, Fehr and Klooß Caulk: Lookup Arguments in Sublinear Time by Zapico, Buterin, Khovratovich, Maller, Nitulescu and Simkin Spartan: Efficient and general-purpose zkSNARKs without trusted setup by Srinath Setty Stwo Prover: The next-gen of STARK scaling is hereThe next ZK Hack IRL is happening May 17-19 in Kraków, apply to join now at zkkrakow.com Launching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimised bridge.Follow Namada on Twitter @namada for more information and join the community on Discord discord.gg/namada. Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.Dive deeper and discover more about Aleo at http://aleo.org/If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript