Daira Hopwood's guest appearances

Daira Hopwood

Zero Knowledge

Zaki Manian

Dean Tribble

Rune Christensen

Richard Craib

Taylor Monahan

Jenna Zenk

Ayo Akinyele

Peter Van Valkenburgh

Karl Floersch

Justin Drake

Daniel Lehnberg

Dan Robinson

Robert Habermeier

Danny Ryan

Matt Luongo

OwlTail

In this week’s episode, Anna explores Halo 2 with Daira Hopwood and Str4d, cryptographic engineers at Electric Coin Company. They explored what new ideas Halo introduced and how Halo 2 built on these ideas, adding optimisations such as adding Plonk-ish arithmetization to take what was a breakthrough to a production ready proving system.  This episode was recorded at Zcon3 in Vegas.   Here are some links for this episode:  Episode on Halo Episode recorded at Zcon0  ZK Whiteboard Sessions Episode with Sean Bowe Halo 2 explained Justin Drake on Polynomial Commitments Str4d’s talk at ZCon3  Daira’s talk at ZCon3 Ying Tong’s talk at ZCon3  Pratyush Mishra at Zcon3 The halo2 Book: Proving System  The halo2 Book: Protocol  The halo2 Book: Sinsemilla  Check out ZK Whiteboard Sessions, produced by ZK Hack &amp; powered by Polygon, a weekly educational series of interviews with ZK experts on the most important concepts and building blocks in ZK.  If you are looking to jump into ZK professionally, check out the ZK Jobs Board to find job posts from some of the top teams working in ZK – like Aleo, Anoma and Mina. If you’re looking to hire, be sure to add your jobs as well! More at ZK Jobs Board.  Today’s episode is sponsored by Manta Network. Manta is the privacy hub for web3. By leveraging zero-knowledge proofs, Manta brings on-chain privacy to any crypto asset.  Manta is looking for engineers passionate about cryptography and bringing convenient privacy protection to all of web3. Visit [https://careers.manta.network]([https://careers.manta.network) to apply. If you like what we do:  Find all our links here! @ZeroKnowledge | Linktree  Subscribe to our podcast newsletter Follow us on Twitter @zeroknowledgefm Join us on Telegram Catch us on Youtube Head to the ZK Community Forum Support our Gitcoin Grant 

In this week’s episode, <a href="https://twitter.com/annarrose" rel="nofollow" target="_blank">Anna</a> explores Halo 2 with <a href="https://twitter.com/feministPLT" rel="nofollow" target="_blank">Daira Hopwood</a> and <a href="https://twitter.com/str4d" rel="nofollow" target="_blank">Str4d</a>, cryptographic engineers at Electric Coin Company. They explored what new ideas Halo introduced and how Halo 2 built on these ideas, adding optimisations such as adding Plonk-ish arithmetization to take what was a breakthrough to a production ready proving system. This episode was recorded at Zcon3 in Vegas. Here are some links for this episode: <ul> <li><a href="https://zeroknowledge.fm/123-2/" rel="nofollow" target="_blank">Episode on Halo</a></li> <li><a href="https://zeroknowledge.fm/32-2/" rel="nofollow" target="_blank">Episode recorded at Zcon0</a> </li> <li><a href="https://zkhack.dev/whiteboard/" rel="nofollow" target="_blank">ZK Whiteboard Sessions</a></li> <li><a href="https://zeroknowledge.fm/76-2/" rel="nofollow" target="_blank">Episode with Sean Bowe</a></li> <li><a href="https://electriccoin.co/blog/explaining-halo-2/" rel="nofollow" target="_blank">Halo 2 explained</a></li> <li><a href="https://www.youtube.com/watch?v=bz16BURH_u8" rel="nofollow" target="_blank">Justin Drake on Polynomial Commitments</a> </li> <li><a href="https://www.youtube.com/watch?v=kkQWubFae7Y" rel="nofollow" target="_blank">Str4d’s talk at ZCon3</a> </li> <li><a href="https://www.youtube.com/watch?v=f6UToqiIdeY" rel="nofollow" target="_blank">Daira’s talk at ZCon3</a> </li> <li><a href="https://www.youtube.com/watch?v=JJi2TT2Ahp0" rel="nofollow" target="_blank">Ying Tong’s talk at ZCon3</a> </li> <li><a href="https://www.youtube.com/watch?v=7MtzoVM6e6w" rel="nofollow" target="_blank">Pratyush Mishra at Zcon3</a> </li> <li><a href="https://zcash.github.io/halo2/design/proving-system.html" rel="nofollow" target="_blank">The halo2 Book: Proving System</a> </li> <li><a href="https://zcash.github.io/halo2/design/protocol.html" rel="nofollow" target="_blank">The halo2 Book: Protocol</a> </li> <li><a href="https://zcash.github.io/halo2/design/gadgets/sinsemilla.html" rel="nofollow" target="_blank">The halo2 Book: Sinsemilla</a></li> </ul> Check out <a href="https://zkhack.dev/whiteboard/" rel="nofollow" target="_blank">ZK Whiteboard Sessions</a>, produced by <a href="https://zkhack.dev/" rel="nofollow" target="_blank">ZK Hack</a> &amp; powered by <a href="https://polygon.technology/" rel="nofollow" target="_blank">Polygon</a>, a weekly educational series of interviews with ZK experts on the most important concepts and building blocks in ZK. If you are looking to jump into ZK professionally, check out the ZK Jobs Board to find job posts from some of the top teams working in ZK – like Aleo, Anoma and Mina. If you’re looking to hire, be sure to add your jobs as well! More at <a href="https://jobsboard.zeroknowledge.fm/" rel="nofollow" target="_blank">ZK Jobs Board</a>. Today’s episode is sponsored by <a href="https://www.manta.network/" rel="nofollow" target="_blank">Manta Network</a>. Manta is the privacy hub for web3. By leveraging zero-knowledge proofs, Manta brings on-chain privacy to any crypto asset. Manta is looking for engineers passionate about cryptography and bringing convenient privacy protection to all of web3. Visit [<a href="https://careers.manta.network%5D(%5Bhttps://careers.manta.network)" rel="nofollow" target="_blank">https://careers.manta.network]([https://careers.manta.network)</a> to apply. If you like what we do: <ul> <li>Find all our links here! <a href="https://linktr.ee/zeroknowledge" rel="nofollow" target="_blank">@ZeroKnowledge | Linktree</a> </li> <li>Subscribe to our <a href="https://zeroknowledge.substack.com" rel="nofollow" target="_blank">podcast newsletter</a></li> <li>Follow us on Twitter <a href="https://twitter.com/zeroknowledgefm" rel="nofollow" target="_blank">@zeroknowledgefm</a></li> <li>Join us on <a href="https://zeroknowledge.fm/telegram" rel="nofollow" target="_blank">Telegram</a></li> <li>Catch us on <a href="https://zeroknowledge.fm/" rel="nofollow" target="_blank">Youtube</a></li> <li>Head to the <a href="https://community.zeroknowledge.fm/" rel="nofollow" target="_blank">ZK Community Forum</a></li> <li>Support our <a href="https://zeroknowledge.fm/gitcoin-grant-329-zkp-2" rel="nofollow" target="_blank">Gitcoin Grant</a></li> </ul>

Episode 242: Halo 2 with Daira Hopwood and Str4d

Sean Bowe

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 &amp; 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 

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

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