April 1st, 2020 | 1 hr 8 mins
ecc, electric coin company, halo, recursive snarks, trusted setup, zcash, zero knowledge
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.
January 29th, 2020 | 50 mins 51 secs
cryptography, fractal protocol, math, recursive snarks, uc berkeley, zero knowledge, zksnarks
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.
January 22nd, 2020 | 51 mins 49 secs
blockchain, coda protocol, cryptography, privacy, recursive snarks, snark, zero knowledge proof, zksnarks
In this week’s episode, we catch up with Izaak Meckler from 0(1) Labs to talk about launching a recursive snark based incentivised test net, updates on the working SNARKitecture, a recap of recursive SNARKs and a look at what's next for the project.