Halo with Sean Bowe and Daira Hopwood from ECC

In this episode, we catch up with https://twitter.com/ebfull (Sean Bowe) and https://twitter.com/feministPLT (Daira Hopwood) from the https://electriccoin.co/ (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: https://www.zeroknowledge.fm/76 (Sean Bowe on SNARKs, Trusted Setups and Elliptic Curve Cryptography) https://github.com/daira/tweedle (https://github.com/daira/tweedle) https://eprint.iacr.org/2019/1021.pdf (Halo whitepaper) https://en.wikipedia.org/wiki/Endomorphism (Endomorphism) https://www.zeroknowledge.fm/113 (Latest recursive SNARKitecture with Izaak Meckler from O(1)Labs) https://www.zeroknowledge.fm/114 (Exploring the Fractal transparent SNARK construction) If you like what we do: Follow us on Twitter - https://twitter.com/zeroknowledgefm (@zeroknowledgefm) Join us on https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA (Telegram) Support our https://gitcoin.co/grants/329/zero-knowledge-podcast-2 (Gitcoin Grant) Support us on the https://www.patreon.com/zeroknowledge (ZKPatreon) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