Episodes

Episode 124: Exploring FHE with Flavio Bergamaschi from IBM Research

In this episode, we chat with Flavio Bergamaschi from IBM research about his work on Fully Homomorphic Encryption (FHE). FHE allows for computation on encrypted data. First developed in 2009 at IBM, this tech has long been the considered only theoretically possible. However, as we learn in the interview, there have been strides made in the last few years and we are starting to see FHE technology being used in some real world applications.

Episode 123: Halo with Sean Bowe and Daira Hopwood from ECC

In this episode, we catch up with Sean Bowe and Daira Hopwood from the Electric Coin Company (ECC) to chat about Halo, a recursive proof composition that doesn’t require a trusted setup. We cover the efficiency techniques used in Halo such as “nested amortization”, how the protocol was developed, what some of the key findings are, and how it fits in with the other recent SNARK-based protocols.

Episode 121: Urbit with Galen Wolf-Pauly from Tlon

In this episode, we meet with Galen Wolf-Pauly from the Tlon Corporation to discuss the project Urbit. Urbit is an encrypted peer-to-peer network comprised of a deterministic operating system (Urbit OS / Arvo) and a secure, global identity layer (Urbit ID / Azimuth). The Urbit contributors have created new stack, built from the ground up as an integrated system with a focus on user experience.

Episode 120: ZKPs in Ethereum with Vitalik Buterin & Justin Drake

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 layers 1, 1.5 and 2, as well as explore some other emerging applications.

Episode 119: Alistair and Jeff from Web3 on ZKPs & more

In this week’s episode, we sit down with Alistair Stewart and Jeff Burges, researchers at the Web3 Foundation, to dig into what they are working on, what they are thinking about at the moment, and how zero knowledge proofs can be used throughout the Polkadot ecosystem.

Episode 118: Tarun and James talk Flash Loans & more

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!

Episode 117: Isogenies with Luca De Feo

In this week’s episode, we 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.

Episode 116: zkSync and Redshift: Matter Labs update

In this week’s episode of the podcast, we catch up with Alex Glukowski of Matter Labs to hear about zkSync, the latest iteration of their zkRollup implementation built to be a scaling and privacy engine for Ethereum. We also touch on the Redshift protocol, a new transparent zkSNARK system that emerged as a result of their work on this system.

Episode 115: Cosmos, IBC and ZKPs with Chris Goes

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 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.

Episode 114: Exploring the Fractal transparent SNARK construction

This week, we explore the Fractal transparent SNARK construction with its authors Dev Ojha and Nick Spooner – both students of Alessandro Chiesa at UC Berkeley. In this episode, We explore how Fractal works, how it improves on some of the earlier work on Sonic and Marlin, how it borrows from but differentiates itself from STARKs, as well as what they discovered while working on this paper about recursive SNARKs and what makes that property possible.

Zk white

Subscribe

Subscribe to Zero Knowledge podcast on these links:

Join the conversation:

Newsletters:

Support: