Zero Knowledge

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!

Further Reading:

While the show is taking a break, be sure to check out the ZK Whiteboard Sessions that are being produced by ZK Hack

Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm

Have you heard about o1Labs?

From o1js, their SDK for simplifying zk development, to o1VM pushing the limits of zkVMs, o1Labs is working directly with the community to build tools that unlock new possibilities.

Visit o1labs.org and join them as they shape the future of the zk-powered internet.

A new era of decentralized, privacy-preserving computing is here.

Aleo recently announced their mainnet launch. Start by learning their domain specific programming language, Leo, to write and deploy your first ZK application at leo-lang.org, or head on over to aleo.org to learn more about our technology and what you can build.

If you like what we do:

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.

Here’s some additional links for this episode:

Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.

Dive deeper and discover more about Aleo at http://aleo.org/.

If you like what we do:

Just sharing 2 updates:

1) the ZK Whiteboard sessions are BACK with a second season! These videos will be released every 2 weeks for the next 3 months on ZK Hack channels -

2) The Zero Knowledge Podcast (aka this show!) will take a pause on the weekly cadence of the show starting Oct 16th until the end of 2024.

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.

Here’s some additional links for this episode:

Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm

zkSummit12 is happening in Lisbon next week on Oct 8th! Buy your ticket at zksummit.com, spots are limited!

Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud!

Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com.

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.

Dive deeper and discover more about Aleo at http://aleo.org/.

If you like what we do:

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.

Here’s some additional links for this episode:

Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm

zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com, apply today as spots are limited!

Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud!

Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com.

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.

Dive deeper and discover more about Aleo at http://aleo.org/.

If you like what we do:

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.

Here’s some additional links for this episode:

03:50 * Episode 286: Paris 2023 Recap with Uma, Zaki and Tarun

Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm

zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com, apply today as spots are limited!

Get ready to build with intention. Anoma is the universal intent machine, introducing a new era of applications where you define the outcomes you want.

Follow Anoma on X to learn more at x.com/anoma

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.

Dive deeper and discover more about Aleo at http://aleo.org/

If you like what we do:

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.

Here’s some additional links for this episode:

3:59 * Andrew Miller works

zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com, apply today as tickets are limited!

Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud!

Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com.

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.

Dive deeper and discover more about Aleo at http://aleo.org/.

If you like what we do:

This week Anna and Nico chat with Arnaud Schenk, one of the original co-founders of Aztec and creator of the Polaris Fellowship. They discuss Arnaud’s recent blog post ‘On Trust Infrastructure’, exploring the down sides of a trustless system, the need to make online community building more possible and how programmable cryptography may play a role in these solutions. They explore the history of computer culture, the rejection of institutions by mid-90s internet culture and how the seeds for this were set by the 60s counterculture.

Here’s some additional links for this episode:

05:09 * Episode 75: Exploring Aztec with Zac Williamson

Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm

zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com, apply today as early bird tickets are limited!

Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud!

Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com.

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.

Dive deeper and discover more about Aleo at http://aleo.org/.

If you like what we do:

In this week’s episode Anna and Tarun chat with Naveen Durvasula about his recent work ‘Robust Restaking Networks’. They discuss Naveen’s early work on matching markets and how this led him to work on mechanism design before exploring how the concepts of restaking were first presented, and how both Naveen and Tarun have been working to better model the mechanisms underpinning restaking, to understand how they work and how they can be optimized.

Further Reading:

03:52 * Robust Restaking Networks by Naveen Durvasula and Tim Roughgarden

Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm

zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com, apply today as early bird tickets are limited!

Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud!

Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com.

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.

Dive deeper and discover more about Aleo at http://aleo.org/.

If you like what we do:

In this week’s episode, Anna chats with Connor O’Hara from Celestia. After discussing the latest ZK Hack Montréal event where Connor was a judge, they dive into his professional background, the ecosystems he has been a part of and what led him to work on Celestia. They then discuss various ZK-focused initiatives within the Celestia ecosystem.

Here’s some additional links for this episode:

Episode 311: The Launch of Celestia and Beyond

Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm

Get ready to build with intention. Anoma is the universal intent machine, introducing a new era of applications where you define the outcomes you want.

Follow Anoma on X to learn more at x.com/anoma

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.

Dive deeper and discover more about Aleo at http://aleo.org/.

If you like what we do: