PLAY PODCASTS
Zero Knowledge

Zero Knowledge

410 episodes — Page 4 of 9

New ZK Use Cases with Dan Boneh

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

Nov 30, 20221h 11m

Verifying Consensus On-Chain with Succinct

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

Nov 23, 20221h 6m

Matt Green on bringing ZK into the wild and the compliance debate

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

Nov 16, 20221h 8m

A look into Namada and Anoma with Awa Sun Yin

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

Nov 9, 20221h 8m

From Wireless to Blockchains with Pramod Viswanath

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

Nov 2, 20221h 16m

Exploring RISC Zero with Brian Retford and Jeremy Bruestle

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

Oct 26, 20221h 6m

What’s the Deal with Hash Functions?

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

Oct 19, 20221h 17m

Impact of Tornado Cash: a Builders Perspective

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

Oct 12, 202243 min

Revisiting FHE with Rand Hindi from Zama

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

Oct 5, 202248 min

Exploring Penumbra with Henry de Valence

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

Sep 28, 20221h 23m

Adversarial Machine Learning Research with Florian Tramèr

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

Sep 21, 20221h 6m

Sanctions against Tornado Cash: a Legal Perspective

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

Sep 14, 20221h 24m

Journey to Blockchain with David Tse

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

Sep 7, 20221h 22m

Dive Back into MEV with Alex Stokes and Chris Hager

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

Aug 31, 20221h 16m

Halo 2 with Daira Hopwood and Str4d

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

Aug 24, 20221h 15m

Deconstructing Bridges with Vaibhav Chellani

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

Aug 17, 20221h 7m

Composable Privacy with Manta Network

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

Aug 10, 202256 min

IST and Designing Stablecoins in Cosmos

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

Aug 3, 20221h 3m

Bonus: Apply to zkSummit 8

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

Jul 29, 20220 min

Aurora and Near with Alex and Illia

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

Jul 13, 20221h 16m

Exploring ZK Research with Jens Groth

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

Jul 6, 20221h 6m

Aztec Connect and Private DeFi with Charlie and Joe

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

Jun 29, 20221h 8m

Mathematical Journeys & Sake with Guillermo Angeris

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

Jun 22, 20221h 23m

zkEVM with Scroll’s Ye Zhang and Haichen Shen

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

Jun 15, 20221h 3m

Through the Wormhole with Jump Crypto

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

Jun 8, 20221h 21m

Cutting Edge ZK Research with Mary Maller

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

Jun 1, 20221h 9m

Argent’s Smart Contract Wallet Design with Julien Niset

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

May 25, 20221h 10m

Designing Optimistic Interoperability with Nomad

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

May 18, 20221h 21m

Going Cross-Chain with Polkadot’s XCM

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

May 11, 20221h 10m

Catch-up at DevConnect AMS with Tarun, Guillermo and Brendan

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

May 4, 20221h 17m

Move & Sui with Sam Blackshear from Mysten Labs

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

Apr 27, 202257 min

Interoperability with Sergey Gorbunov from Axelar

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

Apr 20, 20221h 6m

Dark Forest and 0xPARC with Gubsheep

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

Apr 13, 20221h 22m

Bonus: Jump into ZK

No full episode this week! ZKV presents Privacy in Cosmos - April 15 - is here: https://www.events.zkvalidator.com/ Zk Summit - April 21 - is here: https://www.zksummit.com/ _Note: Both are sold out, if you can't make it, let us know and keep an eye on our Youtube Channel, we will be streaming both events there! _ And do check out our linktree to see all the links many of our ZK Channels https://linktr.ee/zeroknowledge

Apr 7, 20221 min

Foundry with Georgios Konstantopoulous

This week, Anna & Tarun catch up with Georgios Konstantopoulos from Paradigm - a well-known OG crypto VC. They chat about his move to CTO at the firm, the team he has built and what they are working on. Then they dive into Foundry - a fast, portable, modular testing toolkit for Ethereum app dev written in Rust. They discuss the tooling landscape, why Foundry is making a bet on solidity, the different types of testing that developers are doing and other open questions in the field.Here are some links for the episode:Foundry on GithubEp.142 Hasu & Georgios on BTC Sec. & Elastic Block SizeLearning FoundryTruffle SuiteHard HatdAppToolsBrownieVyper LangArbitrumSome of Georgios' collaborators mentioned:@samczsun@brockjelmore@FrankieIsLost@onbjerg@mattsse_ On April 15th in Amsterdam, ZKValidator is hosting ‘Privacy in Cosmos’ - the 4th installation in a series of events funded by the Cosmos Hub. Sign up: https://www.eventbrite.co.uk/e/privacy-in-cosmos-live-in-amsterdam-tickets-290329462237 zkSummit is back! Happening on April 21st in Amsterdam. Check out the program and details here: https://www.zksummit.com/. We have a handful of sponsorships left! Get in touch to learn more: [email protected] Today’s episode is sponsored by Electric Coin Company.Electric Coin Company, the inventors of Zcash, are building the next generation of zero-knowledge tech. With its Network Upgrade 5 happening this April, Zcash will move to the Halo zero-knowledge proving system, removing the trusted setup and becoming shielded by default. They believe privacy is essential to delivering on the promise of a thriving and equitable Web3. With Zcash and Halo cryptography, ECC aims to usher in an era of self-sovereignty, and economic and creative freedom. Visit electriccoin.co 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

Mar 30, 20221h 9m

Connecting Cosmos and Ethereum with Gravity Bridge

This week, Anna chats with Deborah Simpier and Justin Kilpatrick, co-founders of Althea and the team working on Gravity Bridge. They start with the history of the Althea project and how they aim to build an open marketplace for independent entities to create their own ISPs, providing bandwidth to users in under-connected areas. They then dive into the larger topic of bridges and the work being done on Gravity Bridge – a bridge that links Ethereum with IBC and the Cosmos ecosystem. They touch on the larger bridge landscape in Cosmos, the new initiatives and challenges that come with a multichain architecture, the opportunities and hazards of the current wave of stakedrop airdrops in Cosmos, Gravity's roadmap and more! Here are some links for the episode:Episode 207: Journey Through the Cosmos Ecosystem with Billy RennekampGravity Bridge Althea Everything You Need to Know About the Gravity Bridge Chain Twitter Spaces: Gravity Bridge Community Call and AMA ZKValidator presents Privacy in Cosmos: Scalability Edition - Gravity Bridge Blog post: How Gravity Works Introducing Gravity Grants: a proposed grants program for Gravity Bridge If you're looking to jump into ZK professionally, the ZK Jobs Board is where some of the top teams working in zero knowledge are posting jobs. Teams like: Anoma, Polygon Hermez, O(1) Labs and Ethereum Foundation have openings. Check it out: https://jobsboard.zeroknowledge.fm/ZKValidator is hosting a Privacy in Cosmos event in Amsterdam on April 15th. Free to sign up here.zkSummit is back on April 21 for a one-day in-person event in Amsterdam! Must apply here to attend. Spots are limited.Today’s episode is sponsored by Aleo. Aleo is a new Layer-1 blockchain that uses cutting edge cryptography to achieve the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. It also features a new programming language called Leo that enables non-cryptographers to harness the power of ZKPs to build private applications. Roll up your sleeves and visit leo-lang.org to start building. Aleo will also be participating in ZPrize – a competition accelerating the future of zero-knowledge cryptography. Visit zprize.io to learn more! If you like what we do:Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

Mar 23, 202258 min

Something Brewing with Jill Gunter and Ben Fisch from Espresso Systems

This week, Anna and Tarun chat with Jill Gunter and Ben Fisch from Espresso Systems. Espresso recently went public with their Proof-of-Stake Layer 1 blockchain, developed with flexible private applications and ZK rollups in mind. In this conversation, they explore the founding and development of the project, the Espresso chain and CAPE - a wrapped privacy smart contract application that is designed to be deployed on Espresso. They also discuss the programming model, the evolution of privacy technology, what configurable or flexible privacy means, the Espresso roadmap and more. Here are some links for the episode:Episode 88: Accumulators with Ben FischEpisode 191: ZKPs & the Dichotomy of Privacy vs Transparency with Josh & JillEpisode 208: Digging into Data Availability with Ismail Khoffi from CelestiaFraud and Data Availability Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest MajoritiesEpisode 219: Scaling Ethereum with Polygon’s Mihailo BjelicZKValidator and 0xPARC bring you a ZK Tech Side Round GR13 on Gitcoin from now until March 24th. Donations made during this period are matched from matching pools so your donations go a lot further. Head over to Gitcoin today! Also check out the ZK Podcast Gitcoin while you are there! https://gitcoin.co/grants/329/zero-knowledge-podcastZK Jobs Board is a great place to find job openings from some of the top zk teams! https://jobsboard.zeroknowledge.fm/ Today’s episode is sponsored by Anoma.Anoma 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. To learn more about Anoma visit their website at anoma.network. Anoma is also hiring visit heliax.dev/jobs to learn more about their openings. If you like what we do:Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

Mar 16, 20221h 10m

Funding the Next Wave of Zero Knowledge Tech

This week Anna dives into the topic of funding in the ZK space. She chats with a number of different groups who are all funding zero knowledge technology from different angles. She kicks off the conversation with her colleague from ZKValidator Susannah Evans and Gubsheep from 0xPARC about the Gitcoin side round they are leading which is focused on funding the next wave of ZK tech projects. She then chats with Arjun Karlsy, VP of Growth at Polygon about their massive commitment of 1 billion into ZK through investments, acquisitions, and grants. Following this, she catches up with Alex Pruden, CEO at Aleo to talk about their soon to launch grant program – Zprize, an industry-wide effort to accelerate zero knowledge technology. And lastly, she speaks with Alistair Stewart from the Web3 Foundation about a newly announced ZK component of the Polkadot Pioneers Prize. Here are some links for the episode:ZK Tech Gitcoin GR13 Side Round Live on 9th MarchGitcoin GR13: ZKTech Matching Round0xPARC on Twitter ZKValidator on TwitterThe Polygon Thesis: Strategic Focus on ZK Technology as the Next Major Chapter for Polygon; $1B Treasury AllocationPolygon on Twitter ZprizeAleo on Twitter ZKV presents Privacy on Polkadot - Polkadot Pioneers Prize with Alexio Sanchez and Alistair Stewart New Proposal: Polkadot Pioneers Prize, an Incentive Prize ProgramPolkadot Pioneers Prize Proposal (RTS)ZKValidator and 0xPARC bring you another ZK Tech Side Round GR13 on Gitcoin. This ZK Tech Side Round has a matching pool of $275K, up from $100K last time. The round starts on March 9th 2022 and runs for two weeks. Submit your project: https://gitcoin.co/grants/Add your grant to the “zkTech” side round to be eligible for the $275,000 in the matching pool.Full details here: https://medium.com/zero-knowledge-validator/zk-tech-gitcoin-gr13-side-round-live-on-9th-march-7e90f44ae715 If you’re looking to jump into ZK professionally – head over to the ZK Jobs Board to find job openings from some of the top teams working in the ZK space! https://jobsboard.zeroknowledge.fm/ Today’s episode is sponsored by Penumbra.Penumbra is a cross-chain shielded pool and decentralized exchange, allowing users to shield assets from any cosmos chain, and privately transact, stake, swap, and marketmake, without revealing your personal information or trading strategies to the world.Penumbra Labs is also building in public, visit penumbra.zone to learn more, use the testnets and join their discord.If you like what we do:Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

Mar 9, 20221h 10m

The Road to Plonky2 with Brendan and Daniel from Polygon Zero

This week, Anna chats with Brendan Farmer and Daniel Lubarov from Polygon Zero, formerly known as Mir, about their early experiments with different proving systems, their work combining PLONK and Halo called Plonky - as well as the more recent combination of PLONK plus FRI (a technique that is borrowed from STARKs) which makes up Plonky2. They discuss why these innovations matter, what the new paradigms enable within the Ethereum ecosystem, their goal to provide privacy and scalability for blockchains, their recent acquisition by Polygon and more.Here are some links for the episode:Polygon Zero Introducing Plonky2Episode 194: zkEVM with Jordi & David from HermezEpisode 210: The Road to STARKs and Miden with Bobbin ThreadbareEpisode 219: Scaling Ethereum with Polygon’s Mihailo BjelicEpisode 179: Diving into Arbitrum’s Optimistic RollupEpisode 32: Zero Knowledge at Zcon0!Tweet thread about Goldilocks field[EIP-4488: Transaction calldata gas cost reduction with total calldata limit](EIP-4488: Transaction calldata gas cost reduction with total calldata limit) If you’re looking to jump into ZK professionally – head over to the ZK Jobs Board to find job openings from some of the top teams working in the ZK space! https://jobsboard.zeroknowledge.fm/Today’s episode is sponsored by Aleo. Aleo is a new Layer-1 blockchain that uses cutting edge cryptography to achieve the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. It gives developers the tools they need to build programs that protect privacy while allowing applications to be regulatory-compliant. It also features a new domain-specific programming language called Leo that enables non-cryptographers to harness the power of ZKPs to build private applications like decentralized exchanges, hidden information games, regulated stablecoins, and more. Go to aleo.org to learn more about the protocol, or roll up your sleeves and visit leo-lang.org to start building. If you like what we do:Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

Mar 2, 202259 min

Scaling Ethereum with Polygon’s Mihailo Bjelic

This week, Anna chats with Mihailo Bjelic one of the co-founders of Polygon. Mihailo takes us through the evolution of Polygon and how the promise of web3 has led them to betting big on ZK-focused technologies. We learn about their approach to the two main challenges within their mission to scaling Ethereum – security and data availability; and how their suite of products aims to tackle these. Lastly, we hear about what’s next on the Polygon roadmap to onboarding the first billion to Ethereum – for the products themselves and the ecosystem as a whole. Here are some links for the episode:Episode 194: zkEVM with Jordi & David from HermezEpisode 210: The Road to STARKs and Miden with Bobbin ThreadbarePolygon's scaling solutionsThe Data Availability ProblemThe Polygon Thesis: Strategic Focus on ZK Technology as the Next Major Chapter for Polygon; $1B Treasury Allocation ZKVerse: Polygon’s Zero Knowledge Strategy ExplainedIf you’re looking to jump into ZK professionally – head over to the ZK Jobs Board to find openings from some of the top teams working in ZK: https://jobsboard.zeroknowledge.fm/ZK Hack returns for a 2nd edition with ZK Hack Mini – kicking off on 1st March with a series of workshops and puzzle hacking competitions.Sign up for the first workshops - on Winterfell and Miden happening on March 1st.Today’s episode is sponsored by Least Authority. Least Authority has been making advancements in the ZK space since 2013. This year, they will release the MoonMath Manual, a beginners guide to zk-SNARKs. The manual is designed to enable an audience with only minimal cryptography and programming experience to implement complex, real-world zk-building blocks. Least Authority has also published a whitepaper on Zero Knowledge Access Passes or ZKAPs. This privacy-enhancing technology enables users to access services without revealing personal information to the service provider. They are implementing ZKAPs in PrivateStorage, their soon to be released cloud storage service.To learn more about Least Authority and the upcoming MoonMath Manual visit leastauthority.com/moonmathmanualIf you like what we do:Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

Feb 23, 20221h 22m

Hardened JS and the Architecture of Agoric with Dean Tribble

This week, Anna chats with Dean Tribble, co-founder and CEO of Agoric. Dean walks us through the landscape of programming languages and Agoric’s philosophy behind building a blockchain that has Hardened JS as its smart contract language. We hear about the two big challenges in using JavaScript in blockchain development, malleability and non-deterministic, and how Agoric addresses these. Dean explains the security implications of many popular blockchain languages and how this led them to build Agoric’s smart contract infrastructure allowing JavaScript functions to run with specific access control – leaving the money management to the larger framework. We touch on what to expect from the upcoming development phases of Agoric, various bridging partnerships to come, and last but not least – if, when and how they envision ZK roll-ups getting implemented into the stack. Here are some links for the episode:Zcon0 episodeAgoric's websiteAgoric Token and Crypto Economy White Paper SF Cryptocurrency Devs: Agoric - Programming Secure Smart ContractsA Deep Dive into Agoric: JavaScript Smart ContractsZKV presents Privacy in Cosmos: Scalability Edition - AgoricWhat is INTERCHAIN SECURITY? by BILLY RENNEKAMP Cøsmos Hub Mainnet Phase 0 LaunchIf you’re looking to jump into ZK professionally – head over to the ZK Jobs Board to find openings from some of the top teams working in ZK: https://jobsboard.zeroknowledge.fm/ ZK Hack returns for a 2nd edition with ZK Hack Mini - kicking off on 1st March with a series of workshops and puzzle hacking competitions. Sign up for the first event on March 1st.Today’s episode is sponsored by Polygon.Polygon is one of the top Ethereum scaling platforms for developers with more than 130+ mn unique user wallets. They are committed to bringing web3 to the masses by improving scalability and fostering the network effects of 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. These solutions inherit the security of Ethereum and use the power of zero knowledge. If you like what we do:Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

Feb 16, 20221h 13m

Information Theory & Blockchain with Sreeram Kannan

This week, Anna and Tarun Chitra chat with Sreeram Kannan, Associate Professor at University of Washington where he runs the UW Blockchain Lab. In this episode, they look at how information theory and blockchain intersect and map the progression of Bitcoin security. They discuss Sreeram’s early work on P2P mobile networks and how this evolved to work on consensus and fair sequencing. Sreeram takes us through his philosophical reasoning of shifting from genomic research to blockchain research and the two major areas in P2P systems that he focuses on: maximum throughput and low latency. Here are some links for the episode:Sreeram on Twitter Sreeram’s homepageEpisode 136 - Math competitions, crypto as alchemy & Gasper with Yan Zhang Prism: Scaling Bitcoin by 10,000xPrism: Deconstructing the Blockchain to Approach Physical LimitsThe Bitcoin Backbone Protocol: Analysis and ApplicationsEverything is a Race and Nakamoto Always WinsThemis: Fast, Strong Order-Fairness in Byzantine ConsensusBabylon: Reusing Bitcoin Mining to Enhance Proof-of-Stake SecurityBlockchain CAP Theorem Allows User-Dependent Adaptivity and FinalityCombining GHOST and Casper If you’re looking to jump into ZK Professionally I want to remind you to head over to the ZK Jobs board to find job posts from some of the top teams working in ZK: https://jobsboard.zeroknowledge.fm/ ZK Hack returns for a 2nd edition with ZK Hack Mini – a shorter form event spanning 2 weeks and kicks off on March 1st with a series of workshops and puzzle hacking competitions.Join the newsletter for updates or sign up for the first event on March 1st.Today’s episode is sponsored by Electric Coin Company.Electric Coin Company, the inventors of Zcash and Halo cryptography, are building the next generation of zero-knowledge tech. With Network Upgrade 5 happening this April, Zcash moves to the Halo zero-knowledge proving system, removing trusted setup and becoming shielded by default. With the help of Zcash and Halo cryptography, ECC aims to usher in an era of self-sovereignty and creative freedom. To learn more and explore the relationship between privacy, self-sovereignty and creative freedom, visit electriccoin.coIf you like what we do:Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

Feb 9, 20221h 34m

A Dip into the Mempool & MEV with Project Blanc

This week, Anna chats with Dean Eigenmann and Edgar Aroutiounian from Project Blanc, a team building bots and developing MEV strategies. They revisit the topic of MEV, what it is and how teams like Project Blanc work to capture it. They also dive into the concept of re-orgs, accelerationism as a philosophy and get a look at what goes on in the Dark Forest.Here are some links for the episode:Monsters in the Mempool with Dan Robinson from ParadigmEpisode 168: Flashbots with Phil Daian and Stephane GosselinEpisode 188: Analyzing Osmosis & Preventing MEV with Sunny and Dev Dialectic on Twitter Dialectic's websiteBlog post: Ethereum is a Dark Forest by Dan Robinson, Georgios KonstantopoulosEth Research, Flashbots: Frontrunning the MEV crisisMEV… wat do? ZK Hack returns for a 2nd edition with ZK Hack Mini - a shorter form event spanning 2 weeks (instead of the previous 7) and kicking off on 1st March with a series of workshops and puzzle hacking competitions. Join the newsletter for updates or sign up for the first event on March 1st.Today’s episode is sponsored by Polygon.Polygon is one of the top Ethereum scaling platforms for developers with more than 130+ mn unique user wallets. They are committed to bringing web3 to the masses by improving scalability and fostering the network effects of 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. These solutions inherit the security of Ethereum and use the power of zero knowledge. Polygon's openings on the ZK Jobs Board. If you like what we do:Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

Feb 2, 20221h 1m

Charting Zodiac & DAOs with Nathan Ginnever and Auryn Macmillan

This week Anna chats with Nathan Ginnever, an applied cryptographer and contributor to Zodiac, and Auryn Macmillan, a product manager and Solidity dev at Gnosis Guild, about the modules and components that make up Zodiac’s suite of composable DAO tooling. In the conversation, they explore the DAO landscape and the lessons they’ve gathered from earlier tools like the Gnosis Safe and SafeSnap. As well as run-through the components that make up the Zodiac standard, new upcoming innovations, the emerging trends in DAO management and more. Here are some links for the episode: ZK Episode 29: The DAO, the white hat hacker group & Giveth with Griff ZK Episode 159: MACI with Koh Wei Jie ZK Episode 183: CowSwap & DAO Tech with Gnosis’s Martin Köppelmann Zodiac github Zodiac: The expansion pack for DAOs Gnosis Safe website Blog post - Introducing SafeSnap SekerDAO reality.eth DAO Landscape blog post Omen and the Next Generation of Prediction Markets Kleros Court There are a lot of exciting events and initiatives for the ZK Podcast on the horizon! If you do want to keep track of what’s going on be sure to check out our channels – especially: The ZK community board: https://community.zeroknowledge.fm/ The ZK Jobs Board: https://jobsboard.zeroknowledge.fm/ Today’s episode is sponsored by Polygon. Polygon is one of the top Ethereum scaling platforms for developers with more than 130+ mn unique user wallets. They are committed to bringing web3 to the masses by improving scalability and fostering the network effects of 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. These solutions inherit the security of Ethereum and use the power of zero knowledge. Check out our recent episodes to learn more about the journey of these Polygon projects: Episode 194: zkEVM with Jordi & David from Hermez Episode 210: The Road to STARKs and Miden with Bobbin Threadbare If you like what we do: Follow us on Twitter - @zeroknowledgefm Join us on Telegram Catch us on Youtube Read up on the r/ZKPodcast subreddit Give us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin Grant Support us on the ZKPatreon Donate through coinbase.commerce Read transcript

Jan 26, 20221h 17m

Emin Gün Sirer on Avalanche and its Formation

This week Anna chats with Emin Gün Sirer - CEO Ava Labs and Founder of Avalanche. They chat about the experiences that led him to become interested in distributed systems research and his work as a professor at Cornell that led to the development of Avalanche. They then dig into their novel consensus mechanism which uses the sub-sampling technique, the architecture of the network with the 3 distinct components: X-Chain, C-Chain and P-Chain, bridges and more. Here are some links for the episode: Episode 127: Consensus Algorithms & HotStuff with Ittai Abraham Avalanche on Twitter Emin’s blog Paper: Avalanche Platform Paper: Scalable and Probabilistic Leaderless BFT Consensus through Metastability Paper: KARMA: A Secure Economic Framework for Peer-To-Peer Resource Sharing Paper: Majority is not Enough: Bitcoin Mining is Vulnerable Avalanche’s consensus protocol: Snowflake AVAX Roadmap Avalanche grant program There are a lot of exciting events and initiatives for the ZK Podcast on the horizon! If you do want to keep track of what’s going on be sure to check out our channels – especially: The ZK community board: https://community.zeroknowledge.fm/ The ZK Jobs Board: https://jobsboard.zeroknowledge.fm/ Today’s episode is sponsored by Polygon. Polygon is one of the top Ethereum scaling platforms for developers with more than 130+ mn unique user wallets. They are committed to bringing web3 to the masses by improving scalability and fostering the network effects of Ethereum. They’re known for Polygon PoS chain and the team is actually working on a spectrum of solutions like - Polygon Edge, which offers developers the capability to build sovereign EVM-compatible chains. As well as 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. These solutions inherit the security of Ethereum and use the power of zero knowledge. Check out our recent episodes to learn more about the journey of these Polygon projects: Episode 194: zkEVM with Jordi & David from Hermez Episode 210: The Road to STARKs and Miden with Bobbin Threadbare If you like what we do: Follow us on Twitter - @zeroknowledgefm Join us on Telegram Catch us on Youtube Read up on the r/ZKPodcast subreddit Give us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin Grant Support us on the ZKPatreon Donate through coinbase.commerce Read transcript

Jan 19, 20221h 16m

zk-SNARKs meets Optimistic Rollup with Zkopru

This week Anna chats with Wanseob Lim an Applied ZKP Developer in the Privacy & Scaling Exploration Team at the Ethereum Foundation and one of the authors of the Zkopru protocol. They explore how Zkopru uses optimistic rollups and zero knowledge proofs to create a privacy-focused Layer 2. Wanseob walks us through the transaction process and how the protocol is built to circumvent high gas fees. We also hear a little about what’s to come in the Zkopru ecosystem from merchandising to private exchange of NFTs. Here are some links for the episode: Zkopru's website Zkopru’s blog: Privacy & Scaling Explorations Announcement of Zkopru (zk optimistic rollup) for private transactions zkSummit6: Decentralized privacy layer is coming by Wanseob Lim Episode 177: Unwrapping Optimism with Ben and Mark Episode 179: Diving into Arbitrum’s Optimistic Rollup There are a lot of exciting events and initiatives for the ZK Podcast on the horizon! If you do want to keep track of what's going on be sure to check out our channels - especially: The ZK community board: https://community.zeroknowledge.fm/ The ZK Jobs Board: https://jobsboard.zeroknowledge.fm/ Today’s episode is sponsored by Aztec. Aztec aims to be the privacy layer for Ethereum. They believe that unlocking programmable privacy is the next frontier for blockchains. Aztec is the first zero knowledge rollup built from the ground up for anonymous payments and DeFi transactions. Try out Aztec to send funds privately on zk.money. If you like what we do: Follow us on Twitter - @zeroknowledgefm Join us on Telegram Catch us on Youtube Read up on the r/ZKPodcast subreddit Give us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin Grant Support us on the ZKPatreon Donate through coinbase.commerce Read transcript

Jan 12, 202253 min

2021 < 2022 with Co-hosts & Friends

This week, Anna checks in with co-hosts & friends, Tarun Chitra, James Prestwich, Josh Cincinnati and Guillermo Angeris, for a retrospective look at 2021 and a look forward to 2022! Enjoy this conversation full of blasphemous hot takes, bad 2022 predictions and dad jokes. Listen to last year's recap: Episode 163: Kicking off 2021 with Anna, Tarun, James & Josh If you like what we do: Follow us on Twitter - @zeroknowledgefm Join us on Telegram Catch us on Youtube Read up on the r/ZKPodcast subreddit Give us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin Grant Support us on the ZKPatreon Donate through coinbase.commerce

Jan 5, 20221h 32m

Bonus ZK Hack Wrap with Kobi!

While we decided not to release a full episode this week, Anna did get a chance to catch up with Kobi Gurkan, one of the co-organizers of ZK Hack and someone who was very missed in the last episode about the event! Enjoy this special bonus New Years eve ep, one last look back at ZK Hack 2021 and a look forward as well for the project! We also mention a few links for ZK related channels to check out: ZK Jobs Board ZK Forum / Community Board ZK Telegram ZK Hack Discord

Dec 31, 202126 min

It’s a wrap! ZK Hack Takeaways & What’s Next!

This week, Anna hosts a special 5-part interview with a roundup of perspectives from ZK Hack. First, she chats with puzzle hackers who share what it was like to solve these real-world cryptography bugs and learn complex concepts in real time. They discuss how they got started learning in this space and the resources and tools that helped them. Next, Anna speaks with the puzzle builders on the challenges of designing and building these novel zk puzzles. They discuss the state of the community and how the community could work together to create learning resources to enable its growth. Last but not least, there is a chat with part of the ZK Hack organizing team on what they thought of the event and what’s to come next! Thanks to our guests this week: Puzzle hackers - grjte, William Borgeaud and Innokentii SennovskiiJoe Bebel and Joshua Fitzgerald from Anoma who built 3 puzzles. Alex Pruden and Errol Drummond from Aleo who built 3 puzzles.Some of the ZK Hack organizing team – Susannah Evans and Tanya Karsou Here are some links for the episode:ZK Hack Puzzles 1-6, Solution link on each puzzle pageZK Hack Workshops 1-7YouTube Playlist of WorkshopsJustin Thaler ManuscriptBlog post by Joshua Fitzgerald - PLONK by Hand (Part 1: Setup)3Blue1BrownMatasano Crypto Challenges Join the ZK Hack Discord to check out all of the resources the community has been sharing: https://discord.com/invite/tHXyEbEqVNAnd join the mailing list to get notified about the next ZK Hack coming in March! https://www.zkhack.dev/Today’s episode is sponsored by PrivateStorage. PrivateStorage, a private, secure and end-to-end encrypted storage solution is preparing to launch version one of the service.Created by Least Authority, a leader in the security of distributed systems, PrivateStorage uses privacy and security by design principles to ensure users have greater anonymity and assurance that their data is protected.Features include end-to-end encryption, a zero-knowledge access pass payment system and accountless authorization. No one, including PrivateStorage, can see user data when it is stored on their grid.Visit www.private.storage and register to be notified once the service is launched.If you like what we do:Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

Dec 22, 20211h 14m

The Road to STARKs and Miden with Bobbin Threadbare

This week, Anna chats with Bobbin Threadbare about his project Miden, a STARK-based roll-up which was recently purchased by Polygon. We recap the differences between STARKs and SNARKs and the increasingly blurred line between these two proving systems. We then map Bobbin’s journey to Miden VM (now Polygon Miden), how it originated from his earlier project Distaff VM and now incorporates the Winterfell prover from his days at Facebook. Here are some links for the episode:Episode 194: zkEVM with Jordi & David from HermezBlog Post: Polygon Announces Polygon MidenMiden repoIntroducing Distaff: a STARK-based VM written in RustDistaff VM repoAirScript - a low-level language for zk-STARKsAirScript: Arithmetization for zk-STARKs, with Bobbin Blog Post: Open sourcing Winterfell: A STARK prover and verifierWinterfell repo Vitalik’s write-up on STARKs, Part 1 of 3 Support ZK Podcast on Gitcoin - last couple days to get donations matched! https://gitcoin.co/grants/329/zero-knowledge-podcast-2ZK Tech Matching Round with GitcoinIf you’re interested in supporting ZK-focused tech or tools, including learning material or documentation then check out this Gitcoin matching round running until December 16th. This ZK tech side round is funded by the ZK Validator and some great teams in the ZK ecosystem. Join the push towards more ZK! Today’s episode is sponsored by Aztec.Aztec aims to be the privacy layer for Ethereum. They believe that unlocking programmable privacy is the next frontier for blockchains. Aztec is the first zero knowledge rollup built from the ground up for anonymous payments and DeFi transactions.Try out Aztec to send funds privately on zk.money.If you like what we do:Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeRead up on the r/ZKPodcast subredditGive us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonDonate through coinbase.commerce Read transcript

Dec 15, 202153 min