Zero Knowledge

In this week’s episode, host Anna Rose and cohost Nico Mohnblatt catch up with Ulrich Haböck, an applied cryptographer at Polygon Labs. This episode revolves around Ulrich’s journey into applied zero-knowledge cryptography, transitioning from an academic environment to being a full-time practitioner. They discuss his contributions to the field, including his many write-ups and manuscripts as well as his breakthrough research on Multivariate lookups with his work logUp. They also cover his work on logarithmic derivative lookups using GKR with Shahar Papini, as well as his innovative approaches to STARKs over finite fields that are not ‘NTT-friendly’. This episode offers a deep dive into the complexities and breakthroughs in applied cryptography.Here’s some additional links for this episode:A summary on the FRI low degree test by Ulrich Haböck Brakedown's expander code by Ulrich Haböck Improving LogUp with GKR - By Ulrich from PolygonImproving logarithmic derivative lookups using GKR by Papini and Haböck flookup: Fractional decomposition-based lookups in quasi-linear time independent of table size by Gabizon and Khovratovich Bulletproofs++: Next Generation Confidential Transactions via Reciprocal Set Membership Arguments by Eagen Kanjalkar, Ruffing and Nick Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution by Bootle, Cerulli, Groth, Jakobsen and Maller Understanding Lasso and Jolt, from theory to code ZK8: Hyperplonk: PLONK without FFTs and with high degree gates - Benedikt Bünz ZK9: logUp - Lookup arguments based on the logarithmic derivative - Ulrich HaböckZK10: Degree tricks in DEEP STARKs - Shahar Papini Orion: Zero Knowledge Proof with Linear Prover Time by Xie, Zhang and SongReed-Solomon Codes over the Circle Group by Haböck, Lubarov and Nabaglo Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS by Chiesa, Hu, Maller, Mishra, Vesely and Ward ZK Hack IV online is coming soon, visit zhhack.dev/zkhackIV for the latest news!Launching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimised bridge.Follow Namada on Twitter @namada for more information and join the community on Discord discord.gg/namada. If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

In this week's episode, Anna and cohost Brendan Farmer catch up with Jim Posen and Radi Cojbasic from Ulvetanna. They cover the origin story of Ulvetanna and their work on the ZK hardware/software intersection before moving on to discuss Binius, a new proving system they developed which is optimised for hardware. Binius is built on towers of binary fields and draws on recent breakthroughs on SNARKs. This work continues the trend towards the use of smaller fields and was inspired by the development of new lookup arguments, work done on multilinear provers and sum-check as well as the use of recursive composition in SNARKs. Here’s some additional links for this episode:Succinct Arguments over Towers of Binary Fields by Diamond and Posen Binius: a Hardware-Optimized SNARKEpisode 170: Hardware for ZKPs & VDFs with Supranational Episode 266: ZK Hardware Sessions with Zprize Pt. 1Episode 267: ZK Hardware Sessions with Zprize Pt. 2Scalable, transparent, and post-quantum secure computational integrity by Ben-Sasson, Bentov, Horesh, RiabzevMultivariate lookups based on logarithmic derivatives by Ulrich Haböck Episode 250: What’s the Deal with Hash Functions? Plonky2: Fast Recursive Arguments with PLONK and FRI by Polygon Zero Team ZK Hack IV online is coming soon, watch out for updates on zkhack.dev/zkhackIV!Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

This week Anna and cohost Kobi chat with both Kostas Kryptos from Mysten Labs, discussing the zkLogin project and Aayush Gupta representing the ZK Email + Email Wallet projects. They explore the use case of web2 onboarding into web3, through the lens of these two different projects which emerged independently but share a lot of the same characteristics. They discuss the way this use case problem was first identified, the solution that each project came up with independently, the decisions that each project took and the future use cases they would enable.Here’s some additional links mentioned in this episode:Sui by zkLogin zkSend by Mysten Labs ZK Email Email WalletAayush G’s ZK Email Blog JSON Web Token Winterfell STARK prover and verifier Contract Wallet Using Emails by Suegami and Shibano xJsnark: A Framework for Efficient Verifiable Computation by Kosba Papamanthou and Shi RSA Algorithm in Cryptography Further relevant links:Episode 227: Move & Sui with Sam Blackshear from Mysten LabsEpisode 257: Proof of Solvency with Kostas Chalkias ZK8: A New ZK Nullifier Signature for ECDSA - Aayush Gupta - 0xPARCZK10: ZK for authentication: How to SNARK sign-in w/ Google, Apple & Facebook - Kostas Check out the latest in ZK Jobs on our Jobs Board here.Launching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimised bridge.Follow Namada on Twitter @namada for more information and join the community on Discord discord.gg/namada If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

This week, Anna catches up with Tarun Chitra and Sreeram Kannan during a spontaneous session recorded at Devconnect 2023 in Istanbul! They cover a variety of topics seen at the event, including zk toolkits, intents and Data Availability, shedding light on how these ideas are reshaping the framework of digital interaction and governance. Their chat covers the challenges and opportunities these technologies present, highlighting their significance in the current ecosystem. Later, they explore the complexities and nuances of EigenLayer, offering detailed insights into its functionalities, applications, and potential impact on the industry. Here’s some additional links for this episode:ZK Hack IRL Istanbul wrap article ZK Hack Tweet announcing the winners. Sign up here for ZK Hack IV Online updates EigenLayer EigenLayer: The Restaking Collective by EigenLayer Team Parachains' Protocol Overview - reference to Fishermen Episode 217: Information Theory & Blockchain with Sreeram Kannan ZK7: Hyperscale Data Availability for ZK Systems - Sreeram Kanan - UoW / Layr Labs Sreeram Kannan - Introducing Programmable Trust + EigenLayer RoadmapAleo 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.orgIf you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

In this week’s episode, Anna takes a look back at the last 6 years of the Zero Knowledge Podcast, how it came to be and the journey the show has been on since that very first episode in 2017. Anna reviews the highs and lows of the show, touching on episodes which made a profound impact on her own journey in the ZK space, as well as episodes she wouldn’t rush to listen to again! Discover key show learnings, how the zkSummit formed and take a trip down memory lane in the 300th episode of Zero Knowledge Podcast.To check out all the ZK Podcast episodes mentioned in this episode, visit the zeroknowledge.fm website here Check out one of the earliest zkSummit talks on the very first event: Zero knowledge proofs intro with Str4d (Zcash) The full zkSummit PlaylistSign up here for ZK Hack IV Online updates If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

In this week's episode, Anna chats with Alex Gluchowski, CEO of Matter Labs & co-creator of the zkSync network. They catch up on the zkSync project since it launched in Feb 2023. They dive into recent initiatives like the ZK Stack framework, Hyperchains, and the ZK Credo mission statement. They also explore the upcoming Boojum proof system upgrade planned for zkSync Era and discuss the future of the zkSync project as a whole.Here’s some additional links for this episode:Introducing the ZK Stack Introduction to HyperchainsMatter Labs Era Boojum GitHubzkSync Era: Everything you need to know about ZK Credo, ZK Stack, & Boojum Upgrade Episode 72: zkSNARKs for Scale with Matter LabsEpisode 116: zkSync and Redshift: Matter Labs updateEpisode 175: zkEVM & zkPorter with Matter Labs Introducing zkSync: the missing link to mass adoption of Ethereum The different types of ZK-EVMs by Vitalik ButerinDifferent types of layer 2sL2BEAT emailwallet.org prove.email Check out the latest in ZK Jobs on our Jobs Board here.Launching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimised bridge.Follow Namada on Twitter @namada for more information and join the community on Discord discord.gg/namada If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

In this week's episode Anna Rose chats with Brandon Kase, CTO, and Steve Pack, Head of Product at O(1)Labs, focusing on the Mina Protocol. The discussion covers their journeys leading to their work on the project, developments in the Mina Protocol since the last appearance on ZK Podcast, and insights into the zkApps building environment. They delve into the technical aspects of o1js and the underlying philosophy that drives its design. The episode wraps with a forward-looking perspective on the potential applications of zero-knowledge proofs as the industry shifts from a research-centric to a builder-centric approach.Links referenced in this episode:Episode 54: Digging into recursive zkSNARKs with Coda Episode 199: Snapps on Mina with Emre and Izaak Episode 276: Expanding Computation on Ethereum with Axiom Further relevant links:Episode 113: Latest recursive SNARKitecture with Izaak Meckler from O(1)Labs O(1)Labs Website o1js GitHub Introduction to o1js Mina Protocol Docs Check out the ZK Jobs BoardNEAR Foundation and Polygon Labs just announced they are teaming up to build zkWASM, a zero-knowledge prover for WASM blockchains. This collaboration will create a more secure, interoperable Web3 ecosystem for an open web.NEAR’s deep WASM runtime expertise combined with Polygon Labs’ authority in ZK scaling technology, the zkWASM prover will be market leader when it launches in 2024. Stay up to date with the zkWASM announcement at near.org If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

In this week’s episode, Anna and Nico interview Or Sattath, Assistant Professor at the Ben-Gurion University in the Computer Science department. This is the 2nd episode with Or on this show, continuing the conversation around Quantum Cryptography. This time, he describes how we can transition from a pre-quantum to a post-quantum environment, looking at existing systems like Bitcoin and Ethereum. He covers why the methods used in the transition will be important, techniques on how this could be executed and the challenges in designing these techniques and the complications that can arise. Finally, they go on to discuss Quantum Money and recent works in this area.Here’s some additional links for this episode:Part 1 - Episode 288: Quantum Cryptography with Or Sattath Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer by Shor Shor’s Algorithm Grover’s Algorithm A fast quantum mechanical algorithm for database search by Grover Fawkescoin: A cryptocurrency without public-key cryptography by Bonneau and Miller Bitcoin is not quantum-safe, and how we can fix it when needed by ButerinCryptographic canaries and backups by Justin Drake Notes and recommended links by Or Sattath:NIST post-quantum standardization for post-quantum digital signatures and public-key encryption (or, more precisely, Key Encapsulation Mechanism, KEM). These are classical schemes that, unlike almost all the existing schemes that are used in practice, are secure against quantum adversaries.Signature Lifting (arXiv link) is discussed as a technique to migrate to post-quantum signatures, especially for those who didn't prepare in advance. Here's a recommended Twitter thread summarizing the results by Shai Wyborski, Or’s co-author.An approach to upgrade Bitcoin to quantum money is available here. This uses a cryptographic primitive which is called quantum lightning, which was introduced here.Some smart contacts capabilities can be supported as well. This construction is based on one-shot signatures, which isdiscussed in some detail during the interview. The bottom line of this work is that we can have the most important utility that Bitcoin provides, without the need for a blockchain, or any other consensus mechanism. Uncloneable cryptography was discussed during the interview. Quantum encryption with certified deletion was discussed as an interesting example of a property that can be achieved only in quantum cryptography.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

In this week’s episode, Anna and Nico catch up with Brian Retford and Jeremy Bruestle from RISC Zero. They delve into the current status of the project, breaking down the components of the stack, from the RISC Zero zkVM leveraging the RISC-V instruction set architecture to the Bonsai proving service and their new zkEVM, Zeth. They also touch on their design methodology, how the system components integrate and future developments for RISC Zero.Here’s some additional resources for this episode:RISC Zero Developer Guide: Rust Resources RISC Zero GitHub: Rust CratesUsing Continuations to Prove Any EVM TransactionRISC-V Website https://zkbench.devEpisode 251: Exploring RISC Zero with Brian Retford and Jeremy BruestleZK9: Future ZK Emerging Use Cases and Key Enablers – Brian Retford (RISC Zero) ZK Hack Lisbon: Creating Zero-Knowledge Proofs with RISC Zero Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ Launching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimised bridge.Follow Namada on Twitter @namada for more information and join the community on Discord discord.gg/namada If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

In this week’s episode, Anna Rose is joined by Nigel Smart, Professor at KU Leuven and Chief Academic Officer at Zama to discuss the advancements in MPC over recent years. Nigel unpacks core components of MPC systems, including garbled circuits, secret sharing, and FHE. They discuss both systems-level applications like DKGs and Threshold Signature Schemes and actual real-world deployments. Throughout the episode, they also discuss how MPC and ZK differ, but how they can be used together to enhance each other's capabilities.Here’s some additional links for this episode:17 misconceptions about SNARKs (and why they hold us back by Justin ThalerNigel Smart’s GitHub Unbound Security GitHub Unbound Security Twitter MPC Alliance What is a multi-party computation (MPC) wallet? Relevant ZK Podcast epsTrusted Setups & FHEEpisode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography Episode 124: Exploring FHE with Flavio Bergamaschi from IBM Research Episode 133: Trusted Setup Ceremonies Explored Episode 137: Trusted Setup Bonus: Tornado Cash Episode 248: Revisiting FHE with Rand Hindi from Zama Episode 270: FHE and ZKPs with Sunscreen’s Ravital Solomon MPCEpisode 90: MPC systems with Nigel SmartEpisode 203: MPC and DAGs with Aleph Zero’s Adam Gagol & Matthew Niemerg Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ RISC Zero’s out-of-the-box tooling allows developers to access the magic of ZK proofs from any chain without needing to learn custom languages or build custom zk circuits.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.Gnosis are searching for a VP of Technology who will provide technical leadership, foster innovation, and ensure the success of their technology.Check out the full job here If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

In this week’s episode, host Anna Rose and co-host Kobi Gurkan chat with Alex Evans and Guillermo Angeris about their new research paper on Succinct Proofs in Linear Algebra. The paper introduces a framework that simplifies the construction of succinct proofs and offers a toolkit of useful techniques. Their conversation also covers the use of randomized reductions in zero-knowledge proofs, the security of the FRI protocol, and the potential applications of the framework in other systems. Here’s some additional links for this episode:*PapersSuccinct Proofs in Linear Algebra by Evans and AngerisAlgebraic Reductions of Knowledge by Kothapalli and Parno Proximity Testing with Logarithmic Randomness by Diamond and PosenLigero: Lightweight Sublinear Arguments Without a Trusted Setup by Ames, Hazay, Ishai and VenkitasubramaniamSumcheck Arguments and their Applications by Bootle, Chiesa and Sotiraki Proofs, Arguments, and Zero-Knowledge by Thaler Stephen Boyd Papers *Other linksEpisode 140: Staking derivatives & DeFi with Alex Evans (and Tarun!)Episode 206: Distilling DeFi Primitives with Guillermo, Alex and Tarun Episode 271: Between Two ZK Events with Nico and Guillermo Episode 282: Error Correcting Codes & Information Theory with Ron Rothblum Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał & Albert ZK Hack Discord ZK Whiteboard SessionsApplications 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

On this week’s episode, Anna Rose interviews Michał Zając and Albert Garreta from the Nethermind team. They discuss the origin story of Nethermind and its role in the ecosystem today. They also delve into the cryptography research being done at Nethermind, including their work on proving the security of FRI-based protocols, identifying security issues with Fiat-Shamir, exploring topics like ZK malleability and aggregation, and building SNARKs over rings.Here’s some additional links for this episode:Fiat-Shamir Security of FRI and Related SNARKs by Block, Garreta, Katz, Thaler, Tiwari and Zając On Soundness Notions for Interactive Oracle Proofs by Block, Garreta, Tiwari and Zając NIZKs with an Untrusted CRS: Security in the Face of Parameter Subversion by Bellare, Fuchsbauer and Scafuro Mathematical Problems By Professor David Hilbert A summary on the FRI low degree test by Ulrich HaböckDEEP-FRI: Sampling Outside the Box Improves Soundness by Ben-Sasson, Goldberg, Kopparty, and SarafFiat-Shamir Transformation of Multi-Round Interactive Proofs by Attema, Fehr and Klooss Other Nethermind Projects;Lido: A proposal for partnering with Nethermind to design a mechanism for a good validator set maintenance. Phase II.Looking Forward: Obol V2Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ /////Polygon CDK is the go-to open source chain development kit for building and launching your own ZK-powered Ethereum L2. Using Polygon CDK, build chains precisely to your specs, from level of decentralization to throughput to cost. It’s the raw material of Polygon 2.0, an ecosystem of interconnected chains that create a value layer for the internet. Check out wiki.polygon.technology/docs/cdk to start experimenting with your own ZK powered L2 today. If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

In this 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

On this week’s episode, Anna Rose and Tarun Chitra chat with Mallesh Pai, Associate Professor of Economics at Rice University. They explore mechanism design in an economic context and Mallesh’s work around MEV topics - specifically on censorship in an MEV context and within his Special Mechanism Group. The discussion takes the team back into the topic of MEV, revisiting the proposer builder separation concept and the impact that this may have on the efficiency and censorship resistance of these systems. Here’s some additional links for this episode:Episode 183: CowSwap & DAO Tech with Gnosis’s Martin Köppelmann Episode 216: A Dip into the Mempool & MEV with Project Blanc Episode 243: Dive Back into MEV with Alex Stokes and Chris HagerEpisode 249: Impact of Tornado Cash: a Builders PerspectiveEpisode 269: Auctions with Kshitij Kulkarni, Matheus V. X. Ferreira and TarunVitalik’s Blog PostSpecial Mechanism Group’s Thread on Censoring EthBlock relating to ThreadSpecial Mechanism Group’s Research Papers (with explainers)zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form. 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. 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 | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

This week, Anna and Guillermo chat with David Wong, author of the Real-World Cryptography book, and a cofounder zksecurity.xyz - an auditing firm focused on Zero Knowledge technology. They chat about what first got him interested in cryptography, his early work as a security consultant, his work on the Facebook crypto project and the Mina project, zksecurity.xyz, auditing techniques and their efficacy in a ZK context, what common bugs are found in ZK code, and much more. Here’s some additional links for this episode: Crypto is not cryptocurrency NCC Group OCaml website Real-World Cryptography book Mina Protocol 3pages.fr The Frozen Heart vulnerability in PlonK | Trail of Bits Blog ZK Podcast Episode 284: Using Formal Verification on ZK Systems with Jon Stephens zkSecurity Website ZK Podcast Episode 257: Proof of Solvency with Kostas Chalkias - ZK Podcast ZK Podcast Episode 210: The Road to STARKs and Miden with Bobbin Threadbare - ZK Podcast ZK Podcast Episode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography - ZK Podcast   Check out the ZK Jobs Board for new job opportunities in the run up to the zkSummit 10!   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 newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

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

In this week’s episode, Anna Rose and Kobi Gurkan chat with Or Sattath, Assistant Professor at the Ben-Gurion University in the Computer Science department. They deep dive into Or’s work on Quantum Cryptography. They begin with definitions of Quantum Computing and Quantum Cryptography, covering what these will mean for existing cryptography. They also explore how new discoveries in this field can interact with existing Proof-of-work systems and how Quantum computers could affect the game theory of mining in the future. Here’s some additional links for this episode:On the insecurity of quantum Bitcoin mining by Sattath Strategies for quantum races by Lee, Ray, and Santha Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer by Shor Shor’s Algorithm Grover’s Algorithm A fast quantum mechanical algorithm for database search by Grover Bell’s Theorem More in-depth resources recommended by Or Sattath:A recommended smbc-comics about the power of quantum computing, authored by Zack Weinersmith (the usual cartoonist) and Scott Aaronson (a quantum computing expert)For an in-depth introduction to quantum computing, I recommend Ronald de-Wolf's lecture notes The Bitcoin backbone protocol with a single quantum miner, by Cojocaru et al The fingerprint of quantum mining slightly below 16 minutes by Nerem-Gaur Some estimates regarding timelines, which we didn't discuss, are available here and hereThe insecurity of quantum Bitcoin mining, and the need to change the tie-breaking rule.The work by Lee-Ray-Santh that analyzes the equilibrium strategy for multiple quantum miners, as a simplified one-shot game.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! If you like what we do:Find all our links here! @ZeroKnowledge | LinktreeSubscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on YouTube Read transcript

This week, Anna 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

This week, host Anna Rose and co-host Kobi Gurkan chat with Yohei Nakajima, General Partner at Untapped Capital and creator of BabyAGI. They cover a wide variety of topics from the world of AGIs and agents to building no-code software in public. They kick-off with a chat about how Yohei’s interest in NFTs led him down the AI ‘rabbit hole’ and how he started to build out experiments in public that have inspired a new group of AI tools and projects. They wrap up with a discussion about the possible impacts of some of this AI tech, how ZK may help mediate the challenges it introduces and more.Here’s some additional links for this episode;ReAct: Synergizing Reasoning and Acting in Language Models by Yao and Cao Episode 279: Intro to zkpod.ai with Anna and KobiBonus: zkpod.ai & Attested Audio Experiment with Daniel Kang BabyAGI GitHub Auto-GPT PixelBeasts Stable Diffusion DALL·E 2 Midjourney OpenAI Playground AI LangChainLlamaIndexDustUniversal Paperclips: the game by Frank Lantz AI and the Paperclip Problem Check out the Modular Summit here: https://modularsummit.dev/ zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form Anoma’s first fractal instance, Namada, is launching soon!Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way bridge.For privacy, Namada deploys an upgraded version of the multi-asset shielded pool (MASP) circuit that allows all assets (fungible and non-fungible) to share a common shielded set – this removes the size limits of the anonymity set and provides the best privacy guarantees possible for every user in the multichain.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

This week, host Anna Rose and Nico Mohnblatt chat with Ron Rothblum, Professor of Computer Science at Technion. They explore information theory and ZK, diving into the weeds on multiple topics including error correcting codes, FRI, FFTs, Reed-Solomon encoding, Fiat-Shamir and more. Here’s some additional links for this episode:Fiat-Shamir via List-Recoverable Codes (or: Parallel Repetition of GMW is not Zero-Knowledge) by Holmgren, Lombardi and RothblumProving as Fast as Computing: Succinct Arguments with Constant Prover Overhead by Ron-Zewi and Rothblum Faster Sounder Succinct Arguments and IOPs by Holmgren and Rothblum The Random Oracle Methodology, Revisited by Canetti, Goldreich and Halevi Linear-Time Arguments with Sublinear Verification from Tensor Codes by Bootle, Chiesa and Groth Testudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup by Campanelli, Gailly, Gennaro, Jovanovic, Mihali and Thaler Reed-Solomon Codes Shannon’s Source Coding Theorem Guy Rothblum Publications Episode 274: SNARKs: A Trilogy with Ariel Gabizon zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> https://9lcje6jbgv1.typeform.com/zkSummit10 Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.Interested in building private applications? Check out Aleo’s programming language called Leo that enables non-cryptographers to harness the power of ZKPs to deploy decentralized exchanges, hidden information games, regulated stablecoins, and more. Visit http://developer.aleo.org.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

In this week’s episode, host Anna Rose chats with Chhi'mèd Künzang and François Garillot from Lurk Labs about all things Lurk, Lisp and zk languages.They discuss the history of the Lurk project, from its beginnings with Protocol Labs (the team that built Filecoin), to its emergence as a Turing-complete programming language for recursive zkSNARKs. They discuss Lurk’s relationship with Lisp, what Lisp is, and how developers familiar with that family of languages would be able to interact with Lurk. They then discuss how Lurk compares to other zkDSLs and the new innovations this Lisp-based language brings to the table.Here’s some additional links for this episode:Programming Languages Circom Arkworks GitHub Leo by Aleo SnarkyJS Noir Lurk LinksLURK: Lambda, the Ultimate Recursive Knowledge by Amin, Burnham, Garillot, Gennaro, Künzang, Rogozin and Wong Lurk Lab Lurk Lab TwitterLurk Language Lurk GitHubAdditional Reading/ListeningA Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover GitHub Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I by John McCarthy, April 1960 Using ZK Proofs to Fight Disinformation By Trisha Datta and Dan Boneh Common Lisp Episode 172: ZK languages with Alex OzdemirzkSessions: The ZK Languages RundownzkSummit4 Videos - check the playlist for individual talks!Ever feel like developing zero-knowledge proofs is a daunting task? The team at RISC Zero is here to remind you that it doesn't have to be that way. Their out-of-the-box tooling allows developers to access the magic of ZK proofs from any chain without needing to learn custom languages or building custom zk circuits.Bonsai, RISC Zero’s most anticipated product, is a proving marketplace that enables any protocol or application to leverage fast ZKProofs in languages like Rust, Go, C++.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

In this week’s episode, Anna Rose dives back into accumulation schemes with Benedikt Bünz and Binyi Chen from Espresso Systems. They discuss ProtoStar and how it compares to works such as Nova and HyperNova, as well as explore some definitions for commonly used terms in the accumulation literature. Here’s some additional links for this episode:Espresso Systems CAPE Espresso Sequencer Bulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Poelstra, Wuille and Maxwell Verifiable Delay Functions by Boneh, Bonneau, Bünz and Fisch HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates by Chen, Bünz, Boneh and Zhang Protostar: Generic Efficient Accumulation/Folding for Special-sound Protocols by Bünz and Chen Proof-Carrying Data without Succinct Arguments by Bünz, Chiesa, Lin, Mishra and Spooner Proof-Carrying Data from Accumulation Schemes by Bünz, Chiesa, Mishra, and Spooner Multivariate lookups based on logarithmic derivatives by Haböck Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments by Boneh, Drake, Fisch, Gabizon Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency by Valiant Recursive Proof Composition without a Trusted Setup by Bowe, Grigg, and Hopwood Episode 40: Benedikt Bünz on Bulletproofs and Verifiable Delay FunctionsEpisode 277: Nova and Beyond with Srinath Setty Check out the ZK Jobs Board here: ZK Jobs. Find your next job working in ZK!Aztec Network is building a next-generation encrypted blockchain powered by Ethereum. The team is proud to announce Noir - the world's first universal zk-language. Noir makes it safe and intuitive to write zk circuits and encrypted smart contracts, enabling novel use-cases like encrypted DeFi, private governance, and zk gaming.As a universal language, Noir is domain-specific, but blockchain agnostic. Build powerful zk applications compatible with multiple proving systems and verify your program on any EVM chain.Get started with Noir today at docs.aztec.network/noir 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

In this bonus episode, Anna jumps back on the mic for a quick follow-up to Episode 279: Intro to zkpod.ai. Guest Daniel Kang describes a joint project he is doing with zkpod.ai - the Attested Audio Experiment. The objective is to prove that some piece of audio originates from a "real" (non-ai-generated) recording, even if this audio has been altered through edits or modifications. The goal is to differentiate between original "real" audio and the audio generated by zkpod.ai. In the future some iteration of this architecture could be used by content creators to distinguish deepfake audio from the real thing. Here is the write up about the Attested Audio Experiment on Daniel Kang's blog. Here is some of his other work as well: https://medium.com/@danieldkang/empowering-users-to-verify-twitters-algorithmic-integrity-with-zkml-65e56d0e9dd9 https://medium.com/@danieldkang/verified-execution-of-gpt-bert-clip-and-more-6acb693fd55f Follow @zkpodai on twitter for more updates!

This week, Anna Rose and Kobi Gurkan continue their conversation with a full episode dedicated to their new side project zkpod.ai - the voice ai trained on transcripts from this show which uses both Anna and Kobi’s voices to share insights and answer questions about zk topics. They cover the origin of the project and discuss their motivations and concerns around its uses as well as how they could see the project developing and what this could mean for the field of zk. Kobi shares his thoughts on the current tooling available, where this could progress and potential limitations it holds. Additional links mentioned in this episode:zkpod.ai Website Anna Rose’s zkpod.ai Blog Post Yohei Nakajima TwitterLangChain WebsiteWeaviate Website Anthropic Product ‘Claude’Universal Paperclips: the game by Frank Lantz Large Language Models can be used to effectively scale Spear Phishing campaigns by Hazell Creating Word Embeddings: Coding the Word2Vec Algorithm in Python using Deep Learning Check out the ZK Jobs Board here: ZK Jobs. Find your next job working in ZK!Anoma’s first fractal instance, Namada, is launching soon! Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way bridge. For privacy, Namada deploys an upgraded version of the multi-asset shielded pool (MASP) circuit that allows all assets (fungible and non-fungible) to share a common shielded set – this removes the size limits of the anonymity set and provides the best privacy guarantees possible for every user in the multichain.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. Zero-knowledge is changing the world and until now, building ZK applications meant learning new, chain-specific languages and complex cryptography. But no more!With SnarkyJS, the easiest to use zk SDK, developers can add the magic of zk to their apps using TypeScript!Whether you're targeting Mina, the leading zk-native blockchain, or off-chain applications, [SnarkyJS](snarkyjs.o1labs.org) from O(1) Labs has you covered. With support for infinite recursion, in-browser proving, and so much more, the full power of zk is available to everyone. Visit [snarkyjs.o1labs.org](snarkyjs.o1labs.org) to get started.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

In this week’s episode, host Anna Rose and Kobi Gurkan check in on the state of ZK today. They discuss recent ZK applications and tooling as well as developments from the last 6 months. They review new use cases such as ZK for off-chain computations and dive into research breakthroughs, trends, security and much more. Finally, they introduce the concept of zkpod.ai which will be covered fully in next week's episode.Additional links mentioned in this episode:Renegade.fi Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed SecretsEpisode 256: New ZK Use Cases with Dan Boneh Episode 246: Adversarial Machine Learning Research with Florian Tramèr Episode 276: Expanding Computation on Ethereum with AxiomEpisode 277: Nova and Beyond with Srinath SettyProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols by Bünz and Chen ezkl GitHub Yohei Nakajima TwitterLangChain Website Anna Rose’s zkpod.ai Blog Post zkpod.ai Twitter zkpod.ai Website One Server for the Price of Two: Simple and Fast Single-Server Private Information Retrieval by Henzinger, Hong, Corrigan-Gibbs, Meiklejohn, VaikuntanathanPiano: Extremely Simple, Single-Server PIR with Sublinear Server Computation by Zhou, Park, Shi, ZhengBlyss Website Janmajayamall’s GitHubCheck out the ZK Jobs Board here: ZK Jobs. Find your next job working in ZK!Ever feel like developing zero-knowledge proofs is a daunting task? The team at RISC Zero is here to remind you that it doesn't have to be that way. Their out-of-the-box tooling allows developers to access the magic of ZKProofs from any chain without needing to learn custom languages or building custom ZK circuits.Bonsai, RISC Zero’s most anticipated product, is a proving marketplace that enables any protocol or application to leverage fast ZKProofs in languages like Rust, Go, C++.Visit https://r0.link/ZKpodcast to learn more and sign up today for the Bonsai waitlist.Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.Interested in building private applications? Check out Aleo’s programming language called Leo that enables non-cryptographers to harness the power of ZKPs to deploy decentralized exchanges, hidden information games, regulated stablecoins, and more. Visit http://developer.aleo.org.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

In today’s episode, Anna Rose and Nico Mohnblatt interview Srinath Setty, Principal Researcher at Microsoft Research and author of notable works such as Spartan, Nova, SuperNova, and HyperNova. This discussion covers Setty's early work and how this led to him working on SNARKs, folding schemes and sumcheck protocols, as well as his views on the future trajectory of the ZK space. Given the current chatter around Nova-style accumulation schemes, this interview offers a chance to explore the perspective of a key contributor behind these developments.Here’s some additional links for this episode:Pepper Project Publications Depot: Cloud storage with minimal trust by Mahajan, Setty, Lee, Clement, Alvisi, Dahlin, and Walfish Resolving the conflict between generality and plausibility in verified computation by Setty, Braun, Vu, Blumberg, Parno, and Walfish Proving the correct execution of concurrent services in zero-knowledge (extended version) by Setty, Angel, Gupta and Lee Replicated state machines without replicated execution by Lee, Nikitin and Setty Quadratic Span Programs and Succinct NIZKs without PCPs by Gennaro, Gentry, Parno and Raykova Pinocchio: Nearly Practical Verifiable Computation by Parno, Howell, Gentry and Raykova Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency by Valiant Succinct Non-Interactive Arguments via Linear Interactive Proofs by Bitansky, Chiesa, Ishai, Ostrovsky and Paneth Open VDF: Accelerating the Nova SNARK-based VDF Article Episode 274: SNARKs: A Trilogy with Ariel GabizonZK Study Club: Supernova Srinath Setty - MS Research Check out the ZK Jobs Board here: ZK Jobs. Find your next job working in ZK!Zero-knowledge is changing the world and until now, building ZK applications meant learning new, chain-specific languages and complex cryptography. But no more!With SnarkyJS, the easiest to use zk SDK, developers can add the magic of zk to their apps using TypeScript!Whether you're targeting Mina, the leading zk-native blockchain, or off-chain applications, SnarkyJS from O(1) Labs has you covered. With support for infinite recursion, in-browser proving, and so much more, the full power of zk is available to everyone. Visit [snarkyjs.o1labs.org](snarkyjs.o1labs.org) to get started.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

In this week’s episode, Anna sits down with Yi Sun, co-founder of Axiom. Yi was recently on the show to discuss ZK ML’s, however this time they take a closer look at the Axiom project and what it means to be a ZK coprocessor for Ethereum. During the interview they also explore what problems Axiom are trying to solve, how ZKPs are used to help bring historic data into smart contracts and what new use cases this architecture can support. Here’s some additional links for this episode:Axiom Demo ReleaseCertifying Zero-Knowledge Circuits with Refinement Types by Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun Axiom, Luke Pearson, Anders Miltner Isil Dillig and Yu Feng Episode 265: Where ZK and ML intersect with Yi Sun and Daniel Kang Check out the ZK Jobs Board here: ZK Jobs. Find your next job working in ZK!Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.Interested in building private applications? Check out Aleo’s programming language called Leo that enables non-cryptographers to harness the power of ZKPs to deploy decentralized exchanges, hidden information games, regulated stablecoins, and more. Visit http://developer.aleo.org.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

In this week's episode, Anna Rose chats with Scroll co-founders Ye Zhang and Sandy Peng, delving into updates about their zkEVM L2, the progress they have made over the past year and what it really means to build in public. They discuss the challenges and rewards of founding a fully remote organization and how the team navigates the ever changing ZK landscape. Here’s some additional links for this episode:Scroll’s @buildwithscroll Twitter Scroll Tech GitHub Scroll’s Ecosystem Episode 234: zkEVM with Scroll’s Ye Zhang and Haichen Shen PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture by Zhang, Wang, Zhang, Dong, Mao, Long, Wang, Zhou, Gao and Sun ERC-4337 Information Check out the ZK Jobs Board here: ZK Jobs. Find your next job working in ZK!Ever feel like developing zero-knowledge proofs is a daunting task? The team at RISC Zero is here to remind you that it doesn't have to be that way. Their out-of-the-box tooling allows developers to access the magic of ZKProofs from any chain without needing to learn custom languages or building custom ZK circuits.Bonsai, RISC Zero’s most anticipated product, is a proving marketplace that enables any protocol or application to leverage fast ZK proofs in languages like Rust, Go, C++.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, Anna and Ariel Gabizon cover the SNARK trilogy; a history of pairing-based SNARKs in 3 acts. Starting from Jens Groth’s early works on SNARKs, Ariel takes us on a journey through key moments and breakthroughs in SNARKs over the last decade. They also dive into the emerging accumulation research on folding schemes and Ariel’s latest work surrounding lookup tables! This is an episode you won’t want to miss.Here are some additional links for this episode:Relevant Jens Groth PapersShort Non-interactive Zero-Knowledge Proofs by Jens GrothShort Pairing-based Non-interactive Zero-Knowledge Arguments by Jens Groth On the Size of Pairing-based Non-interactive Arguments by Jens GrothZero-knowledge Argument for Polynomial Evaluation with Application to Blacklists by Stephanie Bayer and Jens Groth PLONK-Relative PapersPLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge by Gabizon, Williamson, Ciobotaru HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates by Chen, Bünz, Boneh and Zhang Proposal: The Turbo-PLONK program syntax for specifying SNARK programs by Gabizon and Williamson Lookup-Relative Papersplookup: A simplified polynomial protocol for lookup tables by Gabizon and Williamson Caulk: Lookup Arguments in Sublinear Time by Zapico, Buterin, Khovratovich, Maller, Nitulescu and Simkin A Close Look at a Lookup Argument - Mary Maller at The 13th BIU Winter School on cryptography cq: Cached quotients for fast lookups by Eagen, Fiore, and Gabizon Additional ResourcesPinocchio: Nearly Practical Verifiable Computation by Parno, Howell, Gentry and Raykova Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updateable Structured Reference Strings by Maller, Bowe, Kohlweiss, and Meiklejohn Perpetual Powers of Tau GitHub Delegating Computation: Interactive Proofs for Muggles by Goldwasser, Kalai and Rothblum Efficient Zero-Knowledge Arguments for Arithmetic Circuits in Discrete Log Setting by Bootle, Cerulli, Chaidos, Groth and Petit Nova: Recursive Zero-Knowledge Arguments from Folding Schemes by Kothapalli, Setty and Tzialla Episode 232: Cutting Edge ZK Research with Mary Maller ZK Whiteboard Sessions - Module Six: Lookup Tables for Performance Optimisation Check out the ZK Jobs Board here: ZK Jobs. Anoma’s first fractal instance Namada is launching soon! Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way bridge. Follow Namada on twitter @namada for more information and join the community on Discord discord.gg/namada. If you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

In this week’s episode, host Anna Rose sits down with Zac Williamson, the CEO of Aztec. Anna and Zac dive deep into the history of Plonk, one of the most important proving systems to emerge in the last 5 years. Zac explains how the initial ideas came to be, how it was developed with co-author Ariel Gabizon, and how the system has evolved over time, branching out into many different iterations of Plonk, leading up to his recent work on Goblin Plonk.The conversation also touches on Aztec's cutting-edge technology stack, including their Noir zkDSL and their planned private programmable L2, Aztec 3. Zac shares his insights on the state of ZK applications and folding schemes, and provides a glimpse into the future of the ZK space.Here’s some additional links for this episode:StarkWare Sessions 23 | Privacy Preserving Smart Contract Architectures | Zac Williamson High Level Overview of Goblin Plonk: lazy recursive proof composition by Zac Williamson Spec for Goblin Plonk: lazy recursive proof composition by Zac Williamson Goblin Plonk Slides by Zac Williamson Episode 75: Exploring Aztec with Zac WilliamsonEpisode 112: Dive into Plonk!Episode 176: Zk-zk-rollup & zk.money with Zac and Joe from Aztec Episode 236: Aztec Connect and Private DeFi with Charlie and Joe Episode 237: Exploring ZK Research with Jens Groth Episode 242: Halo 2 with Daira Hopwood and Str4d ZK Whiteboard Sessions – Interview with Ariel Gabizon on The PLONK Origin Story and Roadmap ZK8: Hyperplonk: PLONK without FFTs and with high degree gates - Benedikt Bünz Check out the ZK Jobs Board here: ZK Jobs. Find your next job working in ZK!Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.Interested in building private applications? Check out Aleo’s programming language called Leo that enables non-cryptographers to harness the power of ZKPs to deploy decentralized exchanges, hidden information games, regulated stablecoins, and more. Visit http://developer.aleo.org.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 interviews Avery Ching, Co-Founder and Chief Technology Officer at Aptos Labs. They cover Avery’s working history, including his time working on Meta’s Blockchain project, what this experience meant to him and how this led to the creation of Aptos. They discuss Aptos as it stands today, Avery’s experience of building in the current market and the unique qualities of the Aptos project.Here are some additional links for this episode:HotStuff: BFT Consensus with Linearity and Responsiveness by Maofan Yin, Dahlia Malkhi, Michael K. Reiter, Guy Golan Gueta and Ittai AbrahamNarwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus by George Danezis, Eleftherios Kokoris Kogias, Alberto Sonnino, Alexander SpiegelmanCheck out the ZK Jobs Board here: ZK Jobs. Anoma’s first fractal instance Namada is launching soon! Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way bridge. Follow Namada on twitter @namada for more information and join the community on Discord discord.gg/namada. If you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on Youtube Read transcript

