Zero Knowledge

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. Further Reading: 03:52 * Robust Restaking Networks by Naveen Durvasula and Tim Roughgarden (https://arxiv.org/pdf/2407.21785) 06:00 * EigenLayer: The Restaking Collective EigenLayer Team (https://docs.eigenlayer.xyz/assets/files/EigenLayer_WhitePaper-88c47923ca0319870c611decd6e562ad.pdf) * General Bio + Previous Research of Naveen Durvasula (https://ndurvasula.com/) 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)

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) 13:23 * Certificate Revocation and Certificate Update by Naor and Nissim (https://www.usenix.org/legacy/publications/library/proceedings/sec98/full_papers/nissim/nissim.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) * A Certified Digital Signature by Ralph C. Merkle (https://link.springer.com/chapter/10.1007/0-387-34805-0_21) 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/) and use code ZKPOD50 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) 9:08 * SchellingCoin: A Minimal-Trust Universal Data Feed (https://blog.ethereum.org/2014/03/28/schellingcoin-a-minimal-trust-universal-data-feed) 39:13 * ERC-7683 Cross Chain Intents Website (https://www.erc7683.org/) 50:58 * Episode 286: Paris 2023 Recap with Uma, Zaki and Tarun (https://zeroknowledge.fm/286-2/) 50:58 * Episode 292: State of ZK – Live at zkSummit10! (https://zeroknowledge.fm/292-2/) 59:17 * Bell Curve Podcast - Deep Dive: The CAKE Framework & Building a One Click Experience | Hart Lambur & Stephane Gosselin (https://blockworks.co/podcast/bellcurve/47eed0f8-484e-11ef-8935-2b8c95821ab4) 1:23:39 * ZK Whiteboard Sessions (https://zkhack.dev/whiteboard/) 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 Gautam (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 explores BitVM, covenants, the distinction between the Bridge Operators and sequencers in this model and how this differs from how these actors work in Eth L2s. They then dive into SNARKnado, including what is happening under the hood, the ways in which this system offers round-based fraud games mixed with ZK and which agent provides DA and more. Here’s some additional links for this episode: Bulletproofs++: Next Generation Confidential Transactions via Reciprocal Set Membership Arguments by Eagen, Kanjalkar, Ruffing, Nick (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 Gevulot is the first decentralized proving layer. With Gevulot, users can generate and verify proofs using any proof system, for any use case. Gevulot is offering priority access to ZK Podcast listeners, register on gevulot.com and write “Zk Podcast” in the note field of the registration form! Aleo (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 how NEBRA UPA, or Universal Proof Aggregation, can mitigate the high price of putting ZKPs on-chain. They cover what it takes to incorporate proving systems into NEBRA UPA as well as the benefits that these systems will bring, how developers are meant to interact with them, and future integrations to enable seamless cross-zkRollup applications. They cover prover marketplaces, verification aggregation systems, and the design space that these systems open up. Here’s some additional links for this episode: NEBRA NEBRA UPA Demo NEBRA Docs UPA Gas Costs by NEBRA MIT Bitcoin Club fflonK: a Fast-Fourier inspired verifier efficient version of PlonK by Gabizon and Williamson UniPlonK: PlonK with Universal Verifier by Chu, Gomes, Iglesias, Norton and Tebbs The Web3 Summit is back! The next edition will be happening in Berlin from Aug 19-21! You can head over to web3summit.com to apply, learn more and grab your tickets today. Episode Sponsors Launching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimized bridge. Follow Namada on Twitter @namada for more information and join the community on Discord discord.gg/namada. Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/ If you like what we do: Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube