In this episode, we catch up with Justin Drake and Vitalik Buterin from the Ethereum Foundation to chat about how zero knowledge proof systems are being used throughout the Eth1x and Eth2.0 stacks. We look at their applications for privacy and scalability throughout layer 1, layer 1.5 and layer 2, as well as explore some other emerging applications. Here were some of the articles and ideas discussed: 5 ways to optimise zkps: Remove the need for FFTs Sparseness Recursion Custom gates Hardware Jacobian groups https://eprint.iacr.org/2020/196.pdf Trilinear maps https://arxiv.org/abs/2002.07923 Give the Zero Knowledge Podcast some feedback. Whether you are a long-time listener or new to the show, we would love to hear from you! Please share your feedback with us here: https://forms.gle/LtQQyKJV6r7LrSND7 If you like what we do: Follow us on Twitter - @zeroknowledgefm Join us on Telegram Catch up with us on Youtube Support our Gitcoin Grant Support us on the ZKP Patreon Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

Alistair Stewart and Jeff Burges from Web3 Foundation discuss their work on Polkadot and the use of zero knowledge proofs. They explore different proof designs, encryption considerations, privacy techniques, and design plans for messaging layer crypto and roll-up.

In this week's episode, we catch up with our friends Tarun Chitra and James Prestwich at the Stanford Blockchain Conference. We chat about the Flashloan phenomenon & the recent arbitrage 'exploit'. We also catch up about the known challenges facing PoS systems, what EVM support means on other chains & more! Catch our previous episodes with Tarun and James here: https://www.zeroknowledge.fm/99 https://www.zeroknowledge.fm/61 https://www.zeroknowledge.fm/34 The tweet that Anna quotes in the episode is here -> https://twitter.com/bneiluj/status/1228757175595438080 If you want to join the zkSummit, happening on March 31st, Berlin, do get your application in here: https://forms.gle/WDhUCmowAEk2ymYa7 Thanks to this week's sponsor Nucypher! Nucypher is currently looking for an engineering lead to work on a new open-source cryptosystem for privacy-preserving smart contracts. This is a new product and so you will get to work on some cool primitives like fully homomorphic encryption and zero knowledge proofs. For more about lead engineer role, check out the ad here: https://news.ycombinator.com/item?id=21693548 If you like what we do: Follow us on Twitter - @zeroknowledgefm Join us on Telegram Support our Gitcoin Grant Support us on the ZKPatreon Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

In this week’s episode, we take the podcast in a slightly different direction and dive into Isogenies - a topic at the cutting edge of cryptography. We look at how they are related to VDFs and randomness generation. Our guest, Luca de Feo, one of the co-inventor of SIDH, helps us get an understanding for what Isogenies - or morphisms of algebraic groups - really are. Here are some useful links to check out: https://sike.org/ https://isogeny.org/ https://vdfresearch.org/ Some visualizations: https://isogenies.enricflorit.com/ Some blog posts: https://blog.intothesymmetry.com/2019/07/on-isogenies-verifiable-delay-functions.html https://www.esat.kuleuven.be/cosic/asiacrypt19-verifiable-delay-functions-from-supersingular-isogenies-and-pairings/ https://www.esat.kuleuven.be/cosic/elliptic-curves-are-quantum-dead-long-live-elliptic-curves/ https://www.esat.kuleuven.be/cosic/csidh-post-quantum-key-exchange-using-isogeny-based-group-actions/ https://www.esat.kuleuven.be/cosic/csi-fish-a-new-record-class-group-computation-and-fast-isogeny-based-signatures/ Give the Zero Knowledge Podcast some feedback. Whether you are a long-time listener or new to the show, we would love to hear from you! Please share your feedback with us here: https://forms.gle/LtQQyKJV6r7LrSND7 If you like what we do: Follow us on Twitter - @zeroknowledgefm Join us on Telegram Catch up with us on Youtube Support our Gitcoin Grant Support us on the ZKP Patreon Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

In this episode, Alex Glukowski of Matter Labs discusses zkSync, a scaling and privacy engine for Ethereum. They also talk about the Redshift protocol, a transparent zkSNARK system. The podcast covers building the zkSync blockchain, differences between pair chains and layer one blockchains, creating a censorship-resistant network, building with UX and Devx in mind, programming environment of CK Sync and CK transaction receipts, and trusted setups and Redshift in smart contracts.

In this week’s episode, we catch up with Christopher Goes, IBC Lead at Tendermint. We learn a bit more about the Cosmos Network ecosystem and his work on IBC. We then focus in on how he is thinking about zero knowledge proofs in the context of IBC like-interoperability constructions. We explore some of the ways in which zkps could be incorporated into different schemes for interoperability - including bridging, lightclient constructions, validity proofs and more. We mention the following episodes on Cosmos: Light Clients and ZKPs with Celo Diving into Cosmos with Sunny Give the Zero Knowledge Podcast some feedback. Whether you are a long-time listener or new to the show, we would love to hear from you! Please share your feedback with us here: https://forms.gle/LtQQyKJV6r7LrSND7 If you like what we do: Follow us on Twitter - @zeroknowledgefm Join us on Telegram Catch up with us on Youtube Support our Gitcoin Grant Support us on the ZKP Patreon Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

Dev Ojha and Nick Spooner, authors of the Fractal transparent SNARK construction, discuss how Fractal improves on earlier work, its differences from STARKs, and the discovery of recursive SNARKs. They explore the relationship between Fractal and Aurora, the role of oracles in DeFi, efficient recursion in transparent SNARKs, and the process of converting a construction. They also discuss collaboration between academic groups and the cryptographic implications of snarks.

Izaak Meckler from O(1) Labs discusses the launch of a recursive snark based incentivized test net, updates on the working SNARKitecture, and new use-cases for zkps in making computer programs more accountable to users.

Ariel Gabizon and Zac Williamson from Aztec discuss Plonk, a highly efficient SNARK construction. They explore Plonk's focus on Lagrange-bases, compare it to other constructions, and mention the influence of the Bayer groth permutation argument. They also discuss polynomial commitment schemes and optimizations, metrics and naming software libraries, the Plonk protocol, and enabling private value transfers and privacy preserving smart contracts.

Co-founders of Tornado.cash, Roman Storm and Roman Semanov, discuss mixers and how they work. They explore incorporating Zero Knowledge for more privacy and the challenges faced in the Tornado.Cash project. They also talk about the future of Tornado Cash and bringing privacy to everyone.