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 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
https://github.com/daira/tweedle
Halo whitepaper
Endomorphism
Latest recursive SNARKitecture with Izaak Meckler from O(1)Labs
Exploring the Fractal transparent SNARK construction


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

Previous Episodes

Episode 256: New ZK Use Cases with Dan Boneh

On this week’s episode, Anna and Kobi Gurkan chat with Dan Boneh, Professor of Computer Science at Stanford and Director of the Stanford Center for Blockchain Research.

They discuss Dan’s more recent work in ZK Tech, both in education and in research, and review innovative use cases both Dan and his students have been working on since our last episode. It was great to have Dan back on the show, and we hope some of these ideas inspire listeners to jump in on the research or to build some products using these concepts.

Episode 255: Verifying Consensus On-Chain with Succinct

In this week’s episode, Anna and Tarun speak with Succinct Labs. Guests Uma Roy and John Guibas discuss their interest in ZK, their work with 0xparc and the goals of Succinct Labs, which aims to provide proof of consensus through SNARK-based light clients.

Episode 254: Matt Green on bringing ZK into the wild and the compliance debate

In this week’s episode, Anna and Josh Cincinnati chat with Matt Green, a cryptographer and professor at Johns Hopkins University. They explore Matt’s background in security, blockchain and privacy technologies. He shares his thoughts on early ZK blockchain research, the founding of Zcash, growth in the ZK space, how the industry is ready for tangible use-cases and navigating anonymity and regulatory bodies. This episode closes with a review of Matt’s perspective on the Tornado Cash sanctions and what this means for the space.

Episode 252: From Wireless to Blockchains with Pramod Viswanath

In this week’s episode, Anna and Tarun chat with Pramod Viswanath, Professor of Engineering at Princeton and co-founder of Witness Chain. They discuss Pramod’s early work on wireless networks and the introduction of adversarial thinking into his research, his move over to blockchain, how the incentives of blockchain could be used within the wireless industry

Zk white

Subscribe

Subscribe to Zero Knowledge podcast on these links:

Join the conversation:

Newsletters:

Support: