Zero Knowledge

This week Anna chats with Jeffrey Scholz, founder of RareSkills. They discuss onboarding developers into ZK and dive into RareSkills' education program via The ZK Book and their ZK bootcamps. They explore strategies for breaking down complex topics, decisions on curriculum design, tool selection, and methodologies for enabling self-sufficient learning. A great listen for the listeners who want to learn ZK and are trying to figure out how to approach the challenge. Related links: RareSkills Website ZK HACK Website ZK HACK Whiteboard Sessions RareSkills ZK Book Jeffrey Scholz on Medium Jeffrey Scholz’s course on Udemy Consensys Bootcamp in 2021 Encode Club ZK Podcast Episode 309 - ZK Jargon Decoder with Nico Mohnblatt video ZK HACK - Thaler Book Study Group Playlist on YouTube The MoonMath Manual to zk-SNARKs by Least Authority     Applications for zkSummit13 are now open, spots are limited for this edition so apply soon (www.zksummit.com) if you want to join.     Missing Link are a talent team built for the Web3 era, helping projects across the ecosystem connect with the right candidates at the right time. Whether you're an established project or a startup searching for specialized talent, Missing Link can help. Visit their website at missing-link.io. **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube Read transcript

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

This week Anna and Tarun chat with Mert Mumtaz. Mert is the co-founder and CEO of Helius and is known for his contributions to the Solana ecosystem. They explore Mert’s background, his entry into the space, and his experiences during the 2022 market downturn and subsequent recovery. The conversation covers Solana’s positioning within the broader blockchain landscape and includes an overview of emerging ZK projects in the ecosystem. Related links: Zero-Knowledge Proofs: Its Applications on Solana Episode 135 - Look into Solana Solana projects mentioned: Backpack, Anza, Gido, Jupiter ZK projects mentioned: Phantom, Elusiv, Light Protocol, Dark Protocol Solana Token Extensions --------------- Applications for zkSummit13 are now open, spots are limited for this edition so apply soon (www.zksummit.com) if you want to join. --------------- **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube Read transcript

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 WagnerLattice-Based Polynomial Commitments: Towards Asymptotic and Concrete Efficiency by Fenzi, Moghaddas and NguyenDEEP-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 SarafIOPs with Inverse Polynomial Soundness Error by Arnon, Chiesa and Yogev Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał & AlbertCircle STARKs by Haböck, Levit and PapiniEpisode 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 | LinktreeSubscribe 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 FischCAPE: Configurable Asset Privacy for EthereumCAPE GitHub by Espresso Systems Astria Website The Future of MEV is SUAVE by Flashbots Optimism by SuperchainBen Fisch - Beyond the Base Layer at EthDenver EigenDAEpisode 188: Analyzing Osmosis & Preventing MEV with Sunny and DevEpisode 216: A Dip into the Mempool & MEV with Project BlancEpisode 243: Dive Back into MEV with Alex Stokes and Chris HagerEpisode 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 GitHubThe next ZK Hack IRL is happening May 17-19 in Kraków, apply to join now at zkkrakow.com. Launching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimised bridge.Follow Namada on Twitter @namada for more information and join the community on Discord discord.gg/namada. Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.Dive deeper and discover more about Aleo at http://aleo.org/.If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

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 zkEVMEpisode 194: zkEVM with Jordi & David from HermezEpisode 145: Circom & Hermez with Jordi Baylina Episode 304: Exploring FRI, LogUp and using M31 for STARKs with Ulrich HaböckEpisode 303: A Dive into Binius with Ulvetanna Episode 313: Revisiting Hardware with IngonyamaThe 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 | LinktreeSubscribe 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 FROSTArctic: Lightweight and Stateless Threshold Schnorr Signatures by Komlo and GoldbergzkSummit11 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 BoardAleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.Dive deeper and discover more about Aleo at http://aleo.org/If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

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 BoardAleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.Dive deeper and discover more about Aleo at http://aleo.org/If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

In this week’s episode, Anna and Nico chat with Alin Tomescu, founding team member and Head of Cryptography at Aptos Labs. They discuss Alin’s journey to Aptos and his work on distributed on-chain randomness as well as the new Aptos Keyless project. They cover the Keyless accounts architecture, how the flow works for the user and some of the subtleties in the approach they have taken.Here’s some additional links for this episode:Episode 302: ZK for web2 interop with zkLogin & ZK Email Episode 156: Stateless Validation with Alin Tomescu Episode 227: Move & Sui with Sam Blackshear from Mysten Labs Aptos Developer Documentation OpenPubkey: Augmenting OpenID Connect with User held Signing Keys by Heilman, Mugnier, Filippidis, Goldberg, Lipman, Marcus, Milano, Premkumar and Unrein Aptos Keyless Accounts slides Aptos Improvement Proposal (AIP) on Keyless Accounts Aptos Randomness API in Move slides Aptos Randomness API in Move slides presented by Alin Tomescu Aptos Improvement Proposal (AIP) on the Move Randomness APIs Check out the ZK Jobs BoardApplications to attend zkSummit11 are now open, head over to the zkSummit website to apply now. The event will be held on 10 April in Athens, Greece.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 | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

This week’s episode is a little different from the usual and is split into two parts with Anna and Kobi exploring the history of ZK Hack, its origins and how the event has evolved into what it is today, including current activity in the ZK Hack ecosystem. The second half of the show splits off into Anna and Nico chatting the top 3 hackers from ZK Hack IV Online, which wrapped back in February. Each mini interview catches up with one of the winners and dives into what it was like to hack on the puzzles, which their favourites were and how they can be improved in the future. Here’s some additional links for this episode:ZK Jobs Board ZK Hack WebsiteEpisode 211: It’s a wrap! ZK Hack Takeaways & What’s Next! ZK HACK IV - Overview & Workshop Introductions: map featured at 1m28s ZK Hack Discord ZK Hack Whiteboard Sessions Proofs, Arguments, and Zero-Knowledge by Justin Thaler ZK Hack Whiteboard Session 1 - What is a SNARK? with Dan Boneh ZK Hack Whiteboard Session 2 - Building a SNARK (Part I) with Dan Boneh ZK Hack Whiteboard Session 3 - Building a SNARK (Part II) with Dan BonehGroth16 Malleability by Geometry Episode 309: ZK Jargon Decoder with Nico Mohnblatt Zellic Wins Second Place in ZK Hack IV BlogSSTIC Techiepriyansh GitHub Sampritipanda GitHub Niooss-ledger GitHubApplications to attend zkSummit11 are now open, head over to the zkSummit website to apply now. The event will be held on 10 April in Athens, Greece.Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.This is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

In this week’s episode, Anna and Tarun catch up with Uma Roy, CEO and cofounder of Succinct. They dive into Succinct’s developments over the last year ranging from the work they did on the ZK bridge infrastructure to the Succinct platform, the Succinct prover network and their most recent release of SP1. They discuss connections between these products, how their development evolved, the competitive landscape, the future for the project and much more.Here’s some additional links for this episode:Introducing Blobstream by Celestia Succinct Labs SP1 GitHub ZK Jobs Board Episode 255: Verifying Consensus On-Chain with Succinct Episode 286: Paris 2023 Recap with Uma, Zaki and Tarun Alpha Succinct Hugging Face AIEpisode 296: Zeth, Bonsai and RISC Zero with Brian and Jeremy Episode 251: Exploring RISC Zero with Brian Retford and Jeremy Bruestle Understanding Lasso and Jolt, from theory to code by Ragsdale, Zhu and Thaler Applications to attend zkSummit11 are now open, head over to the zkSummit website to apply now. The event will be held on 10 April in Athens, Greece.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 | LinktreeSubscribe 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 Omer Shlomovits and Yuval Domb from Ingonyama. They go back to the start of the project, exploring Ingonyama’s initial vision for what ZK Hardware could be, how the field has evolved and how they are accelerating ZK Hardware today. The group discuss hardware product cycles, the hardware and algorithmic components, how a ZK ASIC is developed, they review some of the latest research from Ingonyama and more.Here’s some additional links for this episode:Episode 158: Threshold Cryptography with Omer Shlomovits from ZenGoEpisode 258: Ultrasound Money & VRFs with Justin Drake The first ever SNARK proving ASIC tweet by drakefjustinEpisode 266: ZK Hardware Sessions with Zprize Pt. 1Episode 267: ZK Hardware Sessions with Zprize Pt. 2 ZK10: ZPU: The Zero-Knowledge Processing Unit - Yuval DombSupranational WebsiteAccseal Twitter Episode 311: The Launch of Celestia and Beyond Episode 308: Avail’s Approach to DA with Prabal Banerjee Episode 301: EigenLayer @ DevconnectICICLE GitHub by Igonyama Lazzo + Jolt by a16z HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates by Chen, Bünz, Boneh and Zhang E The Sum-Check Protocol over Fields of Small Characteristic by Thaler Episode 303: A Dive into Binius with UlvetannaSumcheck 201 Paper by Ingonyama Applications to attend zkSummit11 are now open, head over to the zkSummit website to apply now. The event will be held on 10 April in Athens, Greece.Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.This is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

In this week’s episode, Anna and Tarun interview Brian Weickmann & Richard Liang from the ZKP2P project. They cover the opportunities and challenges of building ZK applications with the current tools available, as well as revisit the topic of ZK Email and explore how this lies at the heart of the current version of ZKP2P. They also discuss the goals of ZKP2P, what’s happening under the hood, the types of experiments and initiatives the project is running, how a user can already use the existing product and the opportunities systems like ZKP2P open up.Here’s some additional links for this episode:ZKP2P zkSummit11 Axiom’s Halo2 library Episode 302: ZK for web2 interop with zkLogin & ZK Email ZK Email 0xPARC 0xPARC Videos - Introduction to Circom ZKP2P - FAQ on UPIIndia: the frontier of payments innovationZK Hack Whiteboard Sessions Fibonacci Sequence ZK Regex Website Gnosis Pay TLSNotary Plaid Applications to attend zkSummit11 are now open, head over to the zkSummit website to apply now. The event will be held on 10 April in Athens, Greece.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 | LinktreeSubscribe 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 chat with Yaz Khoury and Ismail Khoffi from Celestia. They share how the team prepared for the launch of the Celestia mainnet and what has been happening at Celestia since. They revisit the topic of DA (Data Availability) and explore how rollups and dApp developers can already use the Celestia DA layer. The group discusses Blobstream, which brings the benefits of Celestia to Ethereum and helps to scale the network, as well as community building, the modular thesis and much more.Here’s some additional links for this episode:Episode 151: John Adler on Optimistic vs ZK Rollup and the data availability problem Episode 208: Digging into Data Availability with Ismail Khoffi from Celestia Episode 268: A Rollup-Centric Future & Sovereign Chains with Mustafa Al-Bassam Ismail Khoffi of Celestia (Sovereign Radio) Celestia Improvement Proposal GitHub Introducing the Celestia Improvement Proposal Process Introduction to Arbitrum rollups with Celestia as DA Introducing Blobstream: streaming modular DA to Ethereum Raspberry Pi Foundation Succinct NetworkEpisode 308: Avail’s Approach to DA with Prabal Banerjee Episode 217: Information Theory & Blockchain with Sreeram Kannan Cosmos Hub Modular Summit Website Applications to attend zkSummit11 are now open, head over to the zkSummit website to apply now. The event will be held on 10 April in Athens, Greece.Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

In this week’s episode, Anna and Tarun chat with Noam Nisan, Professor at the Hebrew University of Jerusalem, Principle Researcher at StarkWare Industries and one of the pioneers in the field of Algorithmic Game Theory. They cover his extensive research and academic background, starting with his work on complexity theory as well as Algorithmic Game Theory and his current work on blockchains and Tokenomics at StarkWare. They discuss his recent blog post; Simple Tokenomics for a Proof-of-Stake Utility Token, comparing the measurable Tokenomic outcomes of different live PoS systems and explore how Noam aimed to better communicate best practices for those designing these systems, plus much more.Here’s some additional links for this episode:Simple Tokenomics for a Proof-of-Stake Utility Token by Noam NisanAlgorithmic Game Theory by Nisan, Roughgarden, Tardos and Vasirani The Elements of Computing Systems by Nisan and Schocken Game Theory, Alive by Karlin and Peres Algorithmic VS Mechanism Design The Federmann Center for the Study of Rationality at the Hebrew University of Jerusalem Combinatorial agency by Babaioff, Feldman, Nisan and Winter Noam Nisan Google Scholar From Nand to Tetris Part 1 Applications to attend zkSummit11 are now open, head over to the zkSummit website to apply now. The event will be held on 10 April in Athens, Greece.Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

** This episode uses visual aids and slides throughout, you may want to check out the video version here**In this week’s episode, Anna and Nico Mohnblatt from Geometry Research host a ZK Jargon Decoder episode. Based on Nico’s ZK Jargon Decoder Website, they discuss some of the confusing terms and concepts commonly used by the ZK community. The session aims to be digestible for those still in the early stages of their ZK learning journey, but it does take a dive into the depths of detail every now and again! This episode uses visual aids and slides throughout, so you may want to check out the full video version of this discussion over on the ZK Podcast YouTube channel. This ZK Jargon Decoder Session is also very well complimented by the ZK Whiteboard sessions. Nico specifically references sessions 1, 4, 5 and 6. Here’s some additional links for this episode:ZK HACK IV - ZK Jargon Decoder ZK Jargon Decoder GitHub ZK Hack IV Sessions Playlist ZK-WALDO: A Simple Zero Knowledge Proof ZK Whiteboard Sessions: What is a SNARK? With Dan Boneh ZK Whiteboard Sessions: SNARKs vs. STARKs with Bobbin Threadbare and Brendan Farmer PLONKish Arithmetization - ZK Jargon Decoder Description ZK Whiteboard Sessions: PLONK and Custom Gates with Adrian Hamelink Oracles - ZK Jargon Decoder Description FRI Summary 1 - Contextualizing STARKs, ALI, FRI, and DEEP by RISC Zero Study Club R1CS - ZK Jargon Decoder Description ZK Whiteboard Sessions: Lookup Arguments for Performance Optimisation with Mary Maller The Billiard Ball Example presented by Campbell R. Harvey ZK Podcast Episode 21: Introduction to Zero Knowledge Proofs Applications to attend zkSummit11 are now open, head over to the zkSummit website to apply now. The event will be held on 10 April in Athens, Greece.ZK Hack IV online is now live, sign up for the final session on Tuesday 6 Feb here. For the latest news on the event check out the zhhack.dev/zkhackIV website.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 | LinktreeSubscribe 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 Prabal Banerjee, co-founder of Avail. They deep dive into Prabal’s career, starting with his work in academia, his move to Polygon and to his spinning out the Avail project. They discuss how the project was built, tech decisions and the motivations behind them as well as their use of KZG, validity proofs and their position within the Ethereum and wider blockchain ecosystem. They go on to revisit Data Availability and the interaction with different parts of the modular blockchain stack, comparing Avail to competing systems and cover edge-cases and their impact in a DA-secured stack. Here’s some additional links for this episode:Polygon.technology Fraud and Data Availability Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities by Al-Bassam, Sonnino and Buterin Episode 208: Digging into Data Availability with Ismail Khoffi from Celestia Episode 268: A Rollup-Centric Future & Sovereign Chains with Mustafa Al-Bassam Episode 301: EigenLayer @ Devconnect Episode 217: Information Theory & Blockchain with Sreeram Kannan Substrate Website Starknet WebsiteSubWallet Website Solana Website Applications to attend and speak at zkSummit11 are now open, head over to the zkSummit website to apply now. The event will be held on 10 April in Athens, Greece.ZK Hack IV online is now live, sign up for the next session on Tuesday 30 Jan here. For the latest news on the event check out the zhhack.dev/zkhackIV website.Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

This week, Anna caught up on all things Aleo with Howard Wu co-founder of the Aleo Network & Alex Pruden executive director of the Aleo Foundation. Howard was last on the show back in 2020 when Aleo was in its infancy, so the group dive into how the project has evolved over the last few years, covering lessons learned along the way as well as technical decisions, detours, breakthroughs and reflecting on initial goals as they built out the system. Here’s some additional links for this episode:Episode 144: Aleo with Howard WuEpisode 38: Intro to zkSNARKs with Howard Wuzk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure by Rosenberg, White, Garman, and MierszPass by Aleo Cloudflare Aleo HQ GitHub for ZEXE Leo by AleoPenumbra ZK Hack IV online is now live, sign up for the next session on Tuesday 23 Jan here. For the latest news on the event check out the zhhack.dev/zkhackIV website.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 | LinktreeSubscribe 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 cohosts Guillermo, Kobi, Nico and Tarun share their predictions, hopes (and worries) for ZK in 2024. They cover emerging ideas in ZK, research predictions, dream applications, the best case for ZK in 2024, the worst case for ZK, possible ‘Black Swans’ and more. ZK Hack IV online is coming soon, sign up for the kick-off session on 16th Jan here. For the latest news on the event check out the zhhack.dev/zkhackIV website.Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

In this week’s episode, Anna catches up in person with Guillermo, Tarun and Alex Evans for a look back at 2023. They revisit their state of mind back in Jan 2023 and share how the year unfolded and evolved for each of them as well as the ZK space as a whole. They survey the themes, applications and research topics that dominated ZK throughout this year and offer retrospective takes on how the ecosystem has changed. Hope you enjoy! We are taking the next week off, but will return with our look forward to 2024 episode in the new year. Here’s some additional links for this episode:Succinct Proofs in Linear Algebra by Evans and Angeris17 misconceptions about SNARKs (and why they hold us back) by ThalerAnna Rose’s zkpod.ai Blog Postzkpod.ai WebsiteEpisode 265: Where ZK and ML intersect with Yi Sun and Daniel KangEpisode 256: New ZK Use Cases with Dan Boneh Episode 260: ZK in 2023 with Kobi, Guillermo, and Tarun Episode 302: ZK for web2 interop with zkLogin & ZK Email zkSummit9 Playlist ZK Hack Lisbon ZK Hack IstanbulSPLA Study GroupZK Hack DiscordZK Hack IV online is coming soon, sign up for the kick-off session on 16th Jan here. For the latest news on the event check out the zhhack.dev/zkhackIV website.Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript