x

75% of people globally want unbiased news (Pew Research) but are concerned they're not getting that.

Get balanced coverage with Symby. See how stories are covered across diverse outlets and spot when one side covers a story the other skips.

PODCAST

Zero Knowledge

Zero Knowledge Podcast

Zero Knowledge is a podcast which goes deep into the tech that will power the emerging decentralised web and the community building this. Covering the latest in zero knowledge research and applications, the open web as well as future technologies and paradigms that promise to change the way we interact — and transact — with one another online. Zero Knowledge is hosted by Anna Rose Follow the show at @ZeroKnowledgefm (https://twitter.com/zeroknowledgefm) or @AnnaRRose (https://twitter.com/AnnaRRose)

technology mathematics

All Episodes

01:02:59

The Quest for Practical iO with Machina iO

Zero Knowledge ·

2025/11/12

In this episode, Anna Rose and Tarun Chitra chat with Sora Suegami and Enrico Bottazzi from Machina iO. They explain indistinguishability obfuscation (iO) technology and how they are working to bring this powerful cryptographic primitive from theoretical territory into the practical world. They discuss how the pair got into iO and how new assumptions like all-product LWE and evasive LWE will help bridge theory to practice.They explore the benchmarks, the challenges and opportunities of this

en

01:02:21

Countdown to Q-Day with Project 11

Zero Knowledge ·

2025/11/05

In this episode, Anna Rose chats with Alex Pruden and Conor Deegan from Project 11. They revisit the topic of quantum computing and explore the threat it poses to cryptographic systems like blockchains. As blockchain technology becomes increasingly integrated into global financial infrastructure — especially through stablecoins and banking rails — the stakes for quantum security continue to rise. Alex and Conor break down which algorithms are most at risk, why simple network upgrades won’t be

en

01:12

Bonus: ZK Mesh and ZK Whiteboard this week!

Zero Knowledge ·

2025/10/29

There is no episode this week, but we share some updates from the ZK Hack ecosystem.Sign up here for ZK Mesh and find the latest module of ZK Whiteboard Season 3 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

en

55:43

Kevin Lacker on AI-Assisted Theorem Proving and Acorn

Zero Knowledge ·

2025/10/22

In this episode, Anna Rose and Guillermo Angeris talk with Kevin Lacker, creator of Acorn, a theorem prover utilising AI. They explore what theorem provers are, their history, and how they're used today. Kevin shares how Acorn brings in AI to simplify the proving process, letting users naturally write mathematical statements while the system checks the correctness of those statements. It's built to feel more like natural math, unlike tools like Lean that demand every step.They also explore the

en

01:07:43

Payy and Payy Card, the Undoxable Credit Card

Zero Knowledge ·

2025/10/15

In this episode, Anna Rose and Tarun Chitra catch up with Sid Gandhi and Calum Moore from Payy to discuss the Payy private payment system and the newly released Payy credit card. They explore their focus on building a user-friendly privacy focused product, how ZK tooling advancement makes this possible, and a walkthrough into how it works with the Visa remittance system. Sid and Cal explain Payy's design as a ZK Validium rollup on Polygon, using client-side proofs and a Merkle tree to ensure privacy

en

52:39

ZKPassport, Obsidion & the Emerging Noir Ecosystem

Zero Knowledge ·

2025/10/08

In this episode, Anna Rose chats with Théo Madzou and Michael Elliot from ZKPassport and Obsidion about their ZK-based identity solution. Théo shares his start in ZK through ZK Hack hackathons using Noir, while Mike shares his path from Bitcoin and MakerDAO to working on zkID systems. They explain how they teamed up to build ZKPassport, a non-profit public-good ZK identity solution project,and how they plan to bring it into Obsidion, a for-profit, privacy-focused fintech-style application that

en

01:04:06

Verifiable Key Management and TEEs with Turnkey

Zero Knowledge ·

2025/10/01

In this episode, Anna Rose and Kobi Gurkan chat with Arnaud Brousseau and Jack Kearney from Turnkey about verifiable key management using trusted execution environments (TEEs). They share how their past work on custody and validators inspired them to build more sophisticated key management tools and some of the qualities TEEs enabled. The discussion covers a range of challenges and techniques: the role of remote attestation and reproducible builds in ensuring trust, strategies to prevent downgrade

en

01:18:02

Zerocoin to zk-creds: Modern ZK History with Ian Miers

Zero Knowledge ·

2025/09/24

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

en

01:04:39

Evolving ZK Identity from Iden3 to Privado & Billions

Zero Knowledge ·

2025/09/17

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

en

01:17:42

Miden & the Edge Blockchain with Bobbin & Gaylord

Zero Knowledge ·

2025/09/10

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

en

01:25:52

Indistinguishability Obfuscation (iO) with Huijia...

Zero Knowledge ·

2025/09/03

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

en

01:13:40

Lighter, Perp DEXs and Custom ZK Circuits

Zero Knowledge ·

2025/08/27

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 marketmakers.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

en

01:23:58

Ethproofs, zkVM Benchmarks & the Unstoppable Rise of...

Zero Knowledge ·

2025/08/20

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

en

01:09:27

zkPDF and zkID with Vikas Rushi and Ying Tong

Zero Knowledge ·

2025/08/13

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

en

01:12:26

How ZK inspired AI Watermarking with Miranda Christ

Zero Knowledge ·

2025/08/06

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

en

50:39

ZKTorch & the Evolution of ZKML with Daniel Kang

Zero Knowledge ·

2025/07/30

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

en

01:15:35

Ligero for Memory-Efficient ZK with Muthu

Zero Knowledge ·

2025/07/23

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

en

49:36

TLSNotary with Dan and Sinu

Zero Knowledge ·

2025/07/16

In this episode, Anna Rose and Nico Mohnblatt speak with Dan and Sinu from TLSNotary to trace the project’s journey from early Bitcoin forum ideas to its current role as a foundational protocol maintained by PSE. Dan recounts the origins of TLSNotary as a tool for cryptographically proving web data, while Sinu explains how the project was revived to provide modern TLS attestation.The conversation covers the use-cases for verifiable web proofs, the different modes these interactive protocols can

en

01:02:13

Local-First with grjte and Goblin Oats

Zero Knowledge ·

2025/07/09

In this episode, Anna Rose and Nico Mohnblatt speak with Goblin Oats from Tonk and grjte from Bain Capital Crypto to explore the emerging world of local-first architecture.Goblin shares the evolution of Tonk from an experimental lab working on blockchain games to a product that enables anyone to build personalised local-first software using natural language. grjte discusses her Groundmist project exploring personal data lakes and the intersection between local-first systems and the AT Protocol

en

01:12:59

Bringing ID Onchain with Self

Zero Knowledge ·

2025/07/02

In this episode, Anna Rose speaks with Florent Tavernier from Self and Marek Olszewski from Self and Celo to explore how Self are bringing identity onchain using ZK, the Sybil protection that offers, and the origins of OpenPassport.The discussion covers Self's approach to supporting different forms of ID, the challenges of disparate cryptographic standards, and how government signatures can be used to bootstrap onchain identity systems. Related links: Self Protocol on X/Twitter Episode 364:

en

405 results

Similar Podcasts

Lead With AI

Tamara Nall

Linux in the Ham Shack

Black Sparrow Media

Data Engineering Podcast

Tobias Macey

Eye On A.I.

Craig S. Smith

Reflections

Livewire Labs