This week, Anna Rose chats with ZK Podcast regular Guillermo Angeris, Head of Research at BCC and Nicolas Mohnblatt, Researcher and Cryptographer at Geometry. This was recorded on April 3rd 2023, the day between the ZK Hack Lisbon hackathon and the zkSummit9 event. They discuss Nico's move from music to cryptography, his earlier privacy research as a Master's student, and his recent research Sangria, which is a folding scheme for Plonk. Guillermo shares some of his current work cleaning up and formalising concepts in zk. And Anna shares some brief thoughts about the recent release of zkpod.ai - the friendly ZK bot featuring Anna’s voice and containing the entirety of the ZKPodcast knowledge (built by Kobi Gurkan). They also chat about some news, insights from ZK Hack Lisbon and some of the projects that were built there and generally check in on the state of the ecosystem. Relevant links: Sangria: a Folding Scheme for PLONK - Geometry Research ZK9: Sangria is relaxed PLONK a Nova-like folding scheme for PLONK – Nicolas Mohnblatt (Geometry)Plonk isn’t real - Zac’s tweet confessionZK Hack Lisbon closing ceremonyZK Hack Lisbon Winner's list Twitter postZK Hack Lisbon projects & websitezkSummit video playlist (including part of the zkSummit9 videos - more coming soon!)zkpod.ai announcement tweet from Kobi GurkanAnna's reaction to zkpod.aiCheck out the ZK Jobs Board here: ZK Jobs. Find your next job working in ZK!Anoma’s first fractal instance Namada is launching soon! Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way bridge. Follow Namada on twitter @namada for more information and join the community on Discord discord.gg/namada. If you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript

This week Anna Rose chats with Ravital Solomon, founder of Sunscreen. They cover her early interest in lattice-based cryptography and how this paved the way for her work on FHE, starting at NuCypher then with her startup Sunscreen. They dive into the challenges involved when building with FHE as well as exploring the power in combining ZKP and FHE. They also discuss the early emergence of lattice-based zero knowledge proofs.Here are some additional links for this episode:Episode 269: Auctions with Kshitij Kulkarni, Matheus V. X. Ferreira and Tarun Sunscreen TwitterSunscreen Website zkSummit6: Beating the Flash Boys with Fully Homomorphic Encryption + ZKPs Ravital Solomon NuCypher Check out the ZK Jobs Board here: ZK Jobs. Polygon zkEVM is here. This performant, ZK-powered, open-source, EVM-equivalent rollup launched its Mainnet Beta last month. Polygon zkEVM is making scaling truly frictionless—fast finality and EVM-equivalence means devs can do everything they can do with the EVM, only cheaper. To connect to Polygon zkEVM, go to Polygon.technology 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

In this week's episode Anna Rose and Tarun Chitra explore the topic of auctions with guests Kshitij Kulkarni, PHD student at Berkeley’s EECS department and Matheus V. X. Ferreira, Postdoctoral Fellow in Computer Science at Harvard John A. Paulson School of Engineering and Applied Sciences. They discuss the history of auctions, both in the real world and in blockchain, and go on to cover more recent blockchain uses, such as MEV and NFT auctions. They review the incentives of both auction holders and the participants as well as how this incentive design can influence the effectiveness of the auctions themselves. Here are some additional links for this episode:Credibility and Incentives in Gradual Dutch Auctions by Kulkarni, Ferreira and ChitraCredible, Optimal Auctions via Blockchains by Kulkarni, Ferreira and Chitra Optimal Strategic Mining Against Cryptographic Self-Selection in Proof-of-Stake by Kulkarni, Ferreira and ChitraCredible Auctions: A Trilemma by Akbarpour and LiCredible, Truthful, and Two-Round (Optimal) Auctions via Cryptographic Commitments by Ferreira and Weinberg Credible, Strategyproof, Optimal, and Bounded Expected-Round Single-Item Auctions for all Distributions by Essaidi, Ferreira and Weinberg Dynamic Posted-Price Mechanisms for the Blockchain Transaction Fee Market by Ferreira, Moroz, Parkes and Stern Proof-of-Stake Mining Games with Perfect Randomness by Ferreira and Weinberg Optimal Strategic Mining Against Cryptographic Self-Selection in Proof-of-Stake by Ferreira, Hahn, Weinberg, Yu Credible Decentralized Exchange Design via Verifiable Sequencing Rules by Ferreira and Parkes https://jumpcrypto.com/thepit/zkweek/ Find out more about zkSummit9 here: zksummit.com.Apply for ZK Hack Lisbon here: ZK Hack application Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.Interested in building private applications? Check out Aleo’s programming language called Leo by visiting http://developer.aleo.org.You can also participate in Aleo’s incentivized testnet3 by downloading and running a snarkOS node. No sign-up is necessary to participate.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

In this week’s episode Anna Rose interviews Mustafa Al-Bassam, co-founder of Celestia. They cover where Celestia as an idea emerged from, how its rollup-centric data availability (DA) network works and what can be expected from their upcoming launch. They also chat about how Celestia aims to empower Sovereign chains - independent rollup chains that use Celestia as the DA and consensus layer - and how this Sovereign chain model compares with the Ethereum rollup architecture. Here are some additional links for this episode:Episode 208: Digging into Data Availability with Ismail Khoffi from Celestia A rollup-centric ethereum roadmap Introducing Rollkit: a modular rollup framework My first impressions of web3 Practical Byzantine Fault Tolerance Check out the ZK Jobs Board here: ZK Jobs. Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.Interested in building private applications? Check out Aleo’s programming language called Leo by visiting http://developer.aleo.org.You can also participate in Aleo’s incentivized testnet3 by downloading and running a snarkOS node. No sign-up is necessary to participate.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

In this two-part series exploring ZK Hardware, Anna Rose interviews various participants from the ZPrize competition, alongside the creator of ZPrize and co-host of this episode Alex Pruden from Aleo. Throughout these interviews, they dig into the different types of hardware, such as GPUs and FPGAs, that can be used to accelerate ZKP computation. They also discuss the underlying mathematical techniques in ZKPs that can be optimized for and the tricks and strategies that ZPrize competitors used to achieve these optimizations. In Part 2 of the series, Anna and Alex first interview Hamid Salehi and Swati Gupta from Xilinx AMD who contribute insights from the perspective of an FPGA manufacturer. Alex and Anna then interview competitor Niall Emmart, previously from NVIDIA. They discuss his previous work and what went into winning both the MSM for GPUs and MSM for Wasm competitions in ZPrize. Here is some additional information for this episode:Hardware/Board options:Varium C1100 board (targeted at accelerating blockchain applications).This board has been used to accelerate the following:Poseidon hash (used in the storage sealing process for Filecoin)NTT acceleration at ZPrizeStartups are using this to explore NTT and MSM accelerationOther boardsThe U55C in particular has been shown to provide a competitive and more power efficient alternative to GPUs for MSM acceleration in this study by Ingonyama called PipeMSM. There has been interest in U55C for NTT acceleration as well due to the high HBM capacity it provides (16GB).Research and documents on using FPGAs for ZK related implementation: pipeMSM CycloneMSM Hardcaml team’s Zprize webpage Projects using the C1100 board (These can be a good starting point for getting familiar with the hardware and tools):ZPrize submissions in the NTT categoryPoseidon hash implementation from the Adaptive Computing 2021 challenge conducted by Hackster.ioDocumentation on tools and boards:Vitis unified software tutorialAlveo debug guideAlveo usage documentationVitis for CUDA developersGitHub Repositories: NVIDIA CGBN Labs GitHub Xilinx Hyperledger Fabric GitHub ZPrize GitHub Check out the ZK Jobs Board here: ZK Jobs. Ingonyama’s mission is to improve the performance of Zero-Knowledge Provers by designing hardware optimized for ZK computation. They are proud to introduce their latest project, ICICLE. For ideas and discussion around the code, visit the ICICLE channel in the Ingonyama discord server, where team members and fellow developers await. 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

In this 2-part series exploring ZK Hardware, Anna Rose interviews various participants from the ZPrize competition, alongside the creator of ZPrize and co-host of this episode Alex Pruden from Aleo. Through these interviews, they dig into the different types of hardware, such as GPUs and FPGAs, that can be used to accelerate ZKP computation. They also discuss the underlying mathematical techniques in ZKPs that can be optimized for and the tricks and strategies that ZPrize competitors used to achieve these optimizations. In Part 1 of the series, Anna and Alex first interview Luke Pearson from Polychain Capital, who was an architect on the ZPrize. They then interview Ben Devlin and Rahul Yesantharao from Jane Street who were members of one of the winning teams, Hardcaml. Here are some additional links for this episode:ZPrize.ioHardcaml ZPrize Episode 221: Funding the Next Wave of Zero Knowledge Tech Zerocaf: Short ring signatures with Bulletproofs PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge PlonKup: Reconciling PlonK with plookup GZKP: A GPU Accelerated Zero-Knowledge Proof System Pippenger’s Multiproduct and Multiexponentiation Algorithms Tweet referenced in the interview with Luke about Hardware & Sum-checks Check out the ZK Jobs Board here: ZK Jobs. Ever wish you could use existing rust libraries in ZK? This is a friendly reminder from the team at RISC Zero that you can! To learn more, check out the RISC Zero video tutorials from the last ZK Hack at https://www.youtube.com/@risczero. Follow them on twitter @risczero to make sure you don’t miss their upcoming 1.0 launch and the alpha launch of the Bonsai Network.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 and Tarun Chitra dive back into the topic of ZK ML with guests Yi Sun, co-founder of Axiom, and Daniel Kang, Assistant Professor of computer science at UIUC. They discuss Yi and Daniel’s previous academic work and what led them to get interested in ZK topics and specifically ZK ML. They then dive into a discussion about 2 recent papers which examine the use of ZK within Machine Learning architectures. Here are some additional links for this episode:Episode 246: Adversarial Machine Learning Research with Florian Tramèr Trustless Verification of Machine LearningEfficient Verifiable Image Redacting based on zk-SNARKs ZK-IMG: Attested Images via Zero-Knowledge Proofs to Fight DisinformationScaling up Trustless DNN Inference with Zero-Knowledge ProofsYi Sun’s Profile Daniel Kang’s ProfileApply for ZK Hack Lisbon here: ZK Hack application Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.Interested in building private applications? Check out Aleo’s programming language called Leo by visiting http://developer.aleo.org.You can also participate in Aleo’s incentivized testnet3 by downloading and running a snarkOS node. No sign-up is necessary to participate.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

In this episode, Anna chats with Hadrien Charlanes from Sismo. They discuss his early experiences in blockchain development and DeFi, and how this led him to build Sismo, a decentralized identity product with privacy preserving properties. They also cover the ZK badge concept: how they're minted and what is happening under the hood as well as interesting emerging use cases using these zk-based on-chain instruments. Here are some additional links for this episode:Sismo.io What is Sismo? Sismo Governance Documentation Factory.sismo.io Hadrien Charlanes TwitterSismo’s Twitter Episode 260: ZK in 2023 with Kobi, Guillermo, and TarunZK HACK III - Introduction to ZK Badges and ZK Attesters - SismoWorldcoin Find out more about zkSummit9 here: zksummit.com.Apply for ZK Hack Lisbon here: ZK Hack application Anoma’s first fractal instance, Namada, is launching soon! Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way bridge. Visit namada.net 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

This week, Anna catches up with Zaki Manian, co-founder of Iqlusion and Sommelier. They embark on a comprehensive recap of the history of Cosmos to-date, covering all ground since their last interview 2 years ago. They also dive into topics such as the IBC launch, Osmosis, how the ecosystem grew and accelerated up until the Luna crash and how it continues to recover in its next phase.They then chat about Sommelier and how it has evolved, as well as the concepts of emerging asset types, such as real world assets, and how ZKPs for privacy may finally find a product market fit that could build up real market adoption. You won’t want to miss this one!Here are some additional links for this episode:Episode 108: Catch up with Zaki Manian from TendermintEpisode 174: Through the Cosmos Stargate UpgradeEpisode 201: DeFi’s Multichain Future with Zaki Manian from Sommelier ATOM 2.0 Whitepaper ATOM 2.0 Forum DiscussioniqlusionSommelierApply for zkSummit9 here: zkSummit9 Ticket Application. Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.Interested in building private applications? Check out Aleo’s programming language called Leo by visiting http://developer.aleo.org You can also participate in Aleo’s incentivized testnet3 by downloading and running a snarkOS node. No sign-up is necessary to participate.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 YoutubeHead to the ZK Community ForumSupport our Gitcoin Grant Read transcript

In this week's episode, Anna Rose and Kobi Gurkan chat with Carl and Trent from the Ethereum Foundation, covering many topics such as their work on the KZG Ceremony and how this is different from the previous trusted setups we have covered. The group takes a deep dive into trusted setups, discussing what they are for, how they have been run and how the setup is going so far. They also discuss Proto-Danksharding and EIP-4844 - a novel way to organize data logistics for Ethereum.Here are some additional links for this episode:KZG Ceremony Episode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography Episode 133: Trusted Setup Ceremonies Explored Episode 137: Trusted Setup Bonus: Tornado CashProto-Danksharding EIP-4844 Powers-of-Tau to the People: Decentralizing Setup Ceremonies by Nikolaenko, Ragsdale, Bonneau, Dan Boneh, 2022Apply for zkSummit9 here: zkSummit9 Ticket Application. Aztec Network is building a next-generation encrypted blockchain powered by Ethereum. Aztec is now hiring engineers and cryptographers to build an execution layer enabling scale and privacy for crypto applications.Join the team making encrypted Ethereum a reality. Learn more by visiting: aztec.network/careers Anoma’s first fractal instance, Namada, is launching soon! Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way bridge. Visit namada.net 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 YoutubeHead to the ZK Community ForumSupport our Gitcoin Grant Read transcript

This week, Anna chats with Justin Thaler, Associate Professor at Georgetown. They cover Justin’s academic history and discuss what led him to working on interactive proofs and SNARKs. They also take a look at several other topics such as the Thaler Book Study Group, his earlier work Spartan, comparing the security of different rollups built with SNARKs and STARKs and more.Here are some additional links for this episode:Justin Thaler Georgetown ProfileProofs, Arguments, and Zero-Knowledge Proofs by Justin Thaler, 2022 vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases Paper Hardware-friendliness of HyperPlonk by Ingonyama Proposed milestones for rollups taking off training wheelsA Graduate Course in Applied Cryptography by Boneh and Shoup, 2023 - Page 617 for elliptic curves over finite fields Quarks: Quadruple-efficient transparent zkSNARKs by Setty and Lee Brakedown: Linear-time and post-quantum SNARKs for R1CS by Golovnev, Lee, Setty, Thaler and Wahby, 2021 zkHack Website zkHack DiscordElliptic Curve Cryptography: A Gentle Introduction to A Graduate Course in Applied Cryptography By Dan Boneh and Victor ShoupNumber theory explained from first principlesThe Animated Elliptic CurveBLS12-381 For The Rest Of UsApply for zkSummit9 here: zkSummit9 Ticket Application. Check out ingonyama.com to learn more about Zero Knowledge Hardware acceleration.Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.Interested in building private applications? Check out Aleo’s programming language called Leo by visiting http://developer.aleo.org.You can also participate in Aleo’s incentivized testnet3 by downloading and running a snarkOS node. No sign-up is necessary to participate.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 YoutubeHead to the ZK Community ForumSupport our Gitcoin Grant Read transcript

In this week’s episode, Anna and guest co-hosts Guillermo, Tarun and Kobi share their thoughts about the state of Zero Knowledge tech today and what it might look like going in 2023. The group discusses some exciting ZK experiments and some of the emerging topics such as: ZK ID, ZK Bridges, ZK DeFi, and more. Here are some additional links for this episode:Epicenter:State of the ZK Ecosystem with Anna Rose & Kobi Gurkan Pt 1Epicenter:State of the ZK Ecosystem with Anna Rose & Kobi Gurkan P2 Episode 246: Adversarial Machine Learning Research with Florian Tramèr Episode 247: Exploring Penumbra with Henry de Valence Apply for zkSummit9 here: zkSummit9 Ticket Application. Ever wish you could use existing rust libraries in ZK? This is a friendly reminder from the team at RISC Zero that you can! To learn more, check out the Risc Zero video tutorials from the last ZK Hack at www.youtube.com/@risczero. Follow RISC Zero on Twitter @risczero to make sure you don’t miss their upcoming 1.0 launch and the alpha launch of the Bonsai Network.Anoma’s first fractal instance, Namada, is launching soon! Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way bridge. Visit namada.net 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 YoutubeHead to the ZK Community ForumSupport our Gitcoin Grant Read transcript

Apply for the zkSummit 9 ->> https://9lcje6jbgv1.typeform.com/to/FCoktPh9 Happening in Lisbon on April 4th Keep an eye on our twitter and telegram channel for more info!

In this week’s episode, Anna and part-time Zero Knowledge co-hosts Tarun, Guillermo, Josh and Kobi, get together for a casual catch up and have a look back at 2022. They trace Jan to today in both the zk community and the larger ecosystem, discussing the highs and the lows, focusing on the major events which stood out to them.If you think the team missed anything, let us know by replying to our tweet announcing this episode of the Podcast. Find us at the Zero Knowledge FM Twitter. This is the final episode of 2022 and Anna and the Zero Knowledge Podcast team thanks you for your support this year! Happy Holidays and see you in 2023!Here are some additional links for this episode:Wormhole Hack zkSummit 7 + 8 Playlist The aftermath of Axie Infinity’s $650M Ronin Bridge hack Collapse of Luna cryptocurrency leads to $11 million exploit on Venus ProtocolThe Big Three zkEVM Announcements Three Arrows Capital to become latest casualty of crypto crash Nomad crypto bridge loses $200 million in ‘chaotic’ hackUnderstanding Tornado Cash by ChainalysisSingle Secret Leader Election by Dan Boneh, Saba Eskandarian, Lucjan Hanzlik, Nicola GrecoThe Eth Merge Celsius Crypto Meltdown: A Crypto Lender In CrisisFTX CrashZK Hack playlistArbitrum: Scalable, private smart contracts by Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, Princeton UniversityFor the latest on Polygon’s ZK solutions, visit Polygon.technology/blog Today’s episode is sponsored by Mina Protocol The need for private, trustless solutions is clear. A new era of ZK powered decentralized applications is coming – and Mina is the place to build them.Introducing Mina’s zkIgnite Cohort 0, where developers complete tutorials and build zero knowledge apps, or zkApps, and get rewarded. There are a quarter-of-a-million MINA tokens up for grabs for zkIgnite Cohort 0 participants.If you are tuning in to this podcast later, no worries! Mina will be launching additional zkIgnite Cohorts, just head to minaprotocol.com/zkpodcast to check out the best way to get involved. If you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmCatch us on YoutubeSupport our Gitcoin Grant Read transcript

In this episode, Anna explores the concept of Ultrasound Money with Justin Drake from the Ethereum Foundation. They kick off with updates on his work in VDFs, MEV and censorship resistance, alongside his particular interests in ZK and how the progress VRFs have made can be applied in Ethereum’s POS architecture. They then dive into the original concept of Ultrasound Money and where Justin sees it progressing to in the future, including the current status around issuance.Here are some additional links for this episode:Episode 74: Blockchain 101: Randomness and Random Beacons with Justin DrakeEpisode 120: ZKPs in Ethereum with Vitalik Buterin & Justin DrakeEpisode 168: Flashbots with Phil Daian and Stephane GosselinZero Knowledge Episodes on zkEVMs ZK Whiteboard Sessions: Module Fourteen - Nova Crash Course with Justin Drake MevWatch.InfoDeFi Llama L2BEATUltrasound.Money WebsiteRISC Zero announce the next version of their ZKVM is now available on GitHub at github.com/risc0 Today’s episode is sponsored by Mina Protocol The need for private, trustless solutions is clear. A new era of ZK powered decentralized applications is coming – and Mina is the place to build them.Introducing Mina’s zkIgnite Cohort 0, where developers complete tutorials and build zero knowledge apps, or zkApps, and get rewarded. There are a quarter-of-a-million MINA tokens up for grabs for zkIgnite Cohort 0 participants. Cohort 0 is finishing soon so head to minaprotocol.com/zkpodcast to get involved today.If you are tuning in to this podcast later, no worries! Mina will be launching additional zkIgnite Cohorts, just head to minaprotocol.com/zkpodcast to check out the best way to get involved. 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 YoutubeHead to the ZK Community ForumSupport our Gitcoin Grant Read transcript

This week, Anna explores the topic of proof of solvency with Kostas Chalkias, co-founder and chief of Cryptography at MystenLabs. They cover Kostas’ background in Cryptography and explore his work on Proof of Reserves, otherwise known as Proof of Solvency. They review past Proof of Solvency models using ZKPs and look at the protocols that major centralized exchanges are currently using. Then they dive into the security vulnerabilities, privacy issues, and general bugs that Kostas and his collaborators have identified in these protocols and their recommendations on how to better build Proof of Solvency systems.Here are some additional links for this episode:Episode 227: Move & Sui with Sam Blackshear from Mysten Labs Hard Questions: Update on Cambridge AnalyticaProvisions: Privacy-preserving proofs of solvency for Bitcoin exchanges By Dagher, Bünz, Bonneau, Clark and Boneh Broken Proofs of Solvency in Blockchain Custodial Wallets and Exchanges By Chalkias, Chatzigiannis and Ji Groth16 still lives: exploring tradeoffs of modern ZKProof systems - François Garillot Mysten Labs Join the ZK HACK III - final sessions here Join the ZK HACK Discord Today’s episode is sponsored by Aleo Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.If you’re interested in building private applications then check out Aleo’s programming language called Leo. Visit leo-lang.org to start building.You can also join Aleo’s incentivized testnet3 by downloading and running a snarkOS node. No sign-up is necessary to participate. 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 YoutubeHead to the ZK Community ForumSupport our Gitcoin Grant Read transcript