Episode 242: Halo 2 with Daira Hopwood and Str4d

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:


Check out ZK Whiteboard Sessions, produced by ZK Hack & 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:

Previous Episodes

Episode 247: Exploring Penumbra with Henry de Valence

In this week’s episode, Anna and Guillermo catch up with Henry de Valence from Penumbra. They discuss his thoughts on requirements for adoption of privacy systems and how these led to him to develop Penumbra. They explore how Penumbra aims to use privacy features not as ‘nice to haves’ within the system, but rather as essential components that offer a new paradigm for how to think about DeFi in a Multichain Ecosystem.

Episode 246: Adversarial Machine Learning Research with Florian Tramèr

This week, Anna and Tarun chat with Florian Tramèr, Assistant Professor at ETH Zurich. They discuss his earlier work on side channel attacks on privacy blockchains, as well as his academic focus on Machine Learning (ML) and adversarial research. They define some key ML terms, tease out some of the nuances of ML training and models, chat zkML and other privacy environments where ML can be trained, and look at why the security around ML will be important as these models become increasingly used in production.

Episode 245: Sanctions against Tornado Cash: a Legal Perspective

In this episode, Anna explores the topic of the recent OFAC sanctions against Tornado Cash with 2 interviews: One with TuongVy Le, Head of Regulatory and Policy at Bain Capital Crypto, who previously worked at the SEC and the other with Michael Mosier, General Council at Espresso Systems, who used to work at the Treasury within FinCen and at OFAC itself.

Episode 244: Journey to Blockchain with David Tse

In this episode, Anna and Guillermo chat with David Tse about his career and research spanning from early Networking, Mobile Networking, P2P, all the way up to his work on formalizing Blockchain systems.

Along the way, they touch on topics like David’s paper ‘The Price of Anarchy’, the Prism work, his work with the Ethereum Foundation and his new project Babylon.

Episode 243: Dive Back into MEV with Alex Stokes and Chris Hager

In this week’s episode, Anna and Tarun revisit the topic of MEV with Chris Hager from Flashbots & Alex Stokes from the EF. In this episode, they tease out more of the nuances around MEV, what the MEV space could look like after the Merge, the PBS (Proposer Builder Separation) concept, what each role in the MEV landscape will do and the MEV-Boost architecture. They also chat about using cryptographic solutions to prevent some kinds of MEV and some recent work that Tarun released on the topic of MEV, as well as future ideas around MEV aim to democratize or even share the searchers rewards.

Episode 241: Deconstructing Bridges with Vaibhav Chellani

In this week’s episode, Anna chats with Vaibhav Chellani, a bridge builder and the co-founder of Socket. They explore what makes up the components of a bridge, the types of bridges, and then look at their framework for analysing the security trade-offs of different bridge architectures. This is an important topic, since at present, there are more and more bridges coming online to connect all the different chains together. And with these come a number of new bugs, hacks and exploits. This episode gives us an overview on how to think about bridges.

Episode 240: Composable Privacy with Manta Network

In this week’s episode, Anna and Kobi chat with Shumo Chu, co-founder of Manta Network.They discuss the origin story of the project and how they aim to bring privacy to web3. They explore how the unique accessibility that Polkadot parachain enables, the work they do on building ZK tooling and libraries for the general ZK community. They then take a look at their plans for a multi-asset shielded pool and the future they have planned for Manta projects and more.

Episode 239: IST and Designing Stablecoins in Cosmos

In this week’s episode, Anna catches up with Zaki from Sommelier and Dean from Agoric. They check-in with the latest project news, recap about the UST collapse, and look into IST – Inter Stable Token – a project by the Agoric team that aims to become the Cosmos native multi collateral stablecoin.

Zk white

Subscribe

Subscribe to Zero Knowledge podcast on these links:

Join the conversation:

Newsletters:

Support: