Zero Knowledge

Michał Zając and Albert Garreta from the Nethermind team discuss the origin story of Nethermind, cryptography research on FRI-based protocols, identifying security issues with Fiat-Shamir, exploring ZK malleability and aggregation, and building SNARKs over rings.

In this special live episode, recorded at zkSummit10, host Anna Rose chats with regular co-hosts Tarun Chitra, Guillermo Angeris and Nico Mohnblatt about the state of ZK today.They cover how the term ‘ZK’ has evolved, market trends that are relevant to the ZK community today and ZK ‘crossovers’ like ZKML or ZKFHE and their current status in the industry. They also discuss how the ZK space could grow in the future and share their predictions. Much of the conversation is fuelled by some great questions and comments from the live zk10 audience.This is the first episode recorded live from a ZK Podcast event, so if you have any feedback, pls tweet us @zeroknowledgefm!Here’s some additional links for this episode:Episode 90: MPC systems with Nigel SmartEpisode 173: Building Private AMMs with Guillermo Angeris (Guillermo’s first episode!)Episode 269: Auctions with Kshitij Kulkarni, Matheus V. X. Ferreira and Tarun Episode 270: FHE and ZKPs with Sunscreen’s Ravital Solomon 17 misconceptions about SNARKs (and why they hold us back) by Justin Thaler Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q4, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at aleo.org If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

Associate Professor of Economics at Rice University, Mallesh M Pai, discusses mechanism design in an economic context, focusing on censorship in MEV systems. They explore the impact of proposer builder separation on efficiency and censorship resistance. The conversation also touches on the connection between censorship and MEV, MEV blocking techniques, the role of finance in cryptocurrency, and using mechanism design to address censorship in blockchain systems.

David Wong, author of Real-World Cryptography book and cofounder of zksecurity.xyz, discusses his interest in cryptography, auditing techniques, common bugs in ZK code, and his work on Facebook crypto project and Mina project.

This week, host Anna Rose chats with Finch, Erwan and Jen from the Penumbra team. They share an update about Penumbra and discuss how this zk-powered project works under the hood. Specifically, how Penumbra harnesses ZK to offer new paradigms for staking, voting and trading. Here’s some additional links for this episode: Episode 247: Exploring Penumbra with Henry de Valence Penumbra Storage Penumbra GitHub ZK8: How to build a private DEX - Henry de Valence - Penumbra ZK8: Tiered Merkle Topiary in Rust – finch – Penumbra Labs Plaidfinch (Penumbra) - Interchain Private Trading with Penumbra Privacy in Cosmos Live: Finch (Penumbra)- Full-Stack Private Protocol Design A pure-Rust implementation of group operations on Ristretto and Curve25519curve25519-dalek GithubReplicating Market Makers by Angeris, Evans, ChitraSecureDropFurther reading;Penumbra’s DEX Arrives From The Future How to See in the Dark: Navigating Penumbra Private Governance on Penumbra Bringing Zero-Knowledge Proofs to Penumbra Introducing Poseidon377, our instantiation of a SNARK-friendly hash Testnet #4: Shielded Staking Is Here zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form Check out the ZK Jobs BoardAnoma’s first fractal instance, Namada, is launching soon!The MASP circuit's latest update enables shielded set rewards directly in the shielded set, a novel feature that funds privacy as a public good.Follow Namada on twitter @namada for more information and join the community on Discord discord.gg/namada. If you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

Or Sattath, Assistant Professor at Ben-Gurion University, talks about Quantum Cryptography and its implications for existing cryptography. They discuss Quantum Computing, Proof-of-work systems, game theory of mining, and the insecurity of quantum Bitcoin mining. They also explore Grover's Algorithm, block propagation, strategy and drawbacks in Quantum Cryptography, disruptive effects of Quantum Computing on cryptographic protocols, and the concept of a Quantum Canary.

This week, Anna Rose chats with Stefan George from Gnosis. They start with an update on the projects that have spun out of Gnosis - Safe, Zodiac, CoW Swap - as well as older experiments that the team had incubated. They then cover the evolution of Gnosis Chain from its origin as xDai, discuss the new aggregate bridge architecture Hashi and explore Gnosis Pay - an on-chain p2p payments product that fulfills some of the original motivations of Bitcoin. They discuss a range of relevant topics such as intents, prediction markets, account abstraction, ZK Bridges, decentralization and more.Here’s some additional links for this episode: Previous Podcast EpsEpisode 65: Bridges, xDai and Burner Wallets with Igor & Austin Episode 183: CowSwap & DAO Tech with Gnosis’s Martin Köppelmann Episode 255: Verifying Consensus On-Chain with Succinct Episode 285: Intents with Chris Goes from Anoma PapersWhy sharding is great: demystifying the technical properties Bitcoin: A Peer-to-Peer Electronic Cash System by Satoshi Nakamoto WebsitesGnosis Pay Website DXdao Website xDai Website EigenLayer Website zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form. Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.Polygon 2.0 and all of our ZK tech is open-source and community-driven. Reach out to the Polygon community on Discord to learn more, contribute, or join in and build the future of Web3 together with Polygon! Bonsai, RISC Zero’s most anticipated product, allows developers to prove huge programs off-chain, roll them into one succinct proof, and verify anywhere with low amounts of gas.Visit https://r0.link/ZKpodcast to learn more and sign up today for the Bonsai waitlist. If you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

This week, host Anna Rose and guests Uma Roy, Zaki Manian and Tarun Chitra recap all things EthCC Paris. This impromptu chat takes a look back at the topics, talks, parties and goings-on of the Paris week and what really caught their attention. Expect some spicy takes, offtopic rambles, inside scoops and more.Here’s some additional links for this episode: EthCC LinksEthCC Website EthCC Side Events EthCC Mary Maller - How can we use Zero-Knowledge Proofs in Ethereum? EthCC Vitalik Buterin - a history of account abstraction EthCC6 After Movie EthCC6 Main Playlist Modular Summit TalksModular Summit Modular Summit Day 1 - Fourier Stage Modular Summit Day 2 - Fourier Stage Modular Summit Day 1 - Galois Stage Modular Summit Day 2 - Galois Stage Other Talks and LinksEpisode 285: Intents with Chris Goes from AnomaGnosis Pay DeFi Security Summit ZK Paris ZK Validator <> Geometry Tweet Research Day 2023 Playlist Intent-Based Architectures and Their Risks by Georgios Konstantopoulos Ethereum DeFi Protocol Beanstalk Hacked for $182 Million—What You Need to KnowAnother $103M Disappears From Multichain in Potential ‘Rug Pull’zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form. Speaker applications close this Friday!Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.Polygon 2.0 and all of our ZK tech is open-source and community-driven. Reach out to the Polygon community on Discord to learn more, contribute, or join in and build the future of Web3 together with Polygon! Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.For questions, join their Discord at aleo.org/discord.If you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

This week, host Anna Rose and co-host Tarun Chitra catch up with Chris Goes from Heliax, the team behind Anoma and Namada. They start with a quick retrospective about IBC, a project he formerly worked on, and how the protocol has evolved since it launched. They dive into the concept of 'intents', exploring their origin, evolution, and discuss the intent-based systems that exist today. As well, they chat about the architectures enabled by a generalized intent-based infrastructure, the potential impacts on user experience, and the inherent trade-offs, particularly when zero-knowledge or privacy aspects are added to the mix.Further reading for this episode:Papers/DocsCosmos Whitepaper Anoma: Undefining Money Versatile commitments to value by Christopher Goes, Awa Sun Yin and Adrian Brink Differential Privacy in Constant Function Market Makers by Tarun Chitra, Guillermo Angeris and Alex Evans Wyvern Protocol Documents WebsitesSUAVE and the Future Opportunities and Challenges of MEV: Part I CoW Swap Zcash GitHub - Nullifiers Map of Zones WebsiteTalks/YouTubeRealizing Intents with a Resource Model - Christopher Goes at Research Day The Edge of MEV Switching Costs and the Slow Game - Christopher Goes at Research Day ZK8: Namada: asset-agnostic interchain privacy - Chris Goes - Anoma Christopher Goes - Anoma: an intent-centric Are Intents, SUAVE, Account Abstraction, & Cross-Chain Bridging all the same thing? - Uma Roy at Research DayPodcast EpsEpisode 115: Cosmos, IBC and ZKPs with Chris GoesEpisode 184: Anoma’s Adrian Brink on Validity Predicates, Ferveo DKG & MoreEpisode 253: A look into Namada and Anoma with Awa Sun YinzkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.Polygon 2.0 and all of our ZK tech is open-source and community-driven. Reach out to the Polygon community on Discord to learn more, contribute, or join in and build the future of Web3 together with Polygon! Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.For questions, join their Discord at aleo.org/discord.If you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

This week Anna Rose chats with Jon Stephens, Computer Science Ph.D. student in the UToPiA group at UT Austin and co-founder of Veridise. Veridise is a blockchain auditing firm that audits smart contracts and ZK systems. They discuss what led Jon to work on system security, what tools are available to test the security of ZK systems and the process of performing formal verification on ZK systems. They also cover general ZK security, why this topic matters and ways we can incentivise ethical disclosures when bugs and vulnerabilities are found. Additional reading for this week's episode;SmartPulse: Automated Checking of Temporal Properties in Smart Contracts by Stephens, Ferles, Mariano, Lahiri, and DilligCertifying Zero-Knowledge Circuits with Refinement Types by J. Liu, Kretz, H. Liu, Tan, Wang, Sun, Pearson, Miltner, Dillig, and FengPractical Security Analysis of Zero-Knowledge Proof Circuits by Wen, Stephens, Chen, Ferles, Pailoor, Charbonnet, Dillig and Feng Episode 67: Formal Verification with Martin LundfallEpisode 70: Digging into DAI with Rune Christensen from Maker Episode 255: Verifying Consensus On-Chain with Succinct Boogie: An Intermediate Verification Language Circom-lib How Coders Hacked Back to ‘Rescue’ $208 Million in Ethereum zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.Polygon 2.0 and all of our ZK tech is open-source and community-driven. Reach out to the Polygon community on Discord to learn more, contribute, or join in and build the future of Web3 together with Polygon! Anoma’s first fractal instance, Namada, is launching soon!The MASP circuit's latest update enables shielded set rewards directly in the shielded set, a novel feature that funds privacy as a public good.Follow Namada on twitter @namada for more information and join the community on Discord discord.gg/namada. If you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript