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

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

Joe Bonneau, Assistant Professor at NYU and Research Partner at a16z crypto research, dives into cutting-edge zero-knowledge technologies. He discusses naysayer proofs, which simplify verification in cryptography. The conversation then shifts to the role of zero-knowledge middleboxes in enhancing online privacy and the DARPA SIEVE Project aimed at advancing ZK methods. Bonneau also explores decentralized sealed-bid auctions, showcasing how blockchain can ensure privacy while maintaining transparency in bidding processes. A wealth of knowledge and innovation unfolds!

Ismael Hishon-Rezaizadeh and Charalampos Papamanthou discuss zk-powered coprocessors, Verifiable SQL, Reckle Trees, prover marketplace, infrastructure, and bringing general computing concepts into decentralized blockchain systems. They explore the benefits for dApp developers, historical data access challenges, and the use of ZKPs for secure validation.

Hart Lambur from Across discusses cross-chain interoperability and Uma, sharing insights on bridges, messaging speed, intent structures, and interoperability challenges. The conversation covers financial optimizations, stake attacks, growth predictions, and the Ethereum vs Solana competition. The hosts also banter about Belgium, events in Brussels, and the rise of financial nihilism in the crypto space.

Learn about the upcoming ZK Hack event in Montreal happening on August 9th to 11th. Attendees can hack on ZKTools, meet experts, and find collaborators. Partners like RISC-Zero, Novonet, Gevilot, and O1 Labs will showcase tools and offer bounties.

Varun Srinivasan, co-founder of Farcaster, discusses the innovative design space and applications of the project. Topics include decentralized social networks, combatting spam, storage rent, privacy, Sign in with Farcaster, user control, and community-based optimization.

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

Alessandro Chiesa and Eylon Yogev discuss constructing cryptographic proofs from ideal hash functions, exploring SNARKs and Alessandro's role in ZK systems. They delve into superposition queries, limitations of the random oracle model, and future standardizations. The podcast highlights the importance of systematizing cryptographic proofs for security and efficiency.

Guests Sims Gautam and Liam Eagen from Alpen Labs discuss utilizing ZK for Bitcoin L2s, BitVM, covenants, and SNARKnado. They explore the distinctions between Bridge Operators in Bitcoin and Eth L2s, creating DA and authentic synthetic assets, and ways to enhance trust models and security in Bitcoin.