Zero Knowledge

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

On this week’s episode, Anna and Kobi Gurkan chat with Dan Boneh, Professor of Computer Science at Stanford and Director of the Stanford Center for Blockchain Research. They cover an expanse of topics: from how strides have been made within the development of zkEVMs to how trusted set ups could be integrated into the blockchain itself. This episode covers open problems in ZK such as how to generate ZK proofs on large amounts of data such as video and what solutions could be implemented when attempting to run a DAO with a private treasury.Here are some additional links for this episode:Episode 100: Dan Boneh on the past, present & future of cryptography Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets by Ozdemir and Boneh, 2021Powers-of-Tau to the People: Decentralizing Setup CeremoniesZK Whiteboard Sessions Join ZK HACK III - see the full schedule here Join the ZK HACK Discord Follow the ZK Hack Twitter Today’s episode is sponsored by Mina ProtocolThe need for private, trustless solutions has never been more clear.Introducing Mina’s zkSpark Cohort 0, where developers share tutorials and build zero knowledge apps, or zkApps, and get rewarded. There are a quarter-of-a-million Mina tokens up for grabs for zkSpark Cohort 0 participants.Mina’s zkApps are written in Typescript, so developers can easily get started without learning a custom programming language like other zk protocols.To sign up for zkSpark Cohort 0 head to minaprotocol.com/zkpodcast. Mina will be launching additional zkSpark Cohorts, just visit minaprotocol.com 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

In this week’s episode, Anna and Tarun speak with Succinct Labs. Guests Uma Roy and John Guibas discuss their interest in ZK, their work with 0xparc and the goals of Succinct Labs - that is to provide proof of consensus through SNARK-based light clients. Acting similar to IBC, but in the Ethereum context, we discuss the challenge of building ZK-based light clients on Ethereum, their first implementation linking Gnosis Chain to Ethereum, and how they imagine interacting with the larger blockchain space. Here are some additional links for this episode:0xPARC Learning Resources TrustBoost: Boosting Trust among Interoperable Blockchains by Wang, Sheng, Kannan, Nayak, Viswanath, 2022 Episode 136: Math competitions, crypto as alchemy & Gasper with Yan Zhang Past ZK HACK Events and Puzzles Join the ZK HACK III - Session #2 on 24 November Join the ZK HACK Discord Follow the ZK Hack Twitter Today's episode is sponsored by Aztec. Aztec Network is building the first privacy-enabled zkRollup on Ethereum. The team is proud to announce Noir, the world's first universal ZK language. Noir makes it safe and intuitive to write privacy-preserving ZK circuits. Aztec is now hiring engineers and cryptographers to build the execution layer supporting Noir's private smart contracts. Join the team making private Ethereum a reality. You can learn more by visiting aztec.network/careers. 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 Josh Cincinnati chat with Matt Green, a cryptographer and professor at Johns Hopkins University. They explore Matt’s background in security, blockchain and privacy technologies. He shares his thoughts on early ZK blockchain research, the founding of Zcash, growth in the ZK space, how the industry is ready for tangible use-cases and navigating anonymity and regulatory bodies. This episode closes with a review of Matt’s perspective on the Tornado Cash sanctions and what this means for the space. Here are some additional links for this episode:Radiant Commons Website Sealance WebsiteZerocash: Decentralized Anonymous Payments from Bitcoin by Ben-Sasson, Chiesa, Garman, Green, Miers, Tromer, and Virza, 2014An approximate introduction to how zk-SNARKs are possible by Vitalik Buterin Episode 245: Sanctions against Tornado Cash: a Legal PerspectiveJoin the ZK HACK III - kick off event here Join the ZK HACK Discord This week’s episode is sponsored by Aave.Aave Grants is a community-led grants program, focused on growing a thriving ecosystem of contributors within Aave by funding ideas, projects and events that benefit the protocol or surrounding ecosystem.Aave’s latest deployment, V3, was launched on 6 networks and introduces new features like Isolation Mode, Efficiency Mode and Portals. A decentralized, collateral-backed stablecoin native to Aave called GHO has also been announced. Look out for more details on the testnet and release coming soon. Explore the protocol at Aave.com and if you’re building in the ecosystem, apply for a grant through aavegrants.org.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 speaks with Awa Sun Yin, co-founder of Anoma & Namada. They discuss her background in crypto analytics, her shift to working on infrastructure and privacy tech, and how the Anoma project came to be. Awa introduces us to the soon to launch Namada network and then describes the various cryptographic pieces that the Anoma team has been developing. They discuss how these fit into Namada and into the future of the Anoma Protocol. Here are some additional links for this episode:Episode 115: Cosmos, IBC and ZKPs with Chris Goes Episode 184: Anoma’s Adrian Brink on Validity Predicates, Ferveo DKG & More Episode 32: Zero Knowledge at Zcon0!Sign up link for zkMesh newsletter ZK7: VampIR: universal representation for arithmetic circuits - Joshua Fitzgerald - Anoma ZK8: Namada: asset-agnostic interchain privacy - Chris Goes - AnomaFerveo: Threshold Decryption for Mempool Privacy in BFT networks by Bebel and Ojha, 2022 Metastate WebsiteCryptium Labs WebsiteHeliax WebsiteJuvix WebsiteFerveo Cryptography Overview Check out the sub0 Polkadot Developer Conference in Lisbon here Join the ZK HACK III - kick off event 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

In this week’s episode, Anna and Tarun chat with Pramod Viswanath, Professor of Engineering at Princeton and co-founder of Witness Chain. They discuss Pramod’s early work on wireless networks and how this type of research was brought to market at the time. They also cover topics such as the introduction of adversarial thinking into his research, his move over to blockchain, how the incentives of blockchain could be used within the wireless industry, and Pramod’s new project Witness Chain, which aims to reshape the wireless industry. Here are some additional links for this episode:Episode 244: Journey to Blockchain with David TseEpisode 217: Information Theory & Blockchain with Sreeram Kannan Everything is a race and Nakamoto always wins Fundamentals of Wireless Communication by Tse and Viswanath, 2005 Dandelion: Redesigning the Bitcoin Network for Anonymity by Venkatakrishnan, Fanti and Viswanath, 2017 Blockchains at Princeton Class Join the ZK HACK III - kick off event here Join the ZK HACK Discord Check out the Aleo repo here Today’s episode is sponsored by Polygon Introducing Polygon zkEVM. Polygon’s vision for zkEVM is simple: developers can deploy any Ethereum smart contract to a Layer 2 and benefit from the scaling power of ZK proofs.Public testnet is now available, so you now have an opportunity to test their work and make improvements! If you’d like to learn more about Polygon zkEVM visit bit.ly/startonzkevm to check out the Getting Started guide.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 Guillermo chat with Brian Retford and Jeremy Bruestle from RISC Zero. They discuss their previous work in cloud infrastructure and how ZK offered unique solutions to long standing scaling problems. They cover topics like RISC-V, building VMs, and how RISC Zero aims to build a system which could support a decentralized public cloud.Here are some additional links for this episode:RISC Zero: General Purpose Zero-Knowledge Computation by Brian Retford and Jeremy Bruestle RISC-V Website Bitcoin: A Peer to Peer Electronic Cash System by Satoshi Nakamoto AirSnort Website Arduino Website Metal: Mac OS's acceleration framework Episode 131: Proof of Necessary Work with Akis Kattis (NYU) Check out the ZK Whiteboard Sessions here. Produced by ZK Hack and powered by Polygon. Join the ZK Hack DiscordZK Hack Twitter Today’s episode is sponsored by Mina Protocol. If you’re a developer looking to get hands-on experience building zero knowledge applications then you should apply for Mina’s zkApp Beta Testers Leaderboard. Participants will get access to test challenges where you can learn how to build zkApps on Mina for a chance to rank on the leaderboard against other participants. The top participants will have the opportunity to be considered for a grant! Learn more about the zkApp Beta Testers Leaderboard and how you can start building zkApps by heading to minaprotocol.com/zkpodcast.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 Kobi Gurkan speak with Dmitry Khovratovich, researcher at the Ethereum Foundation, Dusk Network, and ABDK Consulting and JP Aumasson CSO at Taurus. This episode compares symmetric and asymmetric cryptography as well as a deep dive into hash functions. They explore what hash functions are used for, the process of developing and improving hash functions, and what it means for a hash function to be zk friendly.Here are some additional links for this episode:Dmitry Khovratovich TwitterEthereum FoundationDusk NetworkABDK ConsultingJP Aumasson TwitterJP Aumasson Website Taurus Twitter Taurus Website ZK8: New Directions in ZK hashing - Dmitry Khovratovich - Ethereum FoundationZK8: On ZK hashes - JP Aumasson - TaurusZK7: Security of ZKP projects: same but different - JP Aumasson - Taurus Serious Cryptography - JP Aumasson, 2017Too Much Crypto - JP Aumasson, 2019Crypto Dictionary - JP AumassonScalable, transparent, and post-quantum secure computational integrity - Ben-Sasson, Bentov, Horesh, Riabzev, 2018, page 71 NIST National Institute of Standards and Technology BLAKE2Poseidon Network SHA-3 Reinforced Concrete - Maharramov, 2021 Nova - Recursive Zero-Knowledge Arguments from Folding Schemes - Kothapalli, Setty, Tzialla, 2021 ZK8: Fantastic Beasts: unfolding ZK hardware - Omer Shlomovits - IngonyamaFind the Aleo repo here github.com/aleohq. Today's episode is sponsored by Anoma. Anoma is a set of protocols that enable self sovereign coordination.Anoma's first fractal instance Namada is planned for later in 2022, and it focuses on enabling shielded transfers for any assets, with a few second transaction latency and near zero fees.Visit anoma.net for more information.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 Martin Köppelmann, Co-Founder of Gnosis discuss the OFAC sanctions against Tornado Cash and the impact this has had on builders in the community. They specifically focus on how the Tornado action helped reveal centralizing forces in Ethereum as well as the need for decentralization.Here are some additional links for this episode:Gnosis LinktreeGnosis DiscordEpisode 183: CowSwap & DAO Tech with Gnosis’s Martin KöppelmannEpisode 65: Bridges, xDai and Burner Wallets with Igor & AustinEpisode 243: Dive Back into MEV with Alex Stokes and Chris HagerLidoRocketpoolAll That NodeFind the Anoma Whitepaper hereZK Jobs Board – has a fresh batch of open roles from ZK-focused projects. Find your next opportunity working in ZK!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

In this week’s episode, Anna revisits the topic of FHE with Rand Hindi, CEO at Zama. FHE stands for Fully Homomorphic Encryption, a cryptosystem that allows for computation to occur on encrypted inputs. They discuss the FHE landscape, what specific use cases it is ideal for, where the technology is at and how FHE differs from MPC and ZK. They also explore some of the nuances of the different types of approaches to FHE to achieve this cryptographic environment where one can do computation in a truly private manner. Here are some additional links for this episode:Episode 124: Exploring FHE with Flavio Bergamaschi from IBM ResearchDefinition of FHEA public key cryptosystem and a signature scheme based on discrete logarithms: Elgamal SchemePascal PaillierFHE.orgFHE.org DiscordTFHE GitHubZK Jobs Board – has a fresh batch of open roles from ZK-focused projects. Find your next opportunity working in ZK!Check out the Sub0 Event from the Web3 Foundation to explore the latest in Polkadot Network and the Substrate blockchain framework. Today's episode is sponsored by Anoma. Anoma is a set of protocols that enable self sovereign coordination.Anoma's first fractal instance Namada is planned for later in 2022, and it focuses on enabling shielded transfers for any assets, with a few second transaction latency and near zero fees.Visit anoma.net for more information.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 Guillermo catch up with Henry de Valence from Penumbra. They discuss his thoughts on requirements for adoption of privacy systems and how these led to him to develop Penumbra. They explore how Penumbra aims to use privacy features not as ‘nice to haves' within the system, but rather as essential components that offer a new paradigm for how to think about DeFi in a Multichain Ecosystem. Here are some additional links for this episode:Episode 126: Crypto libraries, Zcash’s Zebra and contact tracing with Henry de Valence Henry de Valence GitHubPenumbra TwitterInformal SystemsUniswap V3 IBCTendermintRustGithubGitFind the Anoma Whitepaper here. ZK Jobs Board – has a fresh batch of open roles from ZK-focused projects. Find your next opportunity working in ZK!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

This week, Anna and Tarun chat with Florian Tramèr, Assistant Professor at ETH Zurich. They discuss his earlier work on side channel attacks on privacy blockchains, as well as his academic focus on Machine Learning (ML) and adversarial research. They define some key ML terms, tease out some of the nuances of ML training and models, chat zkML and other privacy environments where ML can be trained, and look at why the security around ML will be important as these models become increasingly used in production. Here are some additional links for this episode:Episode 228: Catch-up at DevConnect AMS with Tarun, Guillermo and BrendanFlorian Tramèr’s GithubFlorian Tramèr’s Publications & PapersETH Zurich Single Secret Leader Election by Dan Boneh, Saba Eskandarian, Lucjan Hanzlik, and Nicola GrecoGasToken: A Journey Through Blockchain Resource Arbitrage by Tramèr, Daian, Breidenbach and JuelsEnter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts by Tramèr, Daian, Breidenbach and JuelsRonin Bridge Hack – Community Alert: Ronin Validators Compromised InstaHide: Instance-hiding Schemes for Private Distributed Learning, Huang et al. 2020.Is Private Learning Possible with Instance Encoding? OpenAI's GPT-3 modelOpenAI's GPT-2 modelOpenAI's GPT-2 modelThe Part-Time Parliament, Lamport, 1998.You Autocomplete Me: Poisoning Vulnerabilities in Neural Code CompletionZK Whiteboard Sessions – as part of ZK Hack and powered by Polygon – a new series of educational videos that will help you get onboarded into the concepts and terms that we talk about on the ZK front. ZK Jobs Board – has a fresh batch of open roles from ZK-focused projects. Find your next opportunity working in ZK!Today’s episode is sponsored by Mina Protocol.With Mina’s zero knowledge smart contracts – or zkApps – developers can create apps that offer privacy, security, and verifiability for your users. Head to minaprotocol.com/zkpodcast to learn about their developer bootcamps and open grants.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 episode, Anna explores the topic of the recent OFAC sanctions against Tornado Cash with 2 interviews: One is with TuongVy Le, Head of Regulatory and Policy at Bain Capital Crypto, who previously worked at the SEC and the other is with Michael Mosier, General Council at Espresso Systems, who used to work at the Treasury, within FinCen and at OFAC itself. For some context: On August 8th 2022, OFAC, a US government department issued sanctions against Tornado Cash, a privacy protocol that uses zero knowledge proofs to provide on-chain privacy. It was the first time that OFAC had sanctioned a set of smart contracts and a decentralized entity for which there's no clear ownership. This is an event which has had a ripple effect throughout the zk ecosystem and will be the topic explored in a series with different members of the community. In these two initial interviews, Anna explores what actually happened legally, what a sanction is, what kind of a tool is this, why it may have been issued and what problem arose from the way it was issued and how this might impact future understanding of zero knowledge tech through a legal lens._NOTE: Since our recording OFAC has released an FAQ to clarify some of the legal questions raised in our interviews: https://home.treasury.gov/taxonomy/term/1546 _Here are some additional links for this episode:Episode 111: Mixers with Tornado.cash Episode 166: Coin Center’s Peter Van Valkenburgh on regulation Episode 191: ZKPs & the Dichotomy of Privacy vs Transparency with Josh & Jill Chainanalysis: Crypto Mixer Usage Reaches All-time Highs in 2022, With Nation State Actors and Cybercriminals Contributing Significant VolumeCircle and Coinbase Restrict Movement of USDC Funds From Tornado Cash Addresses Following Sanctions Rep. Emmer demands an explanation of OFAC’s Tornado Cash sanction from Sec. Yellen What is OFAC? OFAC Press Release on Tornado CashOFAC Identifies Associated Digital Currency Addresses for the First Time Treasury Sanctions Russia-Based Hydra Blender.io Sanctions The Bank Secrecy Act 311 Patriot ActFinCEN: Financial Crimes Enforcement NetworkApplication of FinCEN’s Regulations to Certain Business Models Involving Convertible Virtual Currencies ZK Whiteboard Sessions – as part of ZK Hack and powered by Polygon – a new series of educational videos that will help you get onboarded into the concepts and terms that we talk about on the ZK front. ZK Jobs Board has a fresh batch of open roles from ZK-focused projects. Find your next opportunity working in ZK!Today’s episode is sponsored by Polygon.Introducing Polygon zkEVM. Polygon’s vision for zkEVM is simple: developers can deploy any Ethereum smart contract to a Layer 2 and benefit from the scaling power of ZK proofs. Public testnet is coming soon! If you’d like to learn more about Polygon zkEVM and stay updated on the latest - fill out the form here.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 episode, Anna and Guillermo chat with David Tse about his career and research spanning from early Networking, Mobile Networking, P2P, all the way up to his work on formalizing Blockchain systems. Along the way, they touch on topics like 'The Price of Anarchy', David’s Prism work, his work with the Ethereum Foundation and his new project Babylon. Here are some links for this episode:Episode 217: Information Theory & Blockchain with Sreeram Kannan The Price of AnarchyBabylonPrismBram Cohen’s Twitter Everything is a Race and Nakamoto Always WinsThree Attacks on Proof of Stake EthereumEbb-and-Flow Protocols: A Resolution of the Availability-Finality DilemmaMore of David Tse's PapersA Mathematical Theory of Communication - C. E. Shannon 1948Hidden Hamiltonian Cycle Recovery via Linear ProgrammingConcentration Inequalities and Model Selection - P. MassartJohn Tsitsiklis BioFundamentals of Wireless Communication - David Tse 2005Qualcomm WebsiteCosmoverse Event Link Devcon Event Link ZK Whiteboard Sessions – as part of ZK Hack and powered by Polygon – a new series of educational videos that will help you get onboarded into the concepts and terms that we talk about on the ZK front. ZK Jobs Board – if you are looking to find a new job, or if you are a team hiring, we have a fresh batch of open roles at ZK focused projects. This is a great place to learn about relevant projects and the types of roles they are looking for. 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. Leo enables non-cryptographers to harness the power of ZKPs. 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.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 Tarun revisit the topic of MEV with Chris Hager from Flashbots & Alex Stokes from the Ethereum Foundation. In this episode, they tease out more of the nuances around MEV and how the field around it has evolved in the last year or so. The team explores what the MEV space could look like after the Merge, the PBS (Proposer Builder Separation) concept, what each role in the MEV landscape will do and the MEV-Boost architecture. They also chat about using cryptographic solutions to prevent some kinds of MEV and some recent work that Tarun released on the topic of MEV, as well as future ideas around MEV aim to democratize or even share the searchers rewards.Here are some links for this episode:Episode 168: Flashbots with Phil Daian and Stephane GosselinEpisode 188: Analyzing Osmosis & Preventing MEV with Sunny and Dev Episode 216: A Dip into the Mempool & MEV with Project BlancAlex Stokes BlogFlashbots MEV ResearchFlashbots GithubFlashbots DiscordFlashbots Docs: New to MEV?Flashbots DocsTarun’s recent work on MEV: Improving Proof of Stake Economic Security via MEV RedistributionHere is more of Tarun's recent work: Towards a Theory of Maximal Extractable Value I: Constant Function Market Makers The Downside of Sanctioning Tornado CashZK Whiteboard Sessions – as part of ZK Hack and powered by Polygon – a new series of educational videos that will help you get onboarded into the concepts and terms that we talk about on the ZK front. ZK Jobs Board – if you are looking to find a new job, or if you are a team hiring, we have a fresh batch of open roles at ZK focused projects. This is a great place to learn about relevant projects and the types of roles they are looking for. Today’s episode is sponsored by Polygon.Introducing Polygon zkEVM. Polygon’s vision for zkEVM is simple: developers can deploy any Ethereum smart contract to a Layer 2 and benefit from the scaling power of ZK proofs. Public testnet is coming soon! If you’d like to learn more about Polygon zkEVM and stay updated on the latest - fill out the form here.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 explores Halo 2 with Daira Hopwood and Str4d, cryptographic engineers at Electric Coin Company. They explored what new ideas Halo introduced and how Halo 2 built on these ideas, adding optimisations such as adding Plonk-ish arithmetization to take what was a breakthrough to a production ready proving system. This episode was recorded at Zcon3 in Vegas. Here are some links for this episode:Episode on HaloEpisode recorded at Zcon0 ZK Whiteboard SessionsEpisode with Sean BoweHalo 2 explainedJustin Drake on Polynomial CommitmentsStr4d’s talk at ZCon3 Daira’s talk at ZCon3Ying Tong’s talk at ZCon3 Pratyush Mishra at Zcon3The halo2 Book: Proving System The halo2 Book: Protocol The halo2 Book: SinsemillaCheck out ZK Whiteboard Sessions, produced by ZK Hack & powered by Polygon, a weekly educational series of interviews with ZK experts on the most important concepts and building blocks in ZK. If you are looking to jump into ZK professionally, check out the ZK Jobs Board to find job posts from some of the top teams working in ZK – like Aleo, Anoma and Mina. If you’re looking to hire, be sure to add your jobs as well! More at ZK Jobs Board. Today’s episode is sponsored by Manta Network.Manta is the privacy hub for web3. By leveraging zero-knowledge proofs, Manta brings on-chain privacy to any crypto asset. Manta is looking for engineers passionate about cryptography and bringing convenient privacy protection to all of web3. Visit [https://careers.manta.network]([https://careers.manta.network) to apply.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 chats with Vaibhav Chellani, a bridge builder and the co-founder of Socket. They explore what makes up the components of a bridge, the types of bridges, and then look at their framework for analysing the security trade-offs of different bridge architectures. This is an important topic, since at present, there are more and more bridges coming online to connect all the different chains together. And with these come a number of new bugs, hacks and exploits. This episode gives us an overview on how to think about bridges. Here are some links for this episode:Episode 223: Connecting Cosmos and Ethereum with Gravity BridgeEpisode 226: Interoperability with Sergey Gorbunov from Axelar Episode 229: Going Cross-Chain with Polkadot’s XCM Episode 230: Designing Optimistic Interoperability with Nomad Socket bungee exchangeThe Bridge Risk Framework SeminarVitalik’s ‘Future Multi-chain, Not Cross-chain'Check out ZK Whiteboard Sessions, produced by ZK Hack & powered by Polygon, a weekly educational series of interviews with ZK experts on the most important concepts and building blocks in ZK. Also, zkSummit is happening in Berlin on September 15th! Apply to attend here.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 Kobi chat with Shumo Chu, co-founder of Manta Network. They discuss the origin story of the project and how they aim to bring privacy to web3. They explore the unique accessibility that Polkadot parachains enable, the work they do on building ZK tooling and libraries for the general ZK community. They then take a look at their plans for a multi-asset shielded pool and the future they have planned for Manta projects and more. Here are some links for this episode:Episode 226: Interoperability with Sergey Gorbunov from AxelarEpisode 172: ZK languages with Alex OzdemirManta NetworkManta: a Plug and Play Private DeFi StackDolphin TestnetZK GarageBlog post: Enabling multi-asset privacy on Anoma plookup: A simplified polynomial protocol for lookup tablesCirC: Compiler infrastructure for proof systems, software verification, and moreCheck out ZK Whiteboard Sessions, produced by ZK Hack & powered by Polygon, a weekly educational series of interviews with ZK experts on the most important concepts and building blocks in ZK. Today’s episode is sponsored by Anoma.Anoma is a suite of protocols that enable self-sovereign coordination. Anoma's first fractal instance, Namada, is planned for later in 2022, and it focuses on enabling shielded transfers for any assets with a few second transaction latency and near zero fees.Visit anoma.net to learn more!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 catches up with Zaki Manian from Sommelier and Dean Tribble from Agoric. They check-in with the latest project news, recap about the UST collapse, and look into IST - Inter Stable Token - a project by the Agoric team that aims to become the Cosmos native multi collateral stablecoin. Here are some links for this episode:Ep 218: Hardened JS and the Architecture of Agoric with Dean TribbleEp 201: DeFi’s Multichain Future with Zaki Manian from SommelierEp 174: Through the Cosmos Stargate UpgradeEp 108: Catch up with Zaki Manian from TendermintInter.TradeGaunletAgoricAgoric Signs on Gauntlet for Inter Protocol Stablecoin Risk Optimization on CosmosWe're excited to announce ZK Whiteboard Sessions – a weekly educational video series focused on the building blocks of ZK. Produced by ZK Hack and powered by Polygon.zkSummit 8 is happening in Berlin on Sept 15th during Berlin Blockchain Week!Apply to attend: https://www.zksummit.com/Today’s episode is sponsored by Aleo. Aleo is a new Layer-1 blockchain – if you’re building private applications then check out Aleo’s programming language called Leo which enables non-cryptographers to harness the power of ZKPs. Visit leo-lang.org to start building. You can also participate in Aleo’s incentivized testnet 3 by downloading and running a snarkOS node. No sign-up is necessary to participate. For questions, join their Discord at aleo.org/discordIf 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

No full episode this week. Just a quick message to let you know about the upcoming zkSummit 8 - happening in Berlin Sept 15 2022. Apply here: https://www.zksummit.com/ If you like what we do: Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Head to the ZK Community Forum Support our Gitcoin Grant

In this week’s episode, Anna talks with Illia from Near and Alex from Aurora about the work they did that lead them to the Near ecosystem and what the connection is between the Aurora project and Near. They also cover what’s new at Near since the last time Illia and Anna spoke, Aurora+, the Rainbow Bridge, and future plans with Near’s sharding system. Here are some links for this episode:Ep 91: Near Protocol's focus on UXEp 157: Illia Polosukhin on the development and launch of NEAR protocolCross Chain Series - Interview with Anna and AuroraSputnikVMNear BridgeNear Joins Multichain to Bring More Cross Chain Electron LabsCheck out the Zero Knowledge Podcast Linktree to stay up-to-date on all the ZK-focused channels and events in our ecosystem.Today’s episode is sponsored by AnomaAnoma is a suite of protocols that enable self-sovereign coordination. Their unique architecture facilitates the simplest forms of economic coordination such as two parties transferring an asset to each other. As well as more sophisticated ones like an asset agnostic bartering system involving multiple parties without direct “coincidence of wants."Anoma first fractal instance, Namada is planned for later in 2022, and it focuses on enabling shielded transfers for any assets with a few second transaction latency and near zero fees.Visit Anoma to learn more! If you like what we do:Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramHead to the ZK Community ForumSupport our Gitcoin Grant Read transcript

In this week’s episode, Anna and Kobi chat with guest Jens Groth, Director of Research at DFINITY and previously a professor in the Department of Computer Science at UCL. Jens Groth is a leading ZK researcher and is behind a number of advances in the field of ZK in the last few years such as the popular proving system Groth16. The conversation covers his earlier career, the cryptographic problems he tackled in his research, how he solved these, the results of this work as well as his move from research into industry and what he works on today. Here are some links for this episode:Episode 232: Cutting Edge ZK Research with Mary MallerJens Groth's researchEfficient Zero-Knowledge Argument for Correctness of a ShuffleSubversion-zero-knowledge SNARKs GGPRDFINITYInternet Computer ProtocolCheck out the Zero Knowledge Podcast linktree to stay up-to-date on all the ZK-focused channels and events in our ecosystemToday’s episode is sponsored by AnomaAnoma is a suite of protocols that enable self-sovereign coordination. Their unique architecture facilitates efficiently the simplest forms of economic coordination such as two parties transferring an asset to each other. As well as more sophisticated ones like an asset agnostic bartering system involving multiple parties without direct “coincidence of wants”; or even more complex ones such as “N-party” collective commitments to solve multipolar traps – where any interaction can be performed with adjustable zero-knowledge privacy.Visit Anoma to learn more! 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 Head to the ZK Community Forum Support our Gitcoin Grant Read transcript

In this week’s episode, Anna checks in with Aztec, a ZK-based privacy L2 project. She speaks with Joe Andrews and Lead Engineer, Charles Julian. They discuss some of the team’s most important ZK research and implementations such as Plonk and how bringing privacy to Ethereum could truly change the way we do DeFi. They also discuss Aztec Connect and how it relates to zk.money, the Aztec roadmap with future projects like DSL Noir and Aztec 3, as well as a quick postmortem on the halted Aztec Connect launch. Here are some links for this episode:Ep 176: Zk-zk-rollup & zk.money with Zac and Joe from AztecEp 75: Exploring Aztec with Zac WilliamsonEp 232: Cutting Edge ZK Research with Mary MallerAZTEC Trusted SetupPLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge AztecProtocol/barretenberg: C++ elliptic curve library | GitHubAztecProtocol/aztec-connect-bridges | GitHubIf you are looking to jump into ZK professionally, check out the ZK Jobs board to find job posts from some of the top teams working in ZK – like Aleo, Anoma and Mina. If you’re looking to hire, be sure to add your jobs as well! More at ZK Jobs Board.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 building private applications - then check out Aleo’s programming language called Leo which enables non-cryptographers to harness the power of ZKPs. Visit leo-lang.org to start building. 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](aleo.org/discord)If you like what we do:Find all our links here!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, we throwback to a sake-fueled conversation between Anna and returning guest Guillermo Angeris, recorded in April during DevConnect in Amsterdam. They cover Guillermo’s personal journey into math, math history in general, how to bring more people into the space and the potential opportunities and downsides of bringing some kinds of math mainstream. It is a bit of different one, but hope you enjoy!Here are some links for this episode: Ep 173: Building Private AMMs with Guillermo Angeris Ep 206: Distilling DeFi Primitives with Guillermo, Alex and Tarun Ep 212: 2021 < 2022 with Co-hosts & Friends Ep 228: Catch-up at DevConnect with Friends Grigori Perelman - Wikipedia Banach–Tarski Paradox - Wikipedia Understanding ZKPs Through Simple Examples Convex Analysis - Wikipedia Stephen P. Boyd - Wikipedia Four Color Theorem - Wikipedia A History of Mathematics/Middle Ages/Europe During the Middle AgesThe ZK Podcast team is growing! We're looking to hire an additional content producer to join us. There's a job posting for this content producer over on the ZK jobs board.Learn more and apply here.Today’s episode is sponsored by AnomaAnoma is a suite of protocols that enable self-sovereign coordination. Their unique architecture facilitates efficiently the simplest forms of economic coordination such as two parties transferring an asset to each other. As well as more sophisticated ones like an asset agnostic bartering system involving multiple parties without direct “coincidence of wants”; or even more complex ones such as “N-party” collective commitments to solve multipolar traps – where any interaction can be performed with adjustable zero-knowledge privacy.Visit Anoma to learn more! 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 Tarun chat with Ye Zhang and Haichen Shen, the founders of Scroll - a native zkEVM Layer 2 Solution for Ethereum. They cover the founding of Scroll, the problems they aim to solve with their native zkEVM layer 2 solution, why scaling Ethereum is important, the philosophy of their zkEVM, and how this differs from other proposals as well as potential use cases or products that could benefit from the system. They wrap up with an exploration of how DApps and products on top of such as zkEVM may interact with the mainchain and with other applications. Here are some links for this episode:ScrollScroll Tech Github Scroll Whitepaper Episode 194: zkEVM with Jordi and David from Polygon HermezAndrew Miller at UIUCEthereum Yellow PaperEthereum Design DecisionsThe ZK Podcast team is growing! We're looking to hire an additional content producer to join us. There's a job posting for this role over on the ZK Jobs Board. Learn more and apply here.Today’s episode is sponsored by AnomaAnoma is a suite of protocols that enable self-sovereign coordination. Their unique architecture facilitates efficiently the simplest forms of economic coordination such as two parties transferring an asset to each other. As well as more sophisticated ones like an asset agnostic bartering system involving multiple parties without direct “coincidence of wants”; or even more complex ones such as “N-party” collective commitments to solve multipolar traps – where any interaction can be performed with adjustable zero-knowledge privacy.Visit Anoma to learn more! 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 chats with Rahul Magani, the Applied ZK Lead at Jump Crypto, and Hendrik Hofstadt, Project Lead at (Wormhole Crypto)[https://twitter.com/wormholecrypto]. They look at how Wormhole first came to be, the challenges of interoperability, the design decisions they made in balancing security, speed and functionality, the risks facing these types of solutions, including the famous Wormhole hack, what the future holds and how they aim to explore using zk in bridging. Here are some links for this episode:Ep 230: Designing Optimistic Interoperability with NomadEp 232: Cutting Edge ZK Research with Mary Maller Jump CryptoWormhole RepositoryWormhole Portal BridgeJump Trading GroupKey Pillars of Crypto InfrastructurePyth NetworkSerum ProjectFiat-Shamir VulnerabilityJump Trading Bug BountiesBN254 Curve StandardPlonK Proof SystemNova Proof SystemManta: a Plug and Play Private DeFi StackBLS12-377 curve operationsWormhole Hack ReportThe ZK Tech side round on Gitcoin starts today and runs until June 23rd. During this CLR matching round funds that are donated to the ZK tech side round are matched from our 100K matching pool. This initiative is led by 0xPARC and zkValidator, as well as our fantastic matching partners from the ecosystem. Visit gitcoin.co to get your grant in and choose the tag ZK tech to be eligible to our matching pool. Today’s episode is sponsored by AnomaAnoma is a suite of protocols that enable self-sovereign coordination. Their unique architecture facilitates efficiently the simplest forms of economic coordination such as two parties transferring an asset to each other. As well as more sophisticated ones like an asset agnostic bartering system involving multiple parties without direct “coincidence of wants”; or even more complex ones such as “N-party” collective commitments to solve multipolar traps – where any interaction can be performed with adjustable zero-knowledge privacy.Visit Anoma to learn more. 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 co-host Kobi Gurkan chat with Mary Maller, a ZK Researcher at the Ethereum Foundation. They cover Mary’s journey into cryptography, her work on trusted setups, universal SNARKs and Plookup tables. They also discuss the work she and Kobi did on aggregatable DKGs, what working on research at the EF is like and more. Here are some links for this episode: Caulk: Lookup Arguments in Sublinear Time Aggregatable Distributed Key Generation Reaching Consensus For Asynchronous Distributed Key Generation Updatable and Universal Common Reference Strings with Applications to zk-SNARKs Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS SNARKBlock: Federated Anonymous Blocklisting from Hidden Common Input Aggregate Proofs SnarkPack: Practical SNARK Aggregation R1Cs ZK Hack Puzzles Ep 133: Trusted Setup Ceremonies Explored Ep 93: Light clients & ZKPs with Celo Bonus ZK Hack Wrap with Kobi! Mary's Github: mmaller - GitHubCheck out the @ZeroKnowledge Linktree to find our community links and stay in the loop on upcoming events & more!If you're building something ZK and could benefit from some early funding – ZKValidator and 0xPARC bring you another ZK Tech Side Round on Gitcoin - GR14. This round has at least $100K in matching pool. The round starts on June 8th and runs for two weeks.Matching is based on your quadratic voting score (lots of small donations are better than a few big ones). Be sure to choose the tag #zktech to be eligible!Today's episode is sponsored by Penumbra. Penumbra is a cross-chain shielded pool and decentralized exchange, allowing users to shield assets from any IBC connected chain and privately transact stake, swap and market make without revealing their personal information or trading strategies to the world. Visit penumbra.zone to learn more, use the Testnet, and join their 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 chats with Julien Niset, co-founder of Argent, about crypto wallets. They explore the history of wallet landscape, the interfaces we use for the decentralized web, the importance of account abstraction, smart contract wallets and Argent’s bet on ZK rollups.Here are some links for this episode:Episode 24: Blockchain UX and the UXUnConfArgentArgent Labs | Github What is an 'EOA' account? EIP-1271: Standard Signature Validation Method for Contracts zkSyncStarkware Find all our links here!If you are looking to jump into ZK professionally, check out the ZK Jobs board to find job posts from some of the top teams working in ZK – like Aleo, Anoma and Mina. If you’re looking to hire, be sure to add your jobs as well! More at ZK Jobs Board.Today’s episode is sponsored by Polygon Hermez.The Polygon Hermez zk-rollup is a layer 2 built on top of Ethereum that solves its scalability through mass transfer processing rolled into a single transaction. Zero-knowledge proofs are used to present and publicly record the validity and correctness of the rolled transfers processed on the Ethereum blockchain.Visit polygon.technology to learn more about Polygon Hermez and other Polygon solutions. If you like what we do:Find all our links here!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 catches up with Anna Caroll and James Prestwich from Nomad. Together they explore the Nomad optimistic interoperability solution, how it first was developed, what lessons it takes from previous attempts at interoperability and cross-chain bridging, how the system works and more.Here are some links for this episode:Ep 118: Tarun and James talk Flash Loans & more | ZK PodcastEp 34: Blockchain 101: What are smart contracts? | ZK PodcastThe Balance Wheel | prestwi.chThe Interoperability Trilemma | medium.comOptimistic Bridges | blog.connext.networkConnext Has Partnered With Nomad | blog.connext.networkNomad | Home@nomad-xyz | Github@prestwich | GithubIf you are looking to jump into ZK professionally, check out the ZK Jobs Board.ZKValidator is looking for a Junior Researcher who is interested in exploring and writing about emerging fields of cryptography like ZKPs, Proof-of-Stake, Bridges, Rollups, MEV, and other cutting edge meta blockchain topics. Check out the ad here.Today’s episode is sponsored by Polygon Hermez. The Polygon Hermez zk-rollup is a layer 2 built on top of Ethereum that solves scalability issues through mass transfer processing rolled into a single transaction. ZKPs are used to present and publicly record the validity and correctness of the rolled transfers processed on the Ethereum blockchain. By storing just the proof and the compressed data of a batch of transfers, the efficiency and the throughput of the network is multiplied.Visit polygon.technology to learn more about Polygon Hermez and other Polygon solutions. If you like what we do: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 dives back into the Polkadot world with friend and occasional co-host Rob Habermeier from Parity. They cover XCM - the Cross-Consensus Messaging format - and how XCM allows parachains to speak to one another, passing messages through the validators on the relay chain via XCMP Cross-Chain Message Passing. Here are some links for this episode:@paritytech | Github@Polkadot | Twitter@rphmeier | Twitter@paritytech/polkadot | GithubEp 83: From Warp Sync to SPREE with Polkadot's Rob Habermeier | ZK PodcastEp 15: Chatting about consensus algorithms with Robert Habermeier | ZK Podcast@paritytech/xcm-format | GithubKusama, Polkadot's Canary Network | kusama.networkSub0 Online: Getting Started with XCM - Your First Cross Chain MessagesPallets | docs.substrate.ioSubstrate.ioStatemine | parachains.infoPolkadot Bridges Connecting The Polkadot Ecosystem With External Networks | polkadot.networkLearn Spree | wiki.polkadot.networkCloaking Device | memory-alpha.fandom.comIf you are looking to jump into ZK professionally, check out the ZK Jobs Board to find openings from some of the top teams working in ZK - like Aleo, Anoma and Mina. If you’re looking to hire, be sure to add your jobs as well! More at ZK Jobs BoardZKValidator is looking for a Junior Researcher who is interested in exploring and writing about Zero Knowledge and other emerging fields of cryptography, Proof-of-Stake, Bridges, Rollups, MEV, and other cutting edge meta blockchain topics. If this sounds like you, check out the add here and get in touch!Today’s episode is sponsored by Polygon Miden. Polygon Miden is layer 2 scaling solution for Ethereum. Miden relies on ZK-STARKs to roll-up thousands of layer 2 transactions into a single Ethereum transaction, increasing throughput and reducing fees. At the heart of Polygon Miden is Miden VM, a Turing-complete STARK-based virtual machine which provides a level of safety and support of advanced features currently not available on Ethereum.Visit polygon.technology to learn more about Polygon Miden and other Polygon solutions. If you like what we do: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 catches up with Tarun, Guillermo and Brendan at DevConnect Amsterdam to cover a range of interesting and random topics like how blockchain and AI thinking differs, where it could intersect and how ZK tech could be implemented, how science could benefit from more adversarial testing, why peer review is broken, math theory, takeaways from DevConnect and more! Here are some links for this episode:DevConnet AMS 2022zkSummit 7 in AmsterdamzkSummit 7 Talk Videos | YouTube PlaylistEinstein Notation | WikipediaWordcels vs. Shape Rotators, ExplainedDiplomacy gameP-Value ExplainedTopologyWhat is measure theory?ZK Validator is hiring!ZKValidator is looking for a Junior Researcher who is interested in exploring and writing about Zero Knowledge and other emerging fields of cryptography, Proof-of-Stake, Bridges, Rollups, MEV, and other cutting edge meta blockchain topics. If this sounds like you, check out the add here and get in touch:https://jobsboard.zeroknowledge.fm/job/144/junior-blockchain-researcher/Today’s episode is sponsored by Zcash Community Grants. Zcash Community Grants is a grants program within the Zcash ecosystem that funds projects that advance the usability, security, privacy, and adoption of Zcash. Their primary areas of focus include wallets, core and security, interoperability, Zcash apps, ongoing services, education, ecosystem, and community. Previously awarded grants have ranged in size and scope - from a $3,000 grant to a $1.2M dollar grant. To apply for a Zcash Community Grant and contribute towards the development of the Zcash protocol, visit the Zcash Grants Hub at zcashgrants.org.If you like what we do: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 chats with Sam Blackshear, co-founder and CTO at Mysten Labs. Sam has a background in programming language research and is one of the authors of the Move language, a language that can be used to implement custom transactions and smart contracts. They chat about Mysten’s concept of programmable objects and what properties are necessary to make this functional for a blockchain context. They also cover Sui, a smart contracts platform which is a generalized L1 with a new asset centric data model for parallel transaction commits being developed by Mysten, what's next in the roadmap and some of the collaborations to come. Here are some links for this episode:Mysten Labs WebsiteTwitter @mysten_labsSam on Twitter @b1ackd0gMove LanguageMove WhitepaperSui WhitepaperGithub @MystenLabstwitter @dahlia_malkhiSkylark: Go configuration languageSui docs pageSui GitHubSui DiscordMove GitHubMove community pageMove DiscordIf you are looking to jump into ZK professionally, check out the ZK Jobs Board to find openings from some of the top teams working in ZK - like Aleo, Anoma and Mina. If you’re looking to hire, be sure to add your jobs as well! More at ZK Jobs Board.Today’s episode is sponsored by Polygon Miden. Polygon Miden is layer 2 scaling solution for Ethereum. Miden relies on zk-STARKs to roll-up thousands of layer 2 transactions into a single Ethereum transaction, increasing throughput and reducing fees. At the heart of Polygon Miden is Miden VM, a Turing-complete STARK-based virtual machine which provides a level of safety and support of advanced features currently not available on Ethereum.Visit polygon.technology to learn more about Polygon Miden and other Polygon solutions. If you like what we do: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 catches up with Sergey Gorbunov from Axelar and revisits the topic of bridges. They chat about what led Sergey to work on interoperability, the problems these solutions try to solve, how it compares to existing solutions, and what's next for the project. They also chat about some of the challenges of a multi bridge landscape and the fragmentation of liquidity.Links for the episode:Episode 223: Connecting Cosmos and Ethereum with Gravity BridgeAxelar Network Github @axelarnetworkAxelar WhitepaperIBC OverviewInteroperability and Market Segmentation by Steve McKeonIf you are looking to jump into ZK professionally, check out the ZK Jobs board to find job posts from some of the top teams working in ZK - like Aleo, Anoma and Mina. If you’re looking to hire, be sure to add your jobs as well! More at ZK Jobs Board.Today’s episode is sponsored by Polygon Zero. Polygon Zero is a layer 2 scaling solution for Ethereum, powered by Plonky2. A groundbreaking prover system, which generates zk proofs faster than any other existing tech. Plonky2 supports efficient recursive proof generation allowing Polygon Zero to scale horizontally – meaning the throughput of the protocol is limited not by the weakest nodes on the network, but only by the total compute available.Visit polygon.technology to learn more.If you like what we do: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 catches up with Gubsheep from 0xPARC. They chat about Dark Forest – a decentralized zk-based RTS game, built on Ethereum. They cover how it has evolved in the past 2 years and what’s upcoming in the Dark Forest’s community, governance and experiments. They recap the recent Gitcoin GR13 ZK Tech side round, review some moonshot ideas for ZK projects of the future and discuss potential avenues of funding in the ZK space. Lastly, they dive deeper into the 0xPARC ecosystem by exploring the public goods and research projects 0xPARC has in the works from their support of application level R&D on decentralized systems to experimental applications of ZK for end-user facing apps.Here are some links for this episode:Ep141 - ZK & Games: Dark Forest w Brian GuEp221 - Funding the next wave of ZK Tech0xPARC.org websitelearn.0xparc.orgGR13 #zkTech side roundEthereum UniversityDark Forest gameGubsheep’s 6 ZK Moonshot ideaszkMessage BoardEcne Project GrantCircom Project GrantZK Data MarketplaceZK-MNIST ClassifierIf you are looking to jump into ZK professionally, check out the ZK Jobs board to find job posts from some of the top teams working in ZK - like Aleo, Anoma and Mina. If you’re looking to hire, be sure to add your jobs as well! More at jobsboard.zeroknowledge.fmToday’s episode is sponsored by Polygon.Polygon is the go-to Ethereum scaling platform for developers - it is arguably the most adopted scaling protocol with more than 130+ mn unique user wallets. In simple terms, Polygon is scaling Ethereum. Polygon's projects now include a number of fully secured EVM-compatible Zero Knowledge rollup solutions like Polygon Hermez, Polygon Miden, and Polygon Nightfall and the most recently announced acquisition of Mir Protocol, now known as Polygon Zero. Visit polygon.technology to learn about their solutions.If you like what we do: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