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 345: Latest ZK Research with Dan Boneh

In this week’s episode, Anna catches up with Dan Boneh, Professor of Computer Science and Electrical Engineering, Stanford University. They discuss the focus of his research today, covering new ZK research problems and themes. This includes work on lattice-based SNARKs, ZK for content provenance, ZK in the FHE context, updates on ZK in ML and more!

Episode 344: ZK Events 2024 Recap

This week, Anna and Nico take a look back at some of the ZK Events produced in 2024 by the ZK Podcast, ZK Hack and other adjacent projects. Starting with the live ZK Jargon Decoder hosted in January and spanning the 10 months since, Anna and Nico share behind-the-scenes anecdotes, highlight key talks from the events and share some insight into how the programs for the zkSummit events are created. They wrapped with a summary of some of the themes in ZK that got them talking this year and are tracking going forward.

Don’t forget, this is the last episode of ZK Podcast before we take a pause in weekly shows for the rest of 2024 – but don’t worry we will be back!

Episode 343: Mastering MPC & Memes with Mikerah

This week Anna chats with Mikerah Quintyne-Collins from HashCloak and Stoffel Labs. They discuss how Mikerah got her start in the crypto space and then dive into the work she did at ChainSafe and eventually at HashCloak. They cover Mikerah’s work on privacy preserving tech like ZK, TEE and MPC and learn about what drives her tweet game and the wisdom she has picked up over the years as a technical founder, driven by curiosity… and memes.

Bonus: ZK Whiteboard Sessions Season 2 and a ZK Pod Pause!

Just sharing 2 updates:
1) The ZK Whiteboard sessions are BACK with a 2nd season! These videos will be released every 2 weeks for the next 3 months.
2) The Zero Knowledge Podcast will take a pause on the weekly cadence of the show starting Oct 16th until the end of 2024.

Episode 342: Catch up with Zac and Ariel

This week Anna catches up with Zac Williamson & Ariel Gabizon from Aztec. They cover what each has been working on over the last year, Zac shared updates about the development of Aztec and the finalization of their underlying ZK system: MegaPlonk. Ariel discussed his latest research on IVC with his publications of the ProtoGalaxy and Stackproofs works and how properties of this systems brought him and Zac to start working together again.

Episode 341: coSNARKs with Ais and Lukas from TACEO

This week Anna and Nico chat with Lukas Helminger and Ais Connolly from TACEO. They discuss Lukas & Ais’ early work in cryptography and privacy preserving technologies, the founding of TACEO and their recent work on coSNARKs – or Collaborative SNARKs – that combine MPC and ZK. They explore how these coSNARKs are created, their coCircom language, the characteristics of these systems as well as how they can be applied in the real world.

Episode 340: Is Cosmos Dead? A critical look with Zaki Manian

This week Anna and Zaki Manian dive into the Cosmos ecosystem and ask the question: is Cosmos Dead? They explore key events, teams and players who worked on Cosmos during different eras before teasing out the strengths and structural flaws that made the project what it is today. The conversation wraps with a discussion around new initiatives aimed at reviving the ecosystem and aligning factions in Cosmos together towards a central goal.

Episode 339: TEEs with Andrew Miller

In this week’s episode, Anna and Tarun catch up with Andrew Miller. They cover his early work on consensus, ZK and MPC before switching focus to the topic of his current work: TEEs. They map his evolving opinion on TEEs and explore why they could be seen as an optimal solution to many of the blockchain challenges.

Zk white

Subscribe

Subscribe to Zero Knowledge podcast on these links:

Join the conversation:

Newsletters:

Support: