In this episode, we catch up with Sean Bowe and Daira Hopwood from the Electric Coin Company 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.
We touch on the following material:
Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography
Latest recursive SNARKitecture with Izaak Meckler from O(1)Labs
Exploring the Fractal transparent SNARK construction
Or directly here: