Content provided by Zero Knowledge Podcast. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Zero Knowledge Podcast or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ppacc.player.fm/legal.
Player FM - Podcast App Go offline with the Player FM app!
What’s harder—building a global marketing strategy from scratch, or educating your organization on why it matters in the first place? Today’s guest has done both—twice. Sangeeta Prasad is the Chief Marketing Officer of Slalom, a global business and technology consulting firm with $3 billion in revenue and a presence in over 40 markets. With three decades of marketing experience—across brands like Procter & Gamble, American Express, and Chase—Sangeeta has spent her career not just building campaigns, but building belief in the power of marketing. About Sangeeta Prasad Sangeeta is the Chief Marketing Officer at Slalom. She joined Slalom as its very first chief marketing officer in 2020 and now leads a global team of 160 marketers in seven countries. Leveraging Slalom’s strong industry reputation as a consulting company that helps thousands of clients, Sangeeta is building a friendly, engaging brand that reflects the success of the company’s 13,000+ employees worldwide. Her goal is to make the Slalom brand as big as its business, which is experiencing record growth. To do this, she’s transformed a company that relied on traditional marketing into one that thrives on human-based marketing. This is the second time she’s joined a company as its first CMO – also at Russell Reynolds – bringing a strong portfolio of consumer and B2B experience from P&G, Chase and American Express. She lives with a global mindset having started her career in Australia and worked and lived across Asia for years. Sangeeta is known for her courageous yet adaptable leadership style and ability to build consensus across many cultures. Most of all, her leadership style and work are anchored in Slalom’s differentiated “fiercely human” approach to client and partner relationships. Sangeeta’s sophisticated marketing expertise pivoted Slalom’s volume-based tactics into human-based marketing, which combines customer insights with a scalable, consistent methodology to promote relationships. She helped prioritize full-journey marketing and what specific clients care about, including an approach to surround Slalom’s customers around the world with personalized messaging. Resources Slalom: https://www.slalom.com Don't Miss MAICON 2025, October 14-16 in Cleveland - the event bringing together the brights minds and leading voices in AI. Use Code AGILE150 for $150 off registration. Go here to register: https://bit.ly/agile150 Keep up with the latest B2B Marketing insights by following the B2B Agility Podcast: https://www.b2bagility.com Connect with Greg on LinkedIn: https://www.linkedin.com/in/gregkihlstrom Check out The Agile Brand Guide website with articles, insights, and Martechipedia, the wiki for marketing technology: https://www.agilebrandguide.com…
Content provided by Zero Knowledge Podcast. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Zero Knowledge Podcast or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ppacc.player.fm/legal.
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:
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
Content provided by Zero Knowledge Podcast. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Zero Knowledge Podcast or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ppacc.player.fm/legal.
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:
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
In this episode, Anna Rose and Kobi Gurkan chat with Vikas Rushi from PSE , and Ying Tong to explore t wo 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 zkID Github zk-promises: Anonymous Moderation, Reputation, and Blocking from Anonymous Credentials with Callbacks 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 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 . **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 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 Convolutional Neural Network Predictions and Accuracy zkLLM: Zero Knowledge Proofs for Large Language Models MLPerf Inference: Datacenter 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 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 Intro 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 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…
A quick update from the Zero Knowledge Podcast: The show is set to resume at the beginning of February, with exciting episodes and topics we can't wait to share with you! In the meantime, the team is hiring for two roles—a Community Marketing Manager to amplify the podcast's reach authentically and a Strategic Growth Lead to strengthen the business side of operations. If you are a potential candidate, please do apply over on the ZK Jobs Board ! As 2025 approaches, the podcast aims to further explore zero-knowledge technology's potential to shape the future and invites the community to join in the journey.…
Summary This 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 Rose Circle STARKs by Haböck, Levit and Papini StarkWare Unveils New 'Stwo' Cryptographic Prover That's 'Blazingly Fast' ZK12: WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification by Eylon Yogev Episode 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 Chen LaBRADOR: Compact Proofs for R1CS from Module-SIS? by Ward Beullens and Gregor Seiler Quantum Algorithms for Lattice Problems by Yilei Chen Episode 325: Web Proofs with Tracy from Pluto ZODA: Zero-Overhead Data Availability by Evans, Mohnblatt and Angeris Check 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 | 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 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 Boneh Episode 100: Dan Boneh on the past, present & future of cryptography Episode 341: coSNARKs with Ais and Lukas from TACEO LaBRADOR: Compact Proofs for R1CS from Module-SIS? Ward Beullens and Gregor Seiler Bulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Poelstra, Wuille, and Maxwell Greyhound: Fast Polynomial Commitments from Lattices by Nguyen and Seiler LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems Dan Boneh and Binyi Chen Protostar: 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 Zeilberger Episode 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 Wang VerITAS: 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 | Linktree Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript…
Summary This 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 Decoder Episode 309 - ZK Jargon Decoder with Nico Mohnblatt ZK Hack Montréal Under The Hood of zkID: - Nicolas Mohnblatt - Web3 Summit 2024 Berlin Panel Discussion w/ Anna Rose, Jim Posen, Nicolas Mohnblatt - Web3 Summit 2024 Berlin zkSummit Website zkSummit11 Playlist zkSummit12 Live Link Episode 338: On Trust Infrastructure with Arnaud Schenk Panel: ZK Applications ZK Whiteboard Sessions - S2M1: What is Zero-Knowledge (like, actually)? with David Wong While the show is taking a break, be sure to check out the ZK Whiteboard Sessions that are being produced by ZK Hack Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm Episode Sponsors Have 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 | Linktree Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube…
Summary This 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 Twitter Episode 40: Benedikt Bünz on Bulletproofs and Verifiable Delay Functions Ethereum 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 Mikerah Building Scalable Decentralized Payment Systems by Adlerand Quintyne-Collins Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm Episode Sponsor 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…
Just sharing 2 updates: 1) the ZK Whiteboard sessions are BACK with a second season! These videos will be released every 2 weeks for the next 3 months on ZK Hack channels - See Season 1 videos here: https://zkhack.dev/whiteboard/ See Season 2 Module 1 here: https://zkhack.dev/whiteboard/s2m1/ 2) The Zero Knowledge Podcast (aka this show!) will take a pause on the weekly cadence of the show starting Oct 16th until the end of 2024. Expect last 2 episodes on Oct 9 and Oct 16 There may be some additional episodes released this year (but no plans yet) Keep an eye on our website and twitter for updates about the show (and soon an updated website!)…
Summary This 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 Gabizon zkSummit: plookup: Speeding up the PLONK prover - Zac Williamson & Ariel Gabizon ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances by Liam Eagen and Ariel Gabizon HyperNova: Recursive arguments for customizable constraint systems by Kothapalli and Setty ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols by Bünz and Chen cq: Cached quotients for fast lookups by Eagen, Fiore and Gabizon Delegating Computation: Interactive Proofs for Muggles by Goldwasser, Kalai and Rothblum Unlocking 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 Wang Aztec.network Check 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 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 This 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 Boneh Privately Connecting Mobility to Infectious Diseases via Applied Cryptography Bampoulidis, Bruni, Helminger, Kales, Rechberger, and Walch Large-Scale MPC: Scaling Private Iris Code Uniqueness Checks to Millions of Users by Bloemen, Kales, Sippl and Walch Collaborative SNARKs by Roman Walch Notes on Collaborative zkSNARKs MPC Primer - coCircom ZK Podcast clip about Collaborative Zero-Knowledge Proofs from Episode 256: New ZK Use Cases with Dan Boneh coSNARKs - coCircom Exploring Collaborative Zero-Knowledge Proofs ZK11: MPC-Enabled Proof Markets - Daniel Kales coCircom Repo coSNARKs Demo: Max Pick Challenge MPC Uniqueness Check GitHub coSNARKs Telegram Channel 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 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 This 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 Tarun Episode 263: Cosmos, Sommelier and Emerging Assets with Zaki Manian Episode 337: Restaking Research with Naveen & Tarun Cosmos SDK GitHub Cosmos Website Cosmos 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 Sponsors Get 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/anoma 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 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 works SoK: 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 Song DelegaTEE: Brokered Delegation Using Trusted Execution Environments by Matetic, Schneider, Miller, Juels and Capkun Ratel: MPC-extensions for Smart Contracts by Li, Soska, Huang, Bellemare, Quintyne-Collins, Wang, Liu, Song and Miller Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts by Cheng, Zhang, Kos, He, Hynes, Johnson, Juels, Miller and Song Demo of IT from Xyn and Ryan Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets by Kelkar, Babel, Daian, Austgen, Buterin and Juels Off-Chain Coordination via Liquefaction - James Austgen | MEV-SBC ’24 This 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 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 This 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 Williamson 05:09 * Episode 176: Zk-zk-rollup & zk.money with Zac and Joe from Aztec 05:09 * Episode 273: History of Plonk, Noir, and the building of Aztec 3 07: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 Schenk 39:28 * Crypto's Three Body Problem by Lotti, Shorin, Hart 48:13 * Plurality philosophy in an incredibly oversized nutshell by Vitalik Buterin 52: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 Schenk Knot Group Wiki 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 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 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 Roughgarden EigenLayer: The Restaking Collective EigenLayer Team General 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 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 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 Devfolio 24:33 Episode 151: John Adler on Optimistic vs ZK Rollup and the data availability problem 30:24 Episode 208: Digging into Data Availability with Ismail Khoffi from Celestia 41:26 Episode 220: The Road to Plonky2 with Brendan and Daniel from Polygon Zero 46: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'Hara Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm Episode Sponsors Get 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/anoma 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 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 Tzialla Nexus zkVM Episode 284: Using Formal Verification on ZK Systems with Jon Stephens Jens Groth Publication List Nexus Docs Nexus 1.0 Machine Enabling General-Purpose Verifiable Computing | Daniel Marin (Oct 2023) on YouTube Nexus 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 | 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 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…
This week, Anna catches up with Tarun Chitra and Sreeram Kannan during a spontaneous session recorded at Devconnect 2023 in Istanbul! They cover a variety of topics seen at the event, including zk toolkits, intents and Data Availability, shedding light on how these ideas are reshaping the framework of digital interaction and governance. Their chat covers the challenges and opportunities these technologies present, highlighting their significance in the current ecosystem. Later, they explore the complexities and nuances of EigenLayer , offering detailed insights into its functionalities, applications, and potential impact on the industry. Here’s some additional links for this episode: ZK Hack IRL Istanbul wrap article ZK Hack Tweet announcing the winners . Sign up here for ZK Hack IV Online updates EigenLayer EigenLayer: The Restaking Collective by EigenLayer Team Parachains' Protocol Overview - reference to Fishermen Episode 217: Information Theory & Blockchain with Sreeram Kannan ZK7: Hyperscale Data Availability for ZK Systems - Sreeram Kanan - UoW / Layr Labs Sreeram Kannan - Introducing Programmable Trust + EigenLayer Roadmap 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 Q4, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at 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…
In this week’s episode, Anna takes a look back at the last 6 years of the Zero Knowledge Podcast, how it came to be and the journey the show has been on since that very first episode in 2017. Anna reviews the highs and lows of the show, touching on episodes which made a profound impact on her own journey in the ZK space, as well as episodes she wouldn’t rush to listen to again! Discover key show learnings, how the zkSummit formed and take a trip down memory lane in the 300th episode of Zero Knowledge Podcast. To check out all the ZK Podcast episodes mentioned in this episode, visit the zeroknowledge.fm website here Check out one of the earliest zkSummit talks on the very first event: Zero knowledge proofs intro with Str4d (Zcash) The full zkSummit Playlist Sign up here for ZK Hack IV Online updates 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 week's episode, Anna chats with Alex Gluchowski , CEO of Matter Labs & co-creator of the zkSync network. They catch up on the zkSync project since it launched in Feb 2023. They dive into recent initiatives like the ZK Stack framework, Hyperchains, and the ZK Credo mission statement. They also explore the upcoming Boojum proof system upgrade planned for zkSync Era and discuss the future of the zkSync project as a whole. Here’s some additional links for this episode: Introducing the ZK Stack Introduction to Hyperchains Matter Labs Era Boojum GitHub zkSync Era: Everything you need to know about ZK Credo, ZK Stack, & Boojum Upgrade Episode 72: zkSNARKs for Scale with Matter Labs Episode 116: zkSync and Redshift: Matter Labs update Episode 175: zkEVM & zkPorter with Matter Labs Introducing zkSync: the missing link to mass adoption of Ethereum The different types of ZK-EVMs by Vitalik Buterin Different types of layer 2s L2BEAT emailwallet.org prove.email Check out the latest in ZK Jobs on our Jobs Board here . 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 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 week's episode Anna Rose chats with Brandon Kase , CTO, and Steve Pack , Head of Product at O(1)Labs , focusing on the Mina Protocol . The discussion covers their journeys leading to their work on the project, developments in the Mina Protocol since the last appearance on ZK Podcast, and insights into the zkApps building environment. They delve into the technical aspects of o1js and the underlying philosophy that drives its design. The episode wraps with a forward-looking perspective on the potential applications of zero-knowledge proofs as the industry shifts from a research-centric to a builder-centric approach. Links referenced in this episode: Episode 54: Digging into recursive zkSNARKs with Coda Episode 199: Snapps on Mina with Emre and Izaak Episode 276: Expanding Computation on Ethereum with Axiom Further relevant links: Episode 113: Latest recursive SNARKitecture with Izaak Meckler from O(1)Labs O(1)Labs Website o1js GitHub Introduction to o1js Mina Protocol Docs Check out the ZK Jobs Board NEAR Foundation and Polygon Labs just announced they are teaming up to build zkWASM, a zero-knowledge prover for WASM blockchains. This collaboration will create a more secure, interoperable Web3 ecosystem for an open web. NEAR’s deep WASM runtime expertise combined with Polygon Labs’ authority in ZK scaling technology, the zkWASM prover will be market leader when it launches in 2024. Stay up to date with the zkWASM announcement at near.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…
In this week’s episode, Anna and Nico interview Or Sattath , Assistant Professor at the Ben-Gurion University in the Computer Science department. This is the 2nd episode with Or on this show, continuing the conversation around Quantum Cryptography. This time, he describes how we can transition from a pre-quantum to a post-quantum environment, looking at existing systems like Bitcoin and Ethereum. He covers why the methods used in the transition will be important, techniques on how this could be executed and the challenges in designing these techniques and the complications that can arise. Finally, they go on to discuss Quantum Money and recent works in this area. Here’s some additional links for this episode: Part 1 - Episode 288: Quantum Cryptography with Or Sattath Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer by Shor Shor’s Algorithm Grover’s Algorithm A fast quantum mechanical algorithm for database search by Grover Fawkescoin: A cryptocurrency without public-key cryptography by Bonneau and Miller Bitcoin is not quantum-safe, and how we can fix it when needed by Buterin Cryptographic canaries and backups by Justin Drake Notes and recommended links by Or Sattath: NIST post-quantum standardization for post-quantum digital signatures and public-key encryption (or, more precisely, Key Encapsulation Mechanism, KEM). These are classical schemes that, unlike almost all the existing schemes that are used in practice, are secure against quantum adversaries. Signature Lifting (arXiv link) is discussed as a technique to migrate to post-quantum signatures, especially for those who didn't prepare in advance. Here's a recommended Twitter thread summarizing the results by Shai Wyborski, Or’s co-author. An approach to upgrade Bitcoin to quantum money is available here . This uses a cryptographic primitive which is called quantum lightning, which was introduced here . Some smart contacts capabilities can be supported as well. This construction is based on one-shot signatures , which isdiscussed in some detail during the interview. The bottom line of this work is that we can have the most important utility that Bitcoin provides, without the need for a blockchain, or any other consensus mechanism. Uncloneable cryptography was discussed during the interview. Quantum encryption with certified deletion was discussed as an interesting example of a property that can be achieved only in quantum cryptography. Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.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 Q4, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at 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…
In this week’s episode, Anna and Nico catch up with Brian Retford and Jeremy Bruestle from RISC Zero . They delve into the current status of the project, breaking down the components of the stack, from the RISC Zero zkVM leveraging the RISC-V instruction set architecture to the Bonsai proving service and their new zkEVM, Zeth. They also touch on their design methodology, how the system components integrate and future developments for RISC Zero. Here’s some additional resources for this episode: RISC Zero Developer Guide: Rust Resources RISC Zero GitHub: Rust Crates Using Continuations to Prove Any EVM Transaction RISC-V Website https://zkbench.dev Episode 251: Exploring RISC Zero with Brian Retford and Jeremy Bruestle ZK9: Future ZK Emerging Use Cases and Key Enablers – Brian Retford (RISC Zero) ZK Hack Lisbon: Creating Zero-Knowledge Proofs with RISC Zero Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.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 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 week’s episode, Anna Rose is joined by Nigel Smart , Professor at KU Leuven and Chief Academic Officer at Zama to discuss the advancements in MPC over recent years. Nigel unpacks core components of MPC systems, including garbled circuits, secret sharing, and FHE. They discuss both systems-level applications like DKGs and Threshold Signature Schemes and actual real-world deployments. Throughout the episode, they also discuss how MPC and ZK differ, but how they can be used together to enhance each other's capabilities. Here’s some additional links for this episode: 17 misconceptions about SNARKs (and why they hold us back by Justin Thaler Nigel Smart’s GitHub Unbound Security GitHub Unbound Security Twitter MPC Alliance What is a multi-party computation (MPC) wallet? Relevant ZK Podcast eps Trusted Setups & FHE Episode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography Episode 124: Exploring FHE with Flavio Bergamaschi from IBM Research Episode 133: Trusted Setup Ceremonies Explored Episode 137: Trusted Setup Bonus: Tornado Cash Episode 248: Revisiting FHE with Rand Hindi from Zama Episode 270: FHE and ZKPs with Sunscreen’s Ravital Solomon MPC Episode 90: MPC systems with Nigel Smart Episode 203: MPC and DAGs with Aleph Zero’s Adam Gagol & Matthew Niemerg Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ RISC Zero’s out-of-the-box tooling allows developers to access the magic of ZK proofs from any chain without needing to learn custom languages or build custom zk circuits. Bonsai, RISC Zero’s most anticipated product, allows developers to prove huge programs off-chain, roll them into one succinct proof, and verify anywhere with low amounts of gas. Visit https://r0.link/ZKpodcast to learn more and sign up today for the Bonsai waitlist. Gnosis are searching for a VP of Technology who will provide technical leadership, foster innovation, and ensure the success of their technology. Check out the full job 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 YouTube Read transcript…
In this week’s episode, host Anna Rose and co-host Kobi Gurkan chat with Alex Evans and Guillermo Angeris about their new research paper on Succinct Proofs in Linear Algebra . The paper introduces a framework that simplifies the construction of succinct proofs and offers a toolkit of useful techniques. Their conversation also covers the use of randomized reductions in zero-knowledge proofs, the security of the FRI protocol, and the potential applications of the framework in other systems. Here’s some additional links for this episode: *Papers Succinct Proofs in Linear Algebra by Evans and Angeris Algebraic Reductions of Knowledge by Kothapalli and Parno Proximity Testing with Logarithmic Randomness by Diamond and Posen Ligero: Lightweight Sublinear Arguments Without a Trusted Setup by Ames, Hazay, Ishai and Venkitasubramaniam Sumcheck Arguments and their Applications by Bootle, Chiesa and Sotiraki Proofs, Arguments, and Zero-Knowledge by Thaler Stephen Boyd Papers *Other links Episode 140: Staking derivatives & DeFi with Alex Evans (and Tarun!) Episode 206: Distilling DeFi Primitives with Guillermo, Alex and Tarun Episode 271: Between Two ZK Events with Nico and Guillermo Episode 282: Error Correcting Codes & Information Theory with Ron Rothblum Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał & Albert ZK Hack Discord ZK Whiteboard Sessions Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.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 Q4, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at 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…
On this week’s episode, Anna Rose interviews Michał Zając and Albert Garreta from the Nethermind team. They discuss the origin story of Nethermind and its role in the ecosystem today. They also delve into the cryptography research being done at Nethermind, including their work on proving the security of FRI-based protocols, identifying security issues with Fiat-Shamir, exploring topics like ZK malleability and aggregation, and building SNARKs over rings. Here’s some additional links for this episode: Fiat-Shamir Security of FRI and Related SNARKs by Block, Garreta, Katz, Thaler, Tiwari and Zając On Soundness Notions for Interactive Oracle Proofs by Block, Garreta, Tiwari and Zając NIZKs with an Untrusted CRS: Security in the Face of Parameter Subversion by Bellare, Fuchsbauer and Scafuro Mathematical Problems By Professor David Hilbert A summary on the FRI low degree test by Ulrich Haböck DEEP-FRI: Sampling Outside the Box Improves Soundness by Ben-Sasson, Goldberg, Kopparty, and Saraf Fiat-Shamir Transformation of Multi-Round Interactive Proofs by Attema, Fehr and Klooss Other Nethermind Projects; Lido: A proposal for partnering with Nethermind to design a mechanism for a good validator set maintenance. Phase II. Looking Forward: Obol V2 Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ ///// Polygon CDK is the go-to open source chain development kit for building and launching your own ZK-powered Ethereum L2. Using Polygon CDK, build chains precisely to your specs, from level of decentralization to throughput to cost. It’s the raw material of Polygon 2.0, an ecosystem of interconnected chains that create a value layer for the internet. Check out wiki.polygon.technology/docs/cdk to start experimenting with your own ZK powered L2 today. 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 special live episode, recorded at zkSummit10, host Anna Rose chats with regular co-hosts Tarun Chitra , Guillermo Angeris and Nico Mohnblatt about the state of ZK today. They cover how the term ‘ZK’ has evolved, market trends that are relevant to the ZK community today and ZK ‘crossovers’ like ZKML or ZKFHE and their current status in the industry. They also discuss how the ZK space could grow in the future and share their predictions. Much of the conversation is fuelled by some great questions and comments from the live zk10 audience. This is the first episode recorded live from a ZK Podcast event, so if you have any feedback, pls tweet us @zeroknowledgefm! Here’s some additional links for this episode: Episode 90: MPC systems with Nigel Smart Episode 173: Building Private AMMs with Guillermo Angeris (Guillermo’s first episode!) Episode 269: Auctions with Kshitij Kulkarni, Matheus V. X. Ferreira and Tarun Episode 270: FHE and ZKPs with Sunscreen’s Ravital Solomon 17 misconceptions about SNARKs (and why they hold us back) by Justin Thaler Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.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 Q4, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at 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…
On this week’s episode, Anna Rose and Tarun Chitra chat with Mallesh Pai , Associate Professor of Economics at Rice University . They explore mechanism design in an economic context and Mallesh’s work around MEV topics - specifically on censorship in an MEV context and within his Special Mechanism Group . The discussion takes the team back into the topic of MEV, revisiting the proposer builder separation concept and the impact that this may have on the efficiency and censorship resistance of these systems. Here’s some additional links for this episode: Episode 183: CowSwap & DAO Tech with Gnosis’s Martin Köppelmann Episode 216: A Dip into the Mempool & MEV with Project Blanc Episode 243: Dive Back into MEV with Alex Stokes and Chris Hager Episode 249: Impact of Tornado Cash: a Builders Perspective Episode 269: Auctions with Kshitij Kulkarni, Matheus V. X. Ferreira and Tarun Vitalik’s Blog Post Special Mechanism Group’s Thread on Censoring Eth Block relating to Thread Special Mechanism Group’s Research Papers (with explainers) zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form . Bonsai, RISC Zero’s most anticipated product, allows developers to prove huge programs off-chain, roll them into one succinct proof, and verify anywhere with low amounts of gas. Visit https://r0.link/ZKpodcast to learn more and sign up today for the Bonsai waitlist. Anoma’s first fractal instance, Namada , is launching soon! The MASP circuit's latest update enables shielded set rewards directly in the shielded set, a novel feature that funds privacy as a public good. Follow Namada on twitter @namada for more information and join the community on Discord discord.gg/namada . 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 Guillermo chat with David Wong , author of the Real-World Cryptography book , and a cofounder zksecurity.xyz - an auditing firm focused on Zero Knowledge technology. They chat about what first got him interested in cryptography, his early work as a security consultant, his work on the Facebook crypto project and the Mina project, zksecurity.xyz, auditing techniques and their efficacy in a ZK context, what common bugs are found in ZK code, and much more. Here’s some additional links for this episode: Crypto is not cryptocurrency NCC Group OCaml website Real-World Cryptography book Mina Protocol 3pages.fr The Frozen Heart vulnerability in PlonK | Trail of Bits Blog ZK Podcast Episode 284: Using Formal Verification on ZK Systems with Jon Stephens zkSecurity Website ZK Podcast Episode 257: Proof of Solvency with Kostas Chalkias - ZK Podcast ZK Podcast Episode 210: The Road to STARKs and Miden with Bobbin Threadbare - ZK Podcast ZK Podcast Episode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography - ZK Podcast Check out the ZK Jobs Board for new job opportunities in the run up to the zkSummit 10 ! Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. For questions, join their Discord at aleo.org/discord . 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, host Anna Rose chats with Finch , Erwan and Jen from the Penumbra team. They share an update about Penumbra and discuss how this zk-powered project works under the hood. Specifically, how Penumbra harnesses ZK to offer new paradigms for staking, voting and trading. Here’s some additional links for this episode: Episode 247: Exploring Penumbra with Henry de Valence Penumbra Storage Penumbra GitHub ZK8: How to build a private DEX - Henry de Valence - Penumbra ZK8: Tiered Merkle Topiary in Rust – finch – Penumbra Labs Plaidfinch (Penumbra) - Interchain Private Trading with Penumbra Privacy in Cosmos Live: Finch (Penumbra)- Full-Stack Private Protocol Design A pure-Rust implementation of group operations on Ristretto and Curve25519 curve25519-dalek Github Replicating Market Makers by Angeris, Evans, Chitra SecureDrop Further reading; Penumbra’s DEX Arrives From The Future How to See in the Dark: Navigating Penumbra Private Governance on Penumbra Bringing Zero-Knowledge Proofs to Penumbra Introducing Poseidon377, our instantiation of a SNARK-friendly hash Testnet #4: Shielded Staking Is Here zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form Check out the ZK Jobs Board Anoma’s first fractal instance, Namada , is launching soon! The MASP circuit's latest update enables shielded set rewards directly in the shielded set, a novel feature that funds privacy as a public good. Follow Namada on twitter @namada for more information and join the community on Discord discord.gg/namada . 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 week’s episode, Anna Rose and Kobi Gurkan chat with Or Sattath , Assistant Professor at the Ben-Gurion University in the Computer Science department. They deep dive into Or’s work on Quantum Cryptography. They begin with definitions of Quantum Computing and Quantum Cryptography, covering what these will mean for existing cryptography. They also explore how new discoveries in this field can interact with existing Proof-of-work systems and how Quantum computers could affect the game theory of mining in the future. Here’s some additional links for this episode: On the insecurity of quantum Bitcoin mining by Sattath Strategies for quantum races by Lee, Ray, and Santha Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer by Shor Shor’s Algorithm Grover’s Algorithm A fast quantum mechanical algorithm for database search by Grover Bell’s Theorem More in-depth resources recommended by Or Sattath: A recommended smbc-comics about the power of quantum computing, authored by Zack Weinersmith (the usual cartoonist) and Scott Aaronson (a quantum computing expert) For an in-depth introduction to quantum computing, I recommend Ronald de-Wolf's lecture notes The Bitcoin backbone protocol with a single quantum miner, by Cojocaru et al The fingerprint of quantum mining slightly below 16 minutes by Nerem-Gaur Some estimates regarding timelines, which we didn't discuss, are available here and here The insecurity of quantum Bitcoin mining , and the need to change the tie-breaking rule. The work by Lee-Ray-Santh that analyzes the equilibrium strategy for multiple quantum miners, as a simplified one-shot game. zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form . Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet . Polygon 2.0 and all of our ZK tech is open-source and community-driven. Reach out to the Polygon community on Discord to learn more, contribute, or join in and build the future of Web3 together with Polygon! 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 Rose chats with Stefan George from Gnosis . They start with an update on the projects that have spun out of Gnosis - Safe, Zodiac, CoW Swap - as well as older experiments that the team had incubated. They then cover the evolution of Gnosis Chain from its origin as xDai, discuss the new aggregate bridge architecture Hashi and explore Gnosis Pay - an on-chain p2p payments product that fulfills some of the original motivations of Bitcoin. They discuss a range of relevant topics such as intents, prediction markets, account abstraction, ZK Bridges, decentralization and more. Here’s some additional links for this episode: Previous Podcast Eps Episode 65: Bridges, xDai and Burner Wallets with Igor & Austin Episode 183: CowSwap & DAO Tech with Gnosis’s Martin Köppelmann Episode 255: Verifying Consensus On-Chain with Succinct Episode 285: Intents with Chris Goes from Anoma Papers Why sharding is great: demystifying the technical properties Bitcoin: A Peer-to-Peer Electronic Cash System by Satoshi Nakamoto Websites Gnosis Pay Website DXdao Website xDai Website EigenLayer Website zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form . Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet . Polygon 2.0 and all of our ZK tech is open-source and community-driven. Reach out to the Polygon community on Discord to learn more, contribute, or join in and build the future of Web3 together with Polygon! Bonsai, RISC Zero’s most anticipated product, allows developers to prove huge programs off-chain, roll them into one succinct proof, and verify anywhere with low amounts of gas. Visit https://r0.link/ZKpodcast to learn more and sign up today for the Bonsai waitlist. 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…
Summary In 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 Yogev Episode 200: SNARK Research & Pedagogy with Alessandro Chiesa Barriers 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 Club Justin Thaler Study Club by ZK HACK on YouTube Subquadratic 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 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 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 Signatures Blockstream 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 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. 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 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: NEBRA NEBRA UPA Demo NEBRA Docs UPA Gas Costs by NEBRA MIT Bitcoin Club fflonK: a Fast-Fourier inspired verifier efficient version of PlonK by Gabizon and Williamson UniPlonK: PlonK with Universal Verifier by Chu, Gomes, Iglesias, Norton and Tebbs The 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 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 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 | Linktree Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch 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/…
Summary In 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: Ligero Ligero: Lightweight Sublinear Arguments Without a Trusted Setup by Ames, Hazay, Ishai and Venkitasubramaniam Ligetron by Ligero Ligetron: 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 Venkitasubramaniam Efficient RSA Key Generation and Threshold Paillier in the Two-Party Setting by Hazay, Mikkelsen, Rabin, Toft and Nicolosi MeshCal.com Zero-Knowledge from Secure Multiparty Computation by Ishai, Kushilevitz, Ostrovsky and Sahai Introduction to MPC-in-the-Head by Carmit Hazay ZKBoo: Faster Zero-Knowledge for Boolean Circuits by Giacomelli, Madsen and Orlandi Episode 322: Definitions, Security and Sumcheck in ZK Systems with Justin Thaler Communication complexity of secure computation by Franklin and Yung ZK 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 | 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 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.xyz Pluto Telegram Channel Docs.Pluto.xyz 0xParc Signal vs. Noise: How LLMs Broke the Internet and How ZK Proofs Are Going to Fix It by Tracy Livengood Sign 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 | Linktree Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript…
Summary This 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 - ConsenSys ZK 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 Sanso Verifiable Delay Functions from Supersingular Isogenies and Pairings by De Feo, Masson, Petit and Sanso Episode 117: Isogenies with Luca De Feo Families of prime-order endomorphism-equipped embedded curves on pairing-friendly curves C∅C∅: A Framework for Building Composable Zero-Knowledge Proofs by Kosba, Zhao, Miller, Qian, Chan, Papamanthou, Pass, Shelat and Shi Constructing Elliptic Curves with Prescribed Embedding Degrees by Barreto, Lynn and Scott Welcome/Opening + Invited Talk by Nadia Heninger (PKC 2024) SafeCurves: choosing safe curves for elliptic-curve cryptography Check 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 | Linktree Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript…
Summary This 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’ GitHub Introducing Reth by Paradigm Reth GitHub Episode 224: Foundry with Georgios Konstantopoulos Loom Network CryptoZombies Geth: Ethereum Full BSC Node Guide: How to Run BNB Smart Chain Nodes GitHub: flashbots:mev-geth Arbitrum The Definitive Guide to Sequencing by James Prestwich Verkle Trees for Statelessness Check 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 and deploy to the Mina blockchain. After 2 years and 70,000 downloads, o1js v1 is the enterprise-grade Typescript 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 | Linktree Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch 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 Wahby Jolt: 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ł & Albert Fiat-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 here The 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 | Linktree Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript…
In this week’s episode, Anna and Kobi chat with Gal Arnon , Ph.D student from the Weizmann Institute of Science & Giacomo Fenzi , Ph.D. student in the COMPSEC Lab at EPFL . Gal and Giacomo are amongst the co-authors of ‘STIR: Reed–Solomon Proximity Testing with Fewer Queries’ and in this conversation, they discuss how their research led them to work on these topics and where the thesis for this particular work sparked from. They set the stage by exploring the history of FRI and discussing some hidden nuances in how FRI works. And then they introduce STIR, a system that can be used in place of FRI, which incorporates various optimisations to improve the performance. Here’s some additional links for this episode: FRIDA: Data Availability Sampling from FRI by Hall-Andersen, Simkin and Wagner Lattice-Based Polynomial Commitments: Towards Asymptotic and Concrete Efficiency by Fenzi, Moghaddas and Nguyen DEEP-FRI: Sampling Outside the Box Improves Soundness by Ben-Sasson, Goldberg, Kopparty and Saraf Proximity Gaps for Reed–Solomon Codes by Ben-Sasson, Carmon, Ishai, Kopparty and Saraf IOPs with Inverse Polynomial Soundness Error by Arnon, Chiesa and Yogev Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał & Albert Circle STARKs by Haböck, Levit and Papini Episode 304: Exploring FRI, LogUp and using M31 for STARKs with Ulrich Haböck FRI-Binius: Improved Polynomial Commitments for Binary Towers The next ZK Hack IRL is happening May 17-19 in Kraków, apply to join now at zkkrakow.com 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 | Linktree Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript…
In this week’s episode, Anna and Brendan Farmer catch up with Ben Fisch , CEO of Espresso Systems . They explore the inner workings of the current L2 sequencing landscape and then discuss how a shared sequencing marketplace like Espresso works. They touch on how MEV plays a part in the new system, how the role of the sequencer can be separated into subroles, how all these parts will work together in such a system and much more. Here’s some additional links for this episode: Episode 222: Something Brewing with Jill Gunter and Ben Fisch from Espresso Systems Episode 139: Findora with Benedikt Bunz and Ben Fisch Episode 88: Accumulators with Ben Fisch CAPE: Configurable Asset Privacy for Ethereum CAPE GitHub by Espresso Systems Astria Website The Future of MEV is SUAVE by Flashbots Optimism by Superchain Ben Fisch - Beyond the Base Layer at EthDenver EigenDA Episode 188: Analyzing Osmosis & Preventing MEV with Sunny and Dev Episode 216: A Dip into the Mempool & MEV with Project Blanc Episode 243: Dive Back into MEV with Alex Stokes and Chris Hager Episode 291: MEV, Mechanism Design & the Censorship Problem with Mallesh M Pai Aggregated Blockchains: A New Thesis by Polygon Based rollups—superpowers from L1 sequencing by Ethereum Research MEV-Boost GitHub The 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 | Linktree Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript…
In this week’s episode, Anna catches up with Jordi Baylina , OG Ethereum contributor and Polygon zkEVM Technical Lead. They cover what Jordi has been working on since he was last on the show in 2021. Back then, zkEVMs were still just an idea. Now that many of these systems have launched, they have a chance to look at how these fit into the general L2 landscape. They cover Jordi’s view on engineering decentralized systems and how these are rolled out, and the recent research from Polygon, including their AggLayer proposal. They wrap up on what inspires him to keep contributing in the space. Here’s some additional links for this episode: Polygon zkEVM Episode 194: zkEVM with Jordi & David from Hermez Episode 145: Circom & Hermez with Jordi Baylina Episode 304: Exploring FRI, LogUp and using M31 for STARKs with Ulrich Haböck Episode 303: A Dive into Binius with Ulvetanna Episode 313: Revisiting Hardware with Ingonyama The next ZK Hack IRL is happening May 17-19 in Kraków, apply to join now at zkkrakow.com 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. 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 Read transcript…
In this week’s episode, Anna and Nico chat with Chelsea Komlo , Chief Scientist for the Zcash Foundation and member of the Cryptography, Security, and Privacy lab at the University of Waterloo . They discuss what sparked Chelsea’s interest in cryptography research, starting with her work contributing to Tor, to her move to Zcash and her PhD work on Threshold Signature Schemes. They define some important terms around different signature schemes and discuss possible optimizations that can be used to make these more performant. They then dive into her work on the FROST Threshold Signature Scheme plus some new upcoming work. Here’s some additional links for this episode: EdSIDH: Supersingular Isogeny Diffie-Hellman Key Exchange on Edwards Curves by Azarderakhsh, Lang, Jao and Koziel Efficient Signature Generation by Smart Cards by Schnorr FROST: Flexible Round-Optimized Schnorr Threshold Signatures by Komlo and Goldberg Episode 316: Alin Tomescu on Distributed On-chain Randomness and Keyless Accounts Episode 295: Return to MPC with Nigel Smart On the insecurity of ROS by Benhamouda, Lepoint, Loss, Orru and Raykova Re-Randomized FROST by Gouvea and Komlo Frostsnap CFRG GitHub Repository for FROST Arctic: Lightweight and Stateless Threshold Schnorr Signatures by Komlo and Goldberg zkSummit11 is happening next week, head to the zkSummit website to apply for a waitlist spot now. The event will be held on 10 April in Athens, Greece. Check out the ZK Jobs Board 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 | 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 Niraj Pant and Anish Agnihotri from Ritual . They kick off by revisiting the AIxCrypto intersection before diving into the Ritual product and its goals around developing open access AI infrastructure. They explore the opportunities that open up when you bring ML to smart contracts. Here’s some additional links for this episode: Episode 216: A Dip into the Mempool & MEV with Project Blanc Episode 246: Adversarial Machine Learning Research with Florian Tramèr Episode 314: Succinct’s Platform, Prover Network and SP1 FrenRug Website Mistral 7B by Jiang, Sablayrolles, Mensch, Bamford, Chaplot, De Las Casas, Bressand, Lengyel, Lample, Saulnier, Lavaud, Lachaux, Stock, Le Scao, Lavril, Wang, Lacroix, El Sayed docs.ritual.net Infernet by Ritual ML Quickstart Guide by Ritual Web3 Quickstart Guide by Ritual zkSummit11 happens in 2 weeks, if you haven’t got your tickets yet head over to the zkSummit website to apply now. The event will be held on 10 April in Athens, Greece. Check out the ZK Jobs Board 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 | Linktree Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript…
Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.