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 benefits of including AI in math, and also the challenges that come with it such as hallucinations, and how Acorn could speed up research in areas like zero-knowledge proofs. The dicussion also covers the history of mathematics, community building around Acorn and its open math library, acornlib.

 

 

 

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.

 

 

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 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 and compliance.

The discussion also delves into the history and past challenges of self-sovereign payments; how self-sovereign money goals were overshadowed by speculation, why many new stablecoin projects feel like a step back to traditional finance, and how privacy-focused payments are making a comeback in 2025. 

 

 

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 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 they’re working on.

They discuss Noir's evolution and their contribution to this accending zkDSL, how subcircuits and subproofs enable mobile proving, how ZKPassport differs from projects like Self and Rarimo, how they integrated ZKPassport in the wild with DevCon and Aztec, and their plans for better UX and user-friendly apps.

 

 

 

 

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 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 attacks, and the use of authorisation and policy layers to reduce misuse of keys while still enabling automation. 

 

 

 

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