In this episode, Anna Rose and Nico Mohnblatt catch up with Ian Miers from the University of Maryland, starting with his work on seminal ZK blockchain research, Zerocoin and Zerocash and the creation of the first zk-focused blockchain project Zcash. They then explore the history of trusted setups, including the trusted setup bug discovery in Zcash, and subsequent improvements like Powers of Tau. Ian also discussed his work on ZEXE, a system that has inspired the formation of Aleo, and his more recent works: zk-creds for building flexible anonymous credentials from existing identity signals like passports, and zk-promises for supporting anonymous reputation, moderation, and callbacks in decentralized systems. They also touch on broader topics like post-quantum security considerations, sybil resistance, and the need for programmable privacy tools.

 

 

 

If you have a few minutes, we’d love to get to know you better and hear your ideas for the ZK Podcast. You can anonymously complete the feedback form here.

 

ZK Whiteboard Sessions is an educational video series produced by ZK Hack. It is focused on the building blocks of zero knowledge technology. Find season 3 of the Whiteboard Sessions as well as previous seasons here.

 

 

**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

 

**Support the show:**

* Patreon

* ETH - Donation address

* BTC - Donation address

* SOL - Donation address

* ZEC - Donation address

 

Read transcript

In this episode, Anna Rose chats with David Z and Oleksandr (Sasha) from Privado ID and Billions Network about the evolution of ZK-based identity systems, tracing their roots back to iden3 in 2018, one of the earliest projects to pioneer ZK for on-chain identity.

They discuss their origin as the iden3, their creation of the influential Circom DSL, the move into Polygon ID, the spin-out as Privado ID with a focus on B2B privacy tools and verifiable credentials, and the recent launch of Billions Network, which aims to build a scalable network of humans and AI agents with mobile-first verification and progressive proofs. They compare their broad, composable approach to projects like Self, Rarimo, and ZK Email, while highlighting future plans for reputation layers, on-chain economies, and AI agent identities to enable accountable interactions in a decentralised world.

 

 

ZK Whiteboard Sessions is an educational video series produced by ZK Hack. It is focused on the building blocks of zero knowledge technology. Find season 3 of the Whiteboard Sessions as well as previous seasons here.

 

 

**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

**Support the show:**

* Patreon

* ETH - Donation address

* BTC - Donation address

* SOL - Donation address

* ZEC - Donation address

Read transcript

In this episode, Anna Rose and Guillermo Angeris speak with Bobbin Threadbare and Gaylord Warner from Miden to explore their zkVM and edge blockchain architecture. The group also reminisces on how they've each been a part of the ZK Whiteboard Sessions over the years.

Bobbin shares Miden's earliest beginnings from Winterfell at Facebook through its development within Polygon to the recent spin-out as an independent project. The team discusses their custom ISA designed for blockchain use cases, and the multi-stage compilation pipeline that supports it. The conversation also covers Miden's pragmatic approach to privacy implementation, their plans for gradual decentralization starting with a centralized L2, and how they incentivize users to keep state off-chain through multidimensional fee structures.

 

 

 

ZK Whiteboard Sessions is an educational video series produced by ZK Hack in collaboration with Bain Capital Crypto. It is focused on the building blocks of zero knowledge technology. Find season 3 of the Whiteboard Sessions as well as previous seasons here.

 

 

**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

**Support the show:**

* Patreon

* ETH - Donation address

* BTC - Donation address

* SOL - Donation address

* ZEC - Donation address

Read transcript

In this episode, Anna Rose and Tarun Chitra chat with Huijia (Rachel) Lin from the University of Washington to explore indistinguishability obfuscation (iO), often described as the 'holy grail of cryptography'. iO is a powerful primitive that, if fully realised, could have profound implications for privacy tech as a whole. Rachel helps break down the concept for listeners who may already be familiar with ZK, FHE and TEEs, clarifying how iO differs but also some of the similarities in the assumptions upon which it is based. Rachel also explains how it differs from similar concepts: garbled circuits and functional encryption.

The discussion covers the evolution of iO research in her work over the last decade, how the cryptographic assumptions have hardened since that time, and what iO can offer in terms of precise, controlled information revelation.

 

 

 

ZK Whiteboard Sessions is an educational video series produced by ZK Hack in collaboration with Bain Capital Crypto. It is focused on the building blocks of zero knowledge technology. Find season 3 of the Whiteboard Sessions as well as previous seasons here.

  

 

**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

 

**Support the show:**

* Patreon

* ETH - Donation address

* BTC - Donation address

* SOL - Donation address

* ZEC - Donation address

Read transcript

In this episode, Anna Rose and Tarun Chitra chat with Vlad and Murat from Lighter, a ZK-powered perp DEX on Ethereum. They explore how perps, short for perpetuals/perpetual trades, emerged as a crypto invention, how the exchanges offering perps evolved over the years, and the tradeoff space between transparency and privacy, specifically for market makers.

Vladimir discusses the advantage of building a perp DEX with a team consisting of both quants and engineers. They also cover how ZK has come to be used in some projects but not others, what opportunities verifiability can unlock, and why their project favored building custom ZK circuits over using existing zkVMs.

 

 

 

Check out the latest jobs in ZK at the ZK Podcast Jobs Board 

 

 

**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

 

**Support the show:**

* Patreon

* ETH - Donation address

* BTC - Donation address

* SOL - Donation address

* ZEC - Donation address

Read transcript

In this episode, Anna Rose and Nico Mohnblatt catch up with Justin Drake from the Ethereum Foundation to explore Ethproofs, asking what exactly is Ethproofs: is it a meme, a platform, a benchmarking effort and/or an emerging community? Justin shares the emergence of the project within the EF, the influences that shaped it and what Ethproofs comprises of today. He also shares the goals of the project and how this initiative supports the snarkification of the EVM by providing standardized benchmarks for the growing ecosystem of zkVMs.

Their discussion covers the evolution from monolithic zkEVM approaches to RISC-V-based systems, and movement towards mandatory proofs and eventual zkVM enshrinement.

 

 

 

Check out the latest jobs in ZK at the ZK Podcast Jobs Board

 

 

**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

 

**Support the show:**

* Patreon

* ETH - Donation address

* BTC - Donation address

* SOL - Donation address

* ZEC - Donation address

Read transcript

In this episode, Anna Rose and Kobi Gurkan chat with Vikas Rushi from PSE, and Ying Tong to explore two topics at the intersection of ZK and the real-world data: zkPDF and zkID. First they dive into zkPDF, a set of tools for proving facts on digitally signed PDFs. Vikas talks about the challenges of parsing data inside zkVMs—working with decades-old specifications that use many different encodings, and tackling practical use-cases like bank statements and ID verification. They also explain how issuers, such as India’s DigiLocker, can generate proofs in a way that protects individual privacy.

Next they cover zkID and the EF’s work on building a system that would meet the EU’s Digital Identity Framework requirements ahead of its 2026 rollout. Ying Tong explains how the EF’s work on zkID differs from existing zk-based identity projects, particularly through its device-binding requirements, the cryptographic community’s feedback to the EU Commission, the trade-offs between proof systems, PSE’s work on standards and more. They wrap up with a chat about the challenges of revocation in both systems, and what’s next for the projects. 

 

 

Check out the latest jobs in ZK at the ZK Podcast Jobs Board

 

 

**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

 

**Support the show:**

* Patreon

* ETH - Donation address

* BTC - Donation address

* SOL - Donation address

* ZEC - Donation address

Read transcript

In this episode, Anna Rose and Tarun Chitra chat with Miranda Christ, a computer science PhD student at Columbia University, about the intersection of cryptography and AI through watermarking techniques. Miranda shares her research on developing imperceptible ways to prove that content was created by AI models, covering everything from simple red-green word lists to sophisticated pseudorandom error-correcting codes.

The discussion explores the cryptographic properties of watermarks - including completeness, soundness, and undetectability - and how these parallel the properties we see in zero-knowledge proof systems. Miranda explains how watermarking differs from other cryptographic approaches like ZKML by only modifying the sampling process rather than the underlying model weights, making it computationally lightweight and practical for deployment.

 

 

 

Check out the latest jobs in ZK at the ZK Podcast Jobs Board 

 

 

**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

 

**Support the show:**

* Patreon

* ETH - Donation address

* BTC - Donation address

* SOL - Donation address

* ZEC - Donation address

Read transcript

In this episode, Anna Rose welcomes back Daniel Kang professor at UIUC and founding technical advisor at VAIL, for an update on ZKML and how the space has evolved since early 2023. Daniel covers the 2023-2024 cohort of ZKML tools including zkCNN, zkLLM, EZKL, and his original ZKML project, while introducing his new project ZKTorch, which offers a flexible hybrid of specialized and general-purpose approaches.

The discussion explores practical applications like verified FaceID, proof of prompt, and proof of training, along with the technical challenges of adding ZK proofs to machine learning models. Daniel shares insights on the performance trade-offs between specialized cryptographic systems and generic circuits, and how ZKTorch aims to offer both flexibility and speed for proving ML inference.

 

 

 

Check out the latest jobs in ZK at the ZK Podcast Jobs Board 

 

 

**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

 

**Support the show:**

* Patreon

* ETH - Donation address

* BTC - Donation address

* SOL - Donation address

* ZEC - Donation address

Read transcript

In this episode, Anna Rose and Guillermo Angeris catch up with Muthu Venkitasubramaniam, Professor of Computer Science at Georgetown University and cofounder of Ligero. They discuss how Ligero’s small memory footprint makes it a good choice for client-side proving, as well as the importance of programmable compliance in blockchain. The conversation explores the differences between ‘MPC in the head’ and error-correcting code perspectives, and how well-established primitives influence the design of modern ZK systems. They also debate the challenge of adding ‘ZK’ privacy back into systems without it, why proving EVM traces may be absurd, and what kinds of guarantees might exist around the results of vibe coding.

 

 

 

Check out the latest jobs in ZK at the ZK Podcast Jobs Board

 

 

**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

 

**Support the show:**

* Patreon

* ETH - Donation address

* BTC - Donation address

* SOL - Donation address

* ZEC - Donation address

Read transcript