Zero Knowledge is a podcast which goes deep into the tech that will power the emerging Web3 and the community that is building it. The podcast is made for fellow developers and people looking to educate themselves on the inner workings of the space. We try to be non-speculative, don't talk (much) t…
zk, blockchain, crypto, anna, technical, understanding, deep, questions, best, great.
Listeners of Zero Knowledge that love the show mention:There's no interview this week, but we have some ad spot availability coming up! If you want to reach a highly technical ZK audience and get eyes on your project, tooling, hiring, and more, get in touch at sponsorships@zeroknowledge.fm. If you would like to donate individually to the show, our eth address is here: 0xE2C080047213C1d8cDf2099E0B07479C5D9cee8a
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
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) --------------- zkSummit13 happens next week! Buy your ticket now at www.zksummit.com. ---------------...
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!
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...
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
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,...
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...
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:...
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 YouTubeRead 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 WebsiteZK HACK Website ZK HACK Whiteboard SessionsRareSkills ZK BookJeffrey Scholz on MediumJeffrey Scholz's course on UdemyConsensys Bootcamp in 2021Encode ClubZK Podcast Episode 309 - ZK Jargon Decoder with Nico Mohnblatt videoZK HACK - Thaler Book Study Group Playlist on YouTubeThe 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
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
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
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
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
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
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.
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 (https://jobsboard.zeroknowledge.fm/job/102/community-marketing-manager/) to amplify the podcast's reach authentically and a Strategic Growth Lead (https://jobsboard.zeroknowledge.fm/job/422/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 https://jobsboard.zeroknowledge.fm/ ! 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 (https://x.com/tarunchitra), Nico (https://x.com/nico_mnbl) and Guillermo (https://x.com/GuilleAngeris) 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: Circle STARKs by Haböck, Levit and Papini (https://eprint.iacr.org/2024/278.pdf) StarkWare Unveils New 'Stwo' Cryptographic Prover That's 'Blazingly Fast' (https://www.coindesk.com/tech/2024/02/29/starkware-unveils-new-stwo-cryptographic-prover-thats-blazingly-fast) ZK12: WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification by Eylon Yogev (https://www.youtube.com/watch?v=iPKzmxLDdII) Episode 290: Exploring, Teaching and Auditing ZK with David Wong (https://zeroknowledge.fm/290-2/) Episode 345: Latest ZK Research with Dan Boneh (https://zeroknowledge.fm/345-2/) LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems by Dan Boneh and Binyi Chen (https://eprint.iacr.org/2024/257.pdf) LaBRADOR: Compact Proofs for R1CS from Module-SIS? by Ward Beullens and Gregor Seiler (https://eprint.iacr.org/2022/1341.pdf) Quantum Algorithms for Lattice Problems by Yilei Chen (https://eprint.iacr.org/2024/555.pdf) Episode 325: Web Proofs with Tracy from Pluto (https://zeroknowledge.fm/325-2/) ZODA: Zero-Overhead Data Availability by Evans, Mohnblatt and Angeris (https://angeris.github.io/papers/da-construction.pdf) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Summary In this week's episode, Anna (https://x.com/AnnaRRose) catches up with Dan Boneh (https://twitter.com/danboneh), 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: 0:03:08.3 Episode 256: New ZK Use Cases with Dan Boneh (https://zeroknowledge.fm/256-2/) Episode 100: Dan Boneh on the past, present & future of cryptography (https://zeroknowledge.fm/100-2/) 0:03:44.6 Episode 341: coSNARKs with Ais and Lukas from TACEO (https://zeroknowledge.fm/341-2/) 0:07:57.2 LaBRADOR: Compact Proofs for R1CS from Module-SIS? Ward Beullens and Gregor Seiler (https://eprint.iacr.org/2022/1341.pdf) 0:07:57.2 Bulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Poelstra, Wuille, and Maxwell (https://eprint.iacr.org/2017/1066.pdf) 0:09:44.7 Greyhound: Fast Polynomial Commitments from Lattices by Nguyen and Seiler (https://eprint.iacr.org/2024/1293.pdf) 0:11:28.3 LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems Dan Boneh and Binyi Chen (https://eprint.iacr.org/2024/257.pdf) 0:12:48.2 Protostar: Generic Efficient Accumulation/Folding for Special-sound Protocols by Bünz and Chen (https://eprint.iacr.org/2023/620.pdf) 0:13:03.3 BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes by Zeilberger, Chen and Fisch (https://eprint.iacr.org/2023/1705.pdf) 0:13:03.3 Blaze: Fast SNARKs from Interleaved RAA Codes by Brehm, Chen, Fisch, Resch, Rothblum and Zeilberger (https://eprint.iacr.org/2024/1609.pdf) 0:13:03.3 Episode 277: Nova and Beyond with Srinath Setty (https://zeroknowledge.fm/277-2/) 0:31:16.5 Verifiable FHE via Lattice-based SNARKs by Atapoor, Baghery, Pereira and Spiessens (https://eprint.iacr.org/2024/032.pdf) 0:35:15.6 ARC: Accumulation for Reed–Solomon Codes by Bünz, Mishra, Nguyen and Wang (https://eprint.iacr.org/2024/1731.pdf) 0:49:10.9 VerITAS: Verifying Image Transformations at Scale by Datta, Chen and Boneh (https://eprint.iacr.org/2024/1066.pdf) 1:00:42.7 ZK Whiteboard Sessions - Module One: What is a SNARK? by Dan Boneh (https://zkhack.dev/whiteboard/module-one/) ZK Hack V (https://zkhack.dev/zkhackV/) kicks off this week, running from Nov 26 to Dec 17! Sign up for your spot here (https://zkhack.dev/zkhackV/). Check out the latest jobs in ZK at the ZK Podcast jobs board here! (https://jobsboard.zeroknowledge.fm/) Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Summary This week, Anna (https://x.com/AnnaRRose) and Nico (https://x.com/nico_mnbl) 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 (https://www.youtube.com/watch?v=68AXfOR74cA) Episode 309 - ZK Jargon Decoder with Nico Mohnblatt (https://www.youtube.com/watch?v=UKiQ6jTsv4E) ZK Hack Montréal (https://www.zkmontreal.com/) Under The Hood of zkID: - Nicolas Mohnblatt - Web3 Summit 2024 Berlin (https://youtu.be/JIZcDaPJjUg?si=-9eTMiQffKZA4U_j) Panel Discussion w/ Anna Rose, Jim Posen, Nicolas Mohnblatt - Web3 Summit 2024 Berlin (https://youtu.be/2AkMEYkU7yY?si=7y505ALxJBZlGNMl) zkSummit Website (https://www.zksummit.com/) zkSummit11 Playlist (https://www.youtube.com/watch?v=_Ao6ikWSgOY&list=PLj80z0cJm8QFy2umHqu77a8dbZSqpSH54) zkSummit12 Live Link (https://www.youtube.com/live/lVvct93zJz0?si=BKK-Uu7K9QjDakON) Episode 338: On Trust Infrastructure with Arnaud Schenk (https://zeroknowledge.fm/338-2/) Panel: ZK Applications (https://www.youtube.com/watch?v=UD_9yjRD3tc&t=673s) ZK Whiteboard Sessions - S2M1: What is Zero-Knowledge (like, actually)? with David Wong (https://www.youtube.com/watch?v=ksTTyt0GTvQ&t=129s) 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 (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) Episode Sponsors Have you heard about o1Labs (https://www.o1labs.org/)? 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 (https://www.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 (http://aleo.org/) 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 (http://leo-lang.org/), or head on over to aleo.org (http://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 (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Summary This week Anna (https://x.com/AnnaRRose) chats with Mikerah Quintyne-Collins (https://x.com/badcryptobitch) from HashCloak (https://x.com/hashcloak) and Stoffel Labs (https://x.com/StoffelMPC). They discuss how Mikerah got her start in the crypto space and then dive into the work she did at ChainSafe (https://chainsafe.io/) 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 (https://zkmesh.substack.com/) @badcryptobitch Twitter (https://x.com/badcryptobitch) 03:24 Episode 40: Benedikt Bünz on Bulletproofs and Verifiable Delay Functions (https://zeroknowledge.fm/40-2/) 04:54 Ethereum Founder Vitalik talk 2017- What is Cryptoeconomics? (https://www.youtube.com/watch?v=eotdyanxKV4) 11:03 “I will quite literally drop out if we got $100k in ETH” Tweet by Mikerah (https://x.com/badcryptobitch/status/1075184655609937920) 13:01 “I am being told I should brag more about co-inventing rollups” Tweet by Mikerah (https://x.com/badcryptobitch/status/1832057683970760734) 15:36 Building Scalable Decentralized Payment Systems by Adlerand Quintyne-Collins (https://arxiv.org/pdf/1904.06441) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) Episode Sponsor Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
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 (https://zeroknowledge.fm/) and twitter (https://x.com/zeroknowledgefm) for updates about the show (and soon an updated website!)
Summary This week Anna (https://x.com/AnnaRRose) catches up with Zac Williamson (https://x.com/Zac_Aztec) & Ariel Gabizon (https://x.com/rel_zeta_tech) from Aztec (https://aztec.network/). They explore what's new since they were both on the show last spring before diving into the pair's work over the last year, covering everything from Zac's contributions to Aztec 3 to Ariel's latest research on IVC with his publications of the Protostar and Stackproofs works. Here's some additional links for this episode: [Episode 273: History of Plonk, Noir, and the building of Aztec 3(]https://zeroknowledge.fm/273-2/) Episode 274: SNARKs: A Trilogy with Ariel Gabizon (https://zeroknowledge.fm/274-2/) 5:51 * zkSummit: plookup: Speeding up the PLONK prover - Zac Williamson & Ariel Gabizon (https://www.youtube.com/watch?v=Vdlc1CmRYRY) 13:01 * HyperNova: Recursive arguments for customizable constraint systems by Kothapalli and Setty (https://eprint.iacr.org/2023/573.pdf) 13:01 * ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols by Bünz and Chen (https://eprint.iacr.org/2023/620.pdf) 27:24 * cq: Cached quotients for fast lookups by Eagen, Fiore and Gabizon (https://eprint.iacr.org/2022/1763.pdf) 34:54 * Delegating Computation: Interactive Proofs for Muggles by Goldwasser, Kalai and Rothblum (https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/2008-DelegatingComputation.pdf) 34:54 * Unlocking the lookup singularity with Lasso by Setty, Thaler and Wahby (https://people.cs.georgetown.edu/jthaler/Lasso-paper.pdf) 36:36 * Stackproofs: Private proofs of stack and contract execution using Protogalaxy by Eagen, Gabizon, Sefranek, Towa and Williamson (https://eprint.iacr.org/2024/1281.pdf) 54:32 * Accumulation without Homomorphism by Bünz, Mishra, Nguyen and Wang (https://eprint.iacr.org/2024/474.pdf) 55:24 * Aztec.network (https://aztec.network/) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) zkSummit12 is happening in Lisbon next week on Oct 8th! Applications to attend are now open at zksummit.com (https://www.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 (https://gevulot.com/). Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Summary This week Anna (https://x.com/AnnaRRose) and Nico (https://x.com/nico_mnbl) chat with Lukas Helminger (https://x.com/luhelminger) and Ais Connolly (https://x.com/aisconnolly) from TACEO (https://x.com/TACEO_IO). 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 (https://taceo.io/) TACEO Docs (https://docs.taceo.io/) TACEO GitHub (https://github.com/TaceoLabs) Hashing it out: coSNARKs at TACEO (https://blog.taceo.io/hashing-it-out/) Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets by Ozdemir and Boneh (https://eprint.iacr.org/2021/1530.pdf) Privately Connecting Mobility to Infectious Diseases via Applied Cryptography Bampoulidis, Bruni, Helminger, Kales, Rechberger, and Walch (https://eprint.iacr.org/2020/522.pdf) Large-Scale MPC: Scaling Private Iris Code Uniqueness Checks to Millions of Users by Bloemen, Kales, Sippl and Walch (https://eprint.iacr.org/2024/705.pdf) Collaborative SNARKs by Roman Walch (https://rwalch.at/talk/pse_tokyo_co-circom/) Notes on Collaborative zkSNARKs (https://www.leku.blog/co-snarks/) MPC Primer - coCircom (https://docs.taceo.io/mpc-primer.html) ZK Podcast clip about Collaborative Zero-Knowledge Proofs (https://share.snipd.com/snip/818975b8-8178-437b-bfa3-b5f82b1b7fcc) from Episode 256: New ZK Use Cases with Dan Boneh (https://zeroknowledge.fm/256-2/) coSNARKs - coCircom (https://docs.taceo.io/collsnarks.html) Exploring Collaborative Zero-Knowledge Proofs (https://www.zkon.xyz/blog/collaborative-zero-knowledge-proofs-co-zkps-web3) ZK11: MPC-Enabled Proof Markets - Daniel Kales (https://www.youtube.com/watch?v=4-W5nnsf9-A) coCircom Repo (https://github.com/TaceoLabs/collaborative-circom) coSNARKs Demo: Max Pick Challenge (https://blog.taceo.io/max-pick-challenge/) MPC Uniqueness Check GitHub (https://github.com/worldcoin/mpc-uniqueness-check) coSNARKs Telegram Channel (https://t.me/collaborativeSNARK) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com (https://www.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 (https://gevulot.com/). Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Summary This week Anna (https://x.com/AnnaRRose) and Zaki Manian (https://x.com/zmanian) dive into the Cosmos (https://cosmos.network/) 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: 03:50 * Episode 286: Paris 2023 Recap with Uma, Zaki and Tarun (https://zeroknowledge.fm/286-2/) 20:38 * Episode 263: Cosmos, Sommelier and Emerging Assets with Zaki Manian (https://zeroknowledge.fm/263-2/) 32:16 * Episode 337: Restaking Research with Naveen & Tarun (https://zeroknowledge.fm/337-2/) 55:11 * Cosmos SDK GitHub (https://github.com/cosmos/cosmos-sdk) * Cosmos Website (https://cosmos.network/) * Cosmos SDK Documentation (https://docs.cosmos.network/) * Privacy in Cosmos Live: Zaki Manian (Sommelier)- The Unbearable Weight of Sovereign Multichain UX (https://youtu.be/rBdl_xbk_Cw) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com (https://www.zksummit.com/), apply today as spots are limited! Episode Sponsors Get ready to build with intention. Anoma (https://anoma.net/) 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 (https://x.com/anoma) Aleo (http://aleo.org/) 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/ (http://aleo.org/) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Summary In this week's episode, Anna (https://x.com/AnnaRRose) and Tarun (https://x.com/tarunchitra) catch up with Andrew Miller (https://x.com/socrates1024). 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: 3:59 * Andrew Miller works (https://soc1024.ece.illinois.edu/) 5:32 * SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies by Bonneau, Miller, Clark, Narayanan, Kroll, Felten (https://jbonneau.com/doc/BMCNKF15-IEEESP-bitcoin.pdf) 11:45 * Zerocash: Decentralized Anonymous Payments from Bitcoin by Ben-Sasson, Chiesa, Garman, Green, Miers, Tromer, and Virza (https://eprint.iacr.org/2014/349.pdf) 21:33 * The Honey Badger of BFT Protocols by Miller, Xia, Croman, Shi, and Song (https://eprint.iacr.org/2016/199.pdf) 28:50 * DelegaTEE: Brokered Delegation Using Trusted Execution Environments by Matetic, Schneider, Miller, Juels and Capkun (https://eprint.iacr.org/2018/160) 33:02 * Ratel: MPC-extensions for Smart Contracts by Li, Soska, Huang, Bellemare, Quintyne-Collins, Wang, Liu, Song and Miller (https://eprint.iacr.org/2023/1909) 33:02 * Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts by Cheng, Zhang, Kos, He, Hynes, Johnson, Juels, Miller and Song (https://arxiv.org/pdf/1804.05141) 1:01:26 * Demo of IT from Xyn and Ryan (https://teleport.best/) 1:01:26 * Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets by Kelkar, Babel, Daian, Austgen, Buterin and Juels (https://eprint.iacr.org/2023/044) 1:06:20 * Off-Chain Coordination via Liquefaction - James Austgen | MEV-SBC '24 (https://www.youtube.com/watch?v=I5sBmoeSc2Q) zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com (https://www.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 (https://gevulot.com/). Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Summary This week Anna (https://x.com/AnnaRRose) and Nico (https://x.com/nico_mnbl) chat with Arnaud Schenk (https://x.com/_arnauds_), one of the original co-founders of Aztec (https://aztec.network/) and creator of the Polaris Fellowship (https://www.polaris-fellowship.com/). 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 (https://zeroknowledge.fm/75-2/) 05:09 * Episode 176: Zk-zk-rollup & zk.money with Zac and Joe from Aztec (https://zeroknowledge.fm/176-2/) 05:09 * Episode 273: History of Plonk, Noir, and the building of Aztec 3 (https://zeroknowledge.fm/273-2/) 07:38 * Episode 237: Exploring ZK Research with Jens Groth (https://zeroknowledge.fm/237-2/) 20:01 * Into the deep end: making sense of PLONK - Zac Williamson (CTO, Aztec Protocol) (https://www.youtube.com/watch?v=ty-LZf0YCK0&list=PLj80z0cJm8QFnY6VLVa84nr-21DNvjWH7&index=156) 23:55 * Collaborative Circles: Friendship Dynamics and Creative Work by Michael P. Farrell (https://press.uchicago.edu/ucp/books/book/chicago/C/bo3645929.html) 27:05 * No Sense of Place: The Impact of Electronic Media on Social Behavior by Joshua Meyrowitz (https://global.oup.com/academic/product/no-sense-of-place-9780195042313?cc=us&lang=en&) 29:33 * On Trust Infrastructure by Arnaud Schenk (https://gestalt.cafe/trust-infrastructure/) 39:28 * Crypto's Three Body Problem by Lotti, Shorin, Hart (https://otherinter.net/research/three-body-problem/) 48:13 * Plurality philosophy in an incredibly oversized nutshell by Vitalik Buterin (https://vitalik.eth.limo/general/2024/08/21/plurality.html) 52:21 * From Counterculture to Cyberculture: Stewart Brand, the Whole Earth Network, and the Rise of Digital Utopianism by Fred Turner (https://press.uchicago.edu/ucp/books/book/chicago/F/bo3773600.html) 52:21 * The Electric Kool-Aid Acid Test by Tom Wolfe (https://voidnetwork.gr/wp-content/uploads/2021/01/The-Electric-Kool-Aid-Acid-Test-Tom-Wolfe.pdf) * On Crypto Article by Arnaud Schenk (https://gestalt.cafe/on-crypto/) * Knot Group Wiki (https://knot-group.github.io/wiki/) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com (https://www.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 (https://gevulot.com/). Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Summary In this week's episode Anna (https://x.com/AnnaRRose) and Tarun (https://x.com/tarunchitra) chat with Naveen Durvasula (https://x.com/n_durvasula) about his recent work ‘Robust Restaking Networks (https://arxiv.org/pdf/2407.21785)'. 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. Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com (https://www.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 (https://gevulot.com/). Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Summary In this week's episode, Anna (https://x.com/AnnaRRose) chats with Connor O'Hara (https://theorg.com/org/celestia/org-chart/connor-o-hara) from Celestia (https://celestia.org/). After discussing the latest ZK Hack Montréal event (https://www.zkmontreal.com/) 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 (https://zeroknowledge.fm/311-2/) 03:22 ZK Hack Montréal (https://www.zkmontreal.com/) 08:08 ZK Hack Devfolio (https://zk-hack-montreal.devfolio.co/) 24:33 Episode 151: John Adler on Optimistic vs ZK Rollup and the data availability problem (https://zeroknowledge.fm/151-2/) 30:24 Episode 208: Digging into Data Availability with Ismail Khoffi from Celestia (https://zeroknowledge.fm/208-2/) 41:26 Episode 220: The Road to Plonky2 with Brendan and Daniel from Polygon Zero (https://zeroknowledge.fm/220-2/) 46:49 Vitalik Buterin Endgame Blog Post (https://vitalik.eth.limo/general/2021/12/06/endgame.html) 49:41 Light Nodes Everywhere: Why & How - Connor O'Hara at Modulard Summit (https://www.youtube.com/watch?v=L6KmiFSN0OA) 56:29 ZK11: 1 Circuit, 5 Rollups: Building a Re-Usable DA Integration for ZK Rollups - Connor O'Hara (https://www.youtube.com/watch?v=gsOvk7GSxLg) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) Episode Sponsors Get ready to build with intention. Anoma (https://anoma.net/) 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 (https://x.com/anoma) Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Summary In this week's episode, Anna (https://x.com/AnnaRRose) chats with Jens Groth (https://x.com/JensGroth16) and Daniel Marin (https://x.com/danielmarinq) from Nexus (https://nexus.xyz/). 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 (https://zkproof.org/events/zkproof-6-berlin/) Nova: Recursive Zero-Knowledge Arguments from Folding Schemes by Kothapalli, Setty, and Tzialla (https://eprint.iacr.org/2021/370.pdf) Nexus zkVM (https://nexus.xyz/) Episode 284: Using Formal Verification on ZK Systems with Jon Stephens (https://zeroknowledge.fm/284-2/) Jens Groth Publication List (http://www0.cs.ucl.ac.uk/staff/j.groth/) Nexus Docs (https://docs.nexus.xyz/) Nexus 1.0 Machine (https://nexus.xyz/zkvm-v1) Enabling General-Purpose Verifiable Computing | Daniel Marin (Oct 2023) on YouTube (https://www.youtube.com/watch?v=G4ziNNC4zHM) Nexus 2.0 (https://nexus.xyz/zkvm) SETI@home (https://setiathome.berkeley.edu/) zkSummit12 is happening in Lisbon on Oct 8th! Applications to speak or attend are now open at zksummit.com (https://www.zksummit.com/), speaker applications close TODAY (Aug 14th) and early bird tickets for attendance are limited! Launching soon, Namada (https://namada.net/) 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 (https://twitter.com/namada) for more information and join the community on Discord (http://discord.gg/namada). Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Hey! There is no episode this week, but wanted to share an update about zkSummit 12 - happening on Oct 8 in Lisbon. If you want to join, be sure to apply to attend. If you want to apply to speak, the deadline to apply is Aug 15th. Both application to attend and the application to speak are in the same form that can be found @ www.zksummit.com
Summary In this week's episode, Anna (https://x.com/AnnaRRose) and Guille (https://x.com/guilleangeris) catch up with Joe Bonneau (https://twitter.com/josephbonneau), Assistant Professor at NYU (https://nyu.edu/) and Research Partner at a16z crypto research (https://a16zcrypto.com/research/). They discuss the research Joe has been working on since he was last on the show in 2019, including Naysayer proofs (https://eprint.iacr.org/2023/1472.pdf), Zero-Knowledge Middleboxes (https://eprint.iacr.org/2021/1022.pdf), Sealed-Bid Auctions (https://eprint.iacr.org/2023/1336.pdf), and other ZK-related research projects to date. Here's some additional links for this episode: 03:18 * Episode 103: Exploring VDFs with Joseph Bonneau (https://zeroknowledge.fm/103-2/) 05:05 * Bitcoin and Cryptocurrency Technologies by Narayanan, Bonneau, Felten, Miller and Goldfeder (https://d28rh4a8wq0iu5.cloudfront.net/bitcointech/readings/princeton_bitcoin_book.pdf) 11:00 * Verifiable Delay Functions Dan Boneh, Joseph Bonneau, Benedikt Bunz, and Ben Fisch (https://eprint.iacr.org/2018/601.pdf) 16:18 * Naysayer proofs by Seres, Glaeser and Bonneau (https://eprint.iacr.org/2023/1472.pdf) 16:18 * Sealed-Bid Auctions (https://eprint.iacr.org/2023/1336.pdf) 31:06 * DARPA SIEVE Project (https://www.darpa.mil/program/securing-information-for-encrypted-verification-and-evaluation) 37:59 * Zombie: Middleboxes that Don't Snoop by Zhang, DeStefano, Arun, Bonneau, Grubbs and Walfish (https://eprint.iacr.org/2023/1022.pdf) 37:59 * Zero-Knowledge Middleboxes by Grubbs, Arun, Zhang, Bonneau and Walfish (https://eprint.iacr.org/2021/1022.pdf) 51:18 * jbonneau.com (http://jbonneau.com/) 58:04 * Riggs: Decentralized Sealed-Bid Auctions by Tyagi, Arun, Freitag, Wahby and Mazières (https://eprint.iacr.org/2023/1336.pdf) 58:04 * Cicada: A framework for private non-interactive on-chain auctions and voting by Glaeser, Seres, Zhu, and Bonneau (https://eprint.iacr.org/2023/1473.pdf) 1:06:17 * Atomic and Fair Data Exchange via Blockchain by Tas, Seres, Zhang, Melczer, Kelkar, Bonneau and Nikolaenko (https://eprint.iacr.org/2024/418.pdf) * Zero Knowledge Summit (zkSummit) 2024: Field notes (https://a16zcrypto.com/posts/article/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 (https://zk-hack-montreal.devfolio.co/). zkSummit12 is happening in Lisbon on Oct 8th! Applications to speak or attend are now open at zksummit.com (https://www.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 (https://gevulot.com/). Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Summary In this week's episode Anna (https://x.com/AnnaRRose) chats with Ismael Hishon-Rezaizadeh (https://x.com/ismael_h_r), Founder and CEO at Lagrange Labs (https://www.lagrange.dev/) and Charalampos (Babis) Papamanthou (https://x.com/chbpap), 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: 13:07 * Protocols for Public Key Cryptosystems by Ralph C. Merkle (https://www.ralphmerkle.com/papers/Protocols.pdf) 14:08 * Episode 57: Merklize this! Merkle Trees & Patricia Tries (https://zeroknowledge.fm/57-2/) 26:32 * Episode 327: Proof Aggregation with Shumo and Yi from NEBRA (https://zeroknowledge.fm/327-2/) 36:57 * Reckle Trees: Updatable Merkle Batch Proofs with Applications by Papamanthou, Srinivasan, Gailly, Hishon-Rezaizadeh, Salumets and Golemac (https://eprint.iacr.org/2024/493.pdf) 36:57 * Lagrange Labs GitHub on Reckle Trees (https://github.com/Lagrange-Labs/reckle-trees) The Web3 Summit is back! The next edition will be happening in Berlin from Aug 19-21, you can head over to web3summit.com (http://web3summit.com/) to apply, learn more and grab your tickets today. Episode Sponsors Launching soon, Namada (https://namada.net/) 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 (https://twitter.com/namada) for more information and join the community on Discord (http://discord.gg/namada). Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Summary In this week's episode, Anna (https://x.com/AnnaRRose) and Tarun (https://x.com/tarunchitra) sit down with Hart Lambur (https://x.com/hal2001) irl at EthCC week in Brussels. They start by exploring Hart's project Across (https://across.to/) - a cross-chain interoperability solution and sister project to Uma (https://uma.xyz/). 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 (https://x.com/hal2001) Uma Website (https://uma.xyz/) Uma Docs (https://docs.uma.xyz/) Across Protocol Website (https://across.to/) Across Protocol Medium (https://medium.com/across-protocol) Further links to follow ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here (https://zk-hack-montreal.devfolio.co/). Episode Sponsors Launching soon, Namada (https://namada.net/) 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 (https://twitter.com/namada) for more information and join the community on Discord (http://discord.gg/namada). Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
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 (https://x.com/AnnaRRose) and Tarun (https://x.com/tarunchitra) meet with Varun Srinivasan (https://x.com/varunsrin), co-founder of Farcaster (https://www.farcaster.xyz/). 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 (https://www.farcaster.xyz/) Mastodon (https://mastodon.social/explore) Diaspora (https://diasporafoundation.org/) Mastodon ActivityPub (https://docs.joinmastodon.org/spec/activitypub/) Secure Scuttlebutt (https://scuttlebutt.nz/) Supercast (https://www.supercast.xyz/) Drakula (https://drakula.app) What is Frames? (https://docs.farcaster.xyz/learn/what-is-farcaster/frames) Frames Spec (https://docs.farcaster.xyz/reference/frames/spec) Farcaster Frames: what you need to know (https://www.dynamic.xyz/blog/farcaster-frames) Warpcast (https://warpcast.com/) ZORA (https://zora.co/?feed=following) Surveycaster (https://surveycaster.xyz/welcome) Blowfish (https://blowfish.xyz/) OpenRank (https://openrank.com/) OpenRank Docs - Farcaster Integration (https://docs.openrank.com/integrations/farcaster) Neynar (https://neynar.com) ZK Hack Montreal is happening Aug 9 - 11! Apply to join the hackathon here (https://zk-hack-montreal.devfolio.co/). Episode Sponsors Gevulot (http://gevulot.com/) 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 (http://gevulot.com/) and write “ZK Podcast” in the note field of the registration form! Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Summary In this week's episode, Anna (https://x.com/AnnaRRose) and Guille (https://x.com/GuilleAngeris) chat with Ying Tong Lai (https://x.com/therealyingtong) from Geometry Research (https://geometry.dev/) and Bryan Gillespie (https://x.com/bryan_gillespie) from Inversed Tech (https://inversed.tech/) about their latest research and works to date. They dive into the pair's recent work ‘SoK: Programmable Privacy in Distributed Systems (https://eprint.iacr.org/2024/982)', 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 (https://eprint.iacr.org/2024/982) Private Programmability in Zcash - Research Results and Community Discussion (https://forum.zcashcommunity.com/t/48016) Zcash Halo2 GitHub (https://github.com/zcash/halo2) Zk0x02 - An intro to Zcash and zkSNARKs - Ariel Gabizon (Zcash) (https://www.youtube.com/watch?v=Kx4cIkCY2EA) Moving SNARKs from the generic to algebraic group model by Ariel Gabizon (https://medium.com/@arielgabizon/moving-snarks-from-the-generic-to-algebraic-group-model-56549d60b90d) Explaining SNARKs Part I: Homomorphic Hidings by Ariel Gabizon (https://electriccoin.co/blog/snark-explain/) Differential Privacy in Constant Function Market Makers by Chitra, Angeris and Evans (https://fc22.ifca.ai/preproceedings/30.pdf) A Note on Privacy in Constant Function Market Makers by Angeris, Evans and Chitra (https://angeris.github.io/papers/cfmm-privacy.pdf) On Privacy Notions in Anonymous Communication by Kuhn, Beck, Schiffner, Jorswieck, and Strufe (https://arxiv.org/pdf/1812.05638) ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here (https://zk-hack-montreal.devfolio.co/). Episode Sponsors Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Summary In this week's episode Anna (https://x.com/AnnaRRose) and Nico (https://x.com/nico_mnbl) chat with Alessandro Chiesa (https://ic-people.epfl.ch/~achiesa/), Associate Professor at EPFL and Eylon Yogev (https://eylonyogev.com/), Professor at Bar-Ilan University. They discuss their recent publication; Building Cryptographic Proofs from Hash Functions (https://snargsbook.org/), 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 (https://snargsbook.org/) Episode 200: SNARK Research & Pedagogy with Alessandro Chiesa (https://zeroknowledge.fm/episode-200-snark-research-pedagogy-with-alessandro-chiesa/) Barriers for Succinct Arguments in the Random Oracle Model by Chiesa and Eylon Yogev (https://eprint.iacr.org/2020/1427.pdf) STIR: Reed–Solomon Proximity Testing with Fewer Queries by Arnon, Chiesa, Fenzi and Eylon Yogev (https://eprint.iacr.org/2024/390.pdf) ZK Podcast Episode 321: STIR with Gal Arnon & Giacomo Fenzi (https://zeroknowledge.fm/321-2/) Computationally Sound Proofs by Micali (https://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/Computationally_Sound_Proofs.pdf) Tight Security Bounds for Micali's SNARGs by Chiesa and Yogev (https://eprint.iacr.org/2021/188.pdf) Interactive Oracle Proofs by Ben-Sasson, Chiesa, and Spooner (https://eprint.iacr.org/2016/116.pdf) Summer School on Probabilistic Proofs: Foundations and Frontiers of Probabilistic Proofs in Zürich, Switzerland (https://www.slmath.org/summer-schools/1037) Proofs, Arguments, and Zero-Knowledge by Thaler (https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf) ZK HACK Discord and Justin Thaler Study Club (https://discord.gg/Nw7PKJ7e) Justin Thaler Study Club by ZK HACK on YouTube (https://www.youtube.com/playlist?list=PLj80z0cJm8QEmZkGgSOLpr_8B08SCWVQ7) Subquadratic SNARGs in the Random Oracle Model by Chiesa and Yogev (https://eprint.iacr.org/2021/281.pdf) ZK Learning Course (https://zk-learning.org/) ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here (https://zk-hack-montreal.devfolio.co/). Episode Sponsors Launching soon, Namada (https://namada.net/) 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 (https://twitter.com/namada) for more information and join the community on Discord (http://discord.gg/namada). Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Summary In this week's episode, Anna (https://x.com/AnnaRRose) and Tarun (https://x.com/tarunchitra) chat with Sims Gautham (https://twitter.com/simanta_gautam) and Liam Eagen (https://twitter.com/liameagen) from Alpen Labs (https://twitter.com/alpenlabs). 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 explore 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 (https://eprint.iacr.org/2022/510.pdf) Bulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Andrew, Wuille, and Maxwell (https://eprint.iacr.org/2017/1066.pdf) Zcash Website (https://z.cash/) Protogalaxy: Efficient Protostar-style folding of multiple instances by Eagen and Gabizon (https://eprint.iacr.org/2023/1106.pdf) cq: * Cached quotients for fast lookups by Eagen, Fiore and Gabizon (https://eprint.iacr.org/2022/1763.pdf) Zerocoin: Anonymous Distributed E-Cash from Bitcoin by Miers, Garman, Green and Rubin (https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6547123) Zerocash: Decentralized Anonymous Payments from Bitcoin (extended version) by Ben-Sasson, Chiesa, Garman, Green, Miers, Tromer and Virza (https://eprint.iacr.org/2014/349.pdf) Monero Ring Signatures (https://www.getmonero.org/resources/moneropedia/ringsignatures.html) Blockstream Whitepapers (https://blockstream.com/whitepapers/) Scalable, transparent, and post-quantum secure computational integrity by Ben-Sasson, Bentov, Horesh and Riabzev (https://eprint.iacr.org/2018/046.pdf) Ordinal Theory by Casey Rodarmor (https://rodarmor.com/blog/ordinal-theory/) BitVM: Compute Anything on Bitcoin by Robin Linus (https://bitvm.org/bitvm.pdf) BitVM 2 (https://bitvm.org/bitvm2) BitVM Website (https://bitvm.org/) Jeremy Rubin Blog on Lamport Signatures (https://rubin.io/blog/2021/07/02/signing-5-bytes/) Introducting SNARKnado by Alpen Labs (https://www.alpenlabs.io/blog/snarknado-practical-round-efficient-snark-verifier-on-bitcoin) ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here (https://zk-hack-montreal.devfolio.co/). Episode Sponsors Launching soon, Namada (https://namada.net/) 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 (https://twitter.com/namada) for more information and join the community on Discord discord.gg/namada (http://discord.gg/namada). Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)
Summary In this week's episode Anna chats with Shumo and Yi from NEBRA. They discuss the high price of putting ZKPs on-chain before diving into NEBRA's proposed solution to mitigating this, their Universal Proof Aggregation product. They cover what it takes to incorporate extra pricing 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. The group round off by discussing prover marketplaces, verification aggregation systems, and the design space that this all opens 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 Hyle Aligned Layer 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
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
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.dev Pluto.xyz Docs.Pluto.xyz Nouns Party 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
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
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 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 externally-audited, 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
In this week's episode, Anna (https://twitter.com/annarrose) and Guillermo (https://twitter.com/GuilleAngeris) catch up with Justin Thaler (https://twitter.com/SuccinctJT), Associate Professor at Georgetown (https://people.cs.georgetown.edu/jthaler/) and Research Partner at a16z (https://a16zcrypto.com/team/justin-thaler/). The group dive into a handful of points from Justin's ‘17 Misconceptions about SNARKs' (https://a16zcrypto.com/posts/article/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 (https://a16zcrypto.com/posts/article/17-misconceptions-about-snarks/) ZK Hack Discord: contains Study Club, Thaler Book Club and more (https://discord.com/invite/5FQymwzAnf) Approaching the 'lookup singularity': Introducing Lasso and Jolt (https://a16zcrypto.com/posts/article/introducing-lasso-and-jolt/) Simons Institute for the Theory of Computing (https://simons.berkeley.edu/homepage) zkStudyClub - Lasso/Jolt (Justin Thaler, Georgetown University/a16z) (https://www.youtube.com/watch?v=Q9t3ALjpRwk&pp=ygUNanVzdGluIHRoYWxlcg%3D%3D) Bitcoin and Cryptocurrency Technologies Book (https://bitcoinbook.cs.princeton.edu/) Episode 103: Exploring VDFs with Joseph Bonneau (https://zeroknowledge.fm/103-2/) Proofs, Arguments, and Zero-Knowledge by Justin Thaler (https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.html) Episode 261: Proofs, Arguments, and ZKPs with Justin Thaler (https://zeroknowledge.fm/261-2/) The MoonMath Manual by Least Authority (https://leastauthority.com/community-matters/moonmath-manual/) ZK Hack Whiteboard Sessions (https://zkhack.dev/whiteboard/) Unlocking the lookup singularity with Lasso by Setty, Thaler and Wahby (https://eprint.iacr.org/2023/1216.pdf) Jolt: SNARKs for Virtual Machines via Lookups by Arun, Setty and Thaler (https://eprint.iacr.org/2023/1217.pdf) Justin Thaler a16z Articles (https://a16zcrypto.com/team/justin-thaler) Episode 293: Exploring Security of ZK Systems with Nethermind's Michał & Albert (https://zeroknowledge.fm/293-2/) Fiat-Shamir Security of FRI and Related SNARKs by Block, Garreta, Katz, Thaler, Tiwari and Zając (https://eprint.iacr.org/2023/1071.pdf) Fiat-Shamir Transformation of Multi-Round Interactive Proofs by Attema, Fehr and Klooß (https://eprint.iacr.org/2021/1377.pdf) Caulk: Lookup Arguments in Sublinear Time by Zapico, Buterin, Khovratovich, Maller, Nitulescu and Simkin (https://eprint.iacr.org/2022/621.pdf) Spartan: Efficient and general-purpose zkSNARKs without trusted setup by Srinath Setty (https://eprint.iacr.org/2019/550.pdf) Stwo Prover: The next-gen of STARK scaling is here (https://starkware.co/resource/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 (https://www.zkkrakow.com/) Launching soon, Namada (https://namada.net/) 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 (https://twitter.com/namada) for more information and join the community on Discord discord.gg/namada (http://discord.gg/namada). Aleo (http://aleo.org/) 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/ (http://aleo.org/) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)
In this week's episode, Anna (https://twitter.com/annarrose) and Kobi (https://twitter.com/kobigurk) chat with Gal Arnon (https://galarnon42.github.io/), Ph.D student from the Weizmann Institute of Science (https://weizmann.ac.il/pages/) & Giacomo Fenzi (https://twitter.com/GiacomoFenzi), Ph.D. student in the COMPSEC Lab (https://compsec.epfl.ch/) at EPFL (https://epfl.ch/). Gal and Giacomo are amongst the co-authors of ‘STIR: Reed–Solomon Proximity Testing with Fewer Queries' (https://eprint.iacr.org/2024/390) 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 (https://eprint.iacr.org/2024/248.pdf) Lattice-Based Polynomial Commitments: Towards Asymptotic and Concrete Efficiency by Fenzi, Moghaddas and Nguyen (https://eprint.iacr.org/2023/846.pdf) DEEP-FRI: Sampling Outside the Box Improves Soundness by Ben-Sasson, Goldberg, Kopparty and Saraf (https://eprint.iacr.org/2019/336.pdf) Proximity Gaps for Reed–Solomon Codes by Ben-Sasson, Carmon, Ishai, Kopparty and Saraf (https://eprint.iacr.org/2020/654.pdf) IOPs with Inverse Polynomial Soundness Error by Arnon, Chiesa and Yogev (https://eprint.iacr.org/2023/1062.pdf) Episode 293: Exploring Security of ZK Systems with Nethermind's Michał & Albert (https://zeroknowledge.fm/293-2/) Circle STARKs by Haböck, Levit and Papini (https://eprint.iacr.org/2024/278.pdf) Episode 304: Exploring FRI, LogUp and using M31 for STARKs with Ulrich Haböck (https://zeroknowledge.fm/304-2/) FRI-Binius: Improved Polynomial Commitments for Binary Towers (https://www.ulvetanna.io/news/fri-binius) The next ZK Hack IRL is happening May 17-19 in Kraków, apply to join now at zkkrakow.com (https://www.zkkrakow.com/) Aleo (http://aleo.org/) 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/ (http://aleo.org/) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)
A quick announcement for ZK Hack Krakow, happening from May 17-19 2024 in Krakow (!). In the spirit of ZK Hack Lisbon and ZK Hack Istanbul, ZK Hack Krakow will be hosting hackers from all over the world to join us for a weekend of building and experimenting with zk tech. Sponsors for this edition are Mina, O1Labs, Aleph Zero, Polygon, Scroll, Avail, Nethermind and more. If you are interested, apply as a hacker - there will be prizes and bounties to be won, new friends and collaborators to meet and great workshops to get you up to date on ZK tooling. All happening May 17-19 2024 https://www.zkkrakow.com/
In this week's episode, Anna (https://twitter.com/annarrose) and Brendan Farmer (https://twitter.com/_bfarmer) catch up with Ben Fisch (https://twitter.com/benafisch), CEO of Espresso Systems (https://www.espressosys.com/). 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 (https://zeroknowledge.fm/222-2/) Episode 139: Findora with Benedikt Bunz and Ben Fisch (https://zeroknowledge.fm/139-2/) Episode 88: Accumulators with Ben Fisch (https://zeroknowledge.fm/88-2/) CAPE: Configurable Asset Privacy for Ethereum (https://medium.com/@espressosys/cape-configurable-asset-privacy-for-ethereum-71919935643b) CAPE GitHub by Espresso Systems (https://github.com/EspressoSystems/cape) Astria Website (https://www.astria.org/) The Future of MEV is SUAVE by Flashbots (https://writings.flashbots.net/the-future-of-mev-is-suave) Optimism by Superchain (https://app.optimism.io/superchain/) Ben Fisch - Beyond the Base Layer at EthDenver (https://www.youtube.com/watch?v=UhLnX1t2GXU) EigenDA (https://docs.eigenlayer.xyz/eigenda/overview) Episode 188: Analyzing Osmosis & Preventing MEV with Sunny and Dev (https://zeroknowledge.fm/188-2/) Episode 216: A Dip into the Mempool & MEV with Project Blanc (https://zeroknowledge.fm/216-2/) Episode 243: Dive Back into MEV with Alex Stokes and Chris Hager (https://zeroknowledge.fm/243-2/) Episode 291: MEV, Mechanism Design & the Censorship Problem with Mallesh M Pai (https://zeroknowledge.fm/291-2/) Aggregated Blockchains: A New Thesis by Polygon (https://polygon.technology/blog/aggregated-blockchains-a-new-thesis) Based rollups—superpowers from L1 sequencing by Ethereum Research (https://ethresear.ch/t/based-rollups-superpowers-from-l1-sequencing/15016) MEV-Boost GitHub (https://github.com/flashbots/mev-boost) The next ZK Hack IRL is happening May 17-19 in Kraków, apply to join now at zkkrakow.com (https://www.zkkrakow.com/). Launching soon, Namada (https://namada.net/) 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 (https://twitter.com/namada) for more information and join the community on Discord discord.gg/namada (http://discord.gg/namada). Aleo (http://aleo.org/) 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/ (http://aleo.org/). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)
In this week's episode, Anna (https://twitter.com/annarrose) catches up with Jordi Baylina (https://twitter.com/jbaylina), OG Ethereum contributor and Polygon zkEVM (https://polygon.technology/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 (https://polygon.technology/polygon-zkevm) Episode 194: zkEVM with Jordi & David from Hermez (https://zeroknowledge.fm/episode-194-zkevm-with-jordi-david-from-hermez/) Episode 145: Circom & Hermez with Jordi Baylina (https://zeroknowledge.fm/145-2/) Episode 304: Exploring FRI, LogUp and using M31 for STARKs with Ulrich Haböck (https://zeroknowledge.fm/304-2/) Episode 303: A Dive into Binius with Ulvetanna (https://zeroknowledge.fm/303-2/) Episode 313: Revisiting Hardware with Ingonyama (https://zeroknowledge.fm/313-2/) The next ZK Hack IRL is happening May 17-19 in Kraków, apply to join now at zkkrakow.com (https://www.zkkrakow.com/) Gevulot (http://gevulot.com/) 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 (http://gevulot.com/) and write “Zk Podcast” in the note field of the registration form! Aleo (http://aleo.org/) 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/ (http://aleo.org/) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram)