Zero Knowledge cover art

All Episodes

Zero Knowledge — 419 episodes

#
Title
1

Alex Ozdemir on where Theorem Provers and ZK meet

2

Sergey Gorbunov on TEEs and the Arc Privacy Sector

3

zkMesh+ Exclusive Clip – Benedikt Bünz on the threat of AI

4

Pushing the Limits of Proof Systems with Benedikt Bünz

5

Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT

6

Building ZK-Powered AI Guardrails with Wyatt Benno

7

The Quantum Question Panel – Live from zkSummit14

8

From Access Control to Encrypted Execution with Auryn Macmillan

9

Quantum Advances, Hybrid Signatures and SNARKs to the Rescue with Dan Boneh

10

Is ZK dead? Or has it just begun? with the ZK Pod co-hosts

11

Verifiable Databases with Shyam & Emanuele from Provably

12

Dev Ojha on the Osmosis Story and his Return to Privacy

13

lean Ethereum Part 6: Formal Verification with Alex Hicks

14

lean Ethereum Part 5: Devnets & Upgrade Coordination with Will and Raúl

15

lean Ethereum Part 4: leanVM, a Custom VM for Signature Aggregation

16

lean Ethereum Part 3: Security of PQ SNARKs and an update about the Proximity Prize

17

lean Ethereum Part 2: PQ Signatures and Poseidon with Dmitry and Benedikt

18

lean Ethereum Part 1: Introduction with Justin Drake

19

lean Ethereum Miniseries Kick-off with Anna & Nico

20

Bonus: zkMesh+ & Upcoming Miniseries

21

Stateful ZK Identity with Ian Miers

22

Bonus: Join zkMesh+ for some bonus podcast content!

23

Sean Bowe on Tachyon and the Evolution of Zcash

24

Bonus: Welcome to 2026 from ZK Podcast & zkMesh+

25

Year in Review: ZK Podcast in 2025 & Beyond

26

Pratyush Mishra on Tiny Proofs, Folding, Low-Memory SNARKs and More

27

Lattices, Folding, & Symphony with Binyi Chen

28

The Quest for Practical iO with Machina iO

29

Countdown to Q-Day with Project 11

30

Kevin Lacker on AI-Assisted Theorem Proving and Acorn

31

Payy and Payy Card, the Undoxable Credit Card

32

ZKPassport, Obsidion & the Emerging Noir Ecosystem

33

Verifiable Key Management and TEEs with Turnkey

34

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

35

Evolving ZK Identity from Iden3 to Privado & Billions

36

Miden & the Edge Blockchain with Bobbin & Gaylord

37

Indistinguishability Obfuscation (iO) with Huijia (Rachel) Lin

38

Lighter, Perp DEXs and Custom ZK Circuits

39

Ethproofs, zkVM Benchmarks & the Unstoppable Rise of ZK with Justin Drake

40

zkPDF and zkID with Vikas Rushi and Ying Tong

41

How ZK inspired AI Watermarking with Miranda Christ

42

ZKTorch & the Evolution of ZKML with Daniel Kang

43

Ligero for Memory-Efficient ZK with Muthu

44

TLSNotary with Dan and Sinu

45

Local-First with grjte and Goblin Oats

46

Bringing ID Onchain with Self

47

ZK in Sui & zkAt with Kostas Kryptos

48

AI and ZK Auditing with David Wong

49

Bringing ZK to Google Wallet with Abhi and Matteo

50

zkTLS with Maddy from Reclaim

51

Implementing LatticeFold with Matthew and Albert from Nethermind

52

Quantum Punks with Alex and Nicola

53

Lattice-based ZK Systems with Vadim Lyubashevsky

54

Building ZK Registries Onchain with Rarimo

55

Quantum Engineering with Jelena Vučković

56

ZK Benchmarks with Conner Swann

57

Coordinating Provers with Norbert from ZkCloud

58

The Founding of Zero Knowledge Systems with Austin Hill

59

Making ZK More Human with ZK Email

60

Learning ZK with Jeffrey from RareSkills

61

Zero Knowledge Systems, Privacy and Security with Jonathan Wilkins

62

ZK in Solana with Mert Mumtaz

63

ZODA & The Accidental Computer

64

Taking ZK IRL with Cursive

65

Back to the Future with Zero Knowledge

66

ZK in Review: Decoding 2024 & Predicting 2025

67

Latest ZK Research with Dan Boneh

68

ZK Events 2024 Recap

69

Mastering MPC & Memes with Mikerah

70

Catch up with Zac and Ariel

71

coSNARKs with Ais and Lukas from TACEO

72

Is Cosmos Dead? A critical look with Zaki Manian

73

TEEs with Andrew Miller

74

On Trust Infrastructure with Arnaud Schenk

75

Restaking Research with Naveen & Tarun

76

ZK in Celestia with Connor O’Hara

77

Groth16, IVC and Formal Verification with Nexus

78

ZK Research Update with Joe Bonneau

79

Verifiable SQL, Reckle Trees and ZK Coprocessing with Lagrange Labs

80

Brussels catch up with Hart from Across

81

ZK Hack Montreal

82

Farcaster with Varun Srinivasan

83

Frameworks for Programmable Privacy with Ying Tong and Bryan Gillespie

84

Building Cryptographic Proofs from Hash Functions with Alessandro Chiesa and Eylon Yogev

85

ZK on Bitcoin with Alpen Labs

86

Proof Aggregation with Shumo and Yi from NEBRA

87

Bonus: ZK Hack Montreal!

88

MPC & ZK in Ligero and Ligetron

89

Web Proofs with Tracy from Pluto

90

Discovering New Elliptic Curves with Antonio Sanso and Youssef El Housni

91

The Role of Reth with Georgios

92

Definitions, Security and Sumcheck in ZK Systems with Justin Thaler

93

STIR with Gal Arnon & Giacomo Fenzi

94

A Deep Dive into Shared Sequencers with Espresso’s Ben Fisch

95

The Past & Present of the L2 Landscape with Jordi Baylina

96

Threshold Signature Schemes & FROST with Chelsea Komlo

97

Enhancing On-Chain Intelligence with Ritual

98

Alin Tomescu on Distributed On-chain Randomness and Keyless Accounts

99

ZK Hack Ecosystem & Winners of ZK Hack IV

100

Succinct’s Platform, Prover Network and SP1

101

Revisiting Hardware with Ingonyama

102

ZKP2P with Brian & Richard

103

The Launch of Celestia and Beyond

104

Algorithmic Game Theory & PoS Tokenomics with Noam Nisan

105

ZK Jargon Decoder with Nico Mohnblatt

106

Avail’s Approach to DA with Prabal Banerjee

107

The Evolution of Aleo with Howard Wu & Alex Pruden

108

Predictions: ZK in 2024

109

ZK Rewind: A Look Back at 2023

110

Exploring FRI, LogUp and using M31 for STARKs with Ulrich Haböck

111

A Dive into Binius with Ulvetanna

112

ZK for web2 interop with zkLogin & ZK Email

113

EigenLayer @ Devconnect

114

A ZK Podcast Retrospective

115

Catch up on zkSync with Alex G

116

Mina’s zkApps and o1js with Brandon and Steve

117

Quantum Cryptography Part 2 with Or Sattath

118

Zeth, Bonsai and RISC Zero with Brian and Jeremy

119

Return to MPC with Nigel Smart

120

Succinct Proofs and Linear Algebra with Guillermo and Alex

121

Exploring Security of ZK Systems with Nethermind’s Michał & Albert

122

State of ZK – Live at zkSummit10!

123

MEV, Mechanism Design & the Censorship Problem with Mallesh M Pai

124

Exploring, Teaching and Auditing ZK with David Wong

125

Penumbra Catch Up with Finch, Erwan and Jen

126

Quantum Cryptography with Or Sattath

127

Gnosis catch-up with Stefan George

128

Paris 2023 Recap with Uma, Zaki and Tarun

129

Intents with Chris Goes from Anoma

130

Using Formal Verification on ZK Systems with Jon Stephens

131

BabyAGI, Agents and Cutting-edge AI with Yohei

132

Error Correcting Codes & Information Theory with Ron Rothblum

133

Exploring Lurk: a New Language for Recursive zk-SNARKs

134

ProtoStar with Benedikt Bünz and Binyi Chen

135

Bonus: zkpod.ai & Attested Audio Experiment with Daniel Kang

136

Intro to zkpod.ai with Anna and Kobi

137

The State of ZK with Anna and Kobi

138

Nova and Beyond with Srinath Setty

139

Expanding Computation on Ethereum with Axiom

140

Building in Public with Sandy & Ye from Scroll

141

SNARKs: A Trilogy with Ariel Gabizon

142

History of Plonk, Noir, and the building of Aztec 3

143

The Move into Web3 with Aptos’ Avery Ching

144

Between Two ZK Events with Nico and Guillermo

145

FHE and ZKPs with Sunscreen’s Ravital Solomon

146

Auctions with Kshitij Kulkarni, Matheus V. X. Ferreira and Tarun

147

A Rollup-Centric Future & Sovereign Chains with Mustafa Al-Bassam

148

ZK Hardware Sessions with Zprize Pt. 2

149

ZK Hardware Sessions with Zprize Pt. 1

150

Where ZK and ML intersect with Yi Sun and Daniel Kang

151

On-Chain Reputation & Identity Building with Sismo

152

Cosmos, Sommelier and Emerging Assets with Zaki Manian

153

Ethereum’s KZG Ceremony with Trent & Carl

154

Proofs, Arguments, and ZKPs with Justin Thaler

155

ZK in 2023 with Kobi, Guillermo, and Tarun

156

Bonus: Apply to zkSummit 9

157

2022 End of Year Wrap with Co-Hosts

158

Ultrasound Money & VRFs with Justin Drake

159

Proof of Solvency with Kostas Chalkias

160

New ZK Use Cases with Dan Boneh

161

Verifying Consensus On-Chain with Succinct

162

Matt Green on bringing ZK into the wild and the compliance debate

163

A look into Namada and Anoma with Awa Sun Yin

164

From Wireless to Blockchains with Pramod Viswanath

165

Exploring RISC Zero with Brian Retford and Jeremy Bruestle

166

What’s the Deal with Hash Functions?

167

Impact of Tornado Cash: a Builders Perspective

168

Revisiting FHE with Rand Hindi from Zama

169

Exploring Penumbra with Henry de Valence

170

Adversarial Machine Learning Research with Florian Tramèr

171

Sanctions against Tornado Cash: a Legal Perspective

172

Journey to Blockchain with David Tse

173

Dive Back into MEV with Alex Stokes and Chris Hager

174

Halo 2 with Daira Hopwood and Str4d

175

Deconstructing Bridges with Vaibhav Chellani

176

Composable Privacy with Manta Network

177

IST and Designing Stablecoins in Cosmos

178

Bonus: Apply to zkSummit 8

179

Aurora and Near with Alex and Illia

180

Exploring ZK Research with Jens Groth

181

Aztec Connect and Private DeFi with Charlie and Joe

182

Mathematical Journeys & Sake with Guillermo Angeris

183

zkEVM with Scroll’s Ye Zhang and Haichen Shen

184

Through the Wormhole with Jump Crypto

185

Cutting Edge ZK Research with Mary Maller

186

Argent’s Smart Contract Wallet Design with Julien Niset

187

Designing Optimistic Interoperability with Nomad

188

Going Cross-Chain with Polkadot’s XCM

189

Catch-up at DevConnect AMS with Tarun, Guillermo and Brendan

190

Move & Sui with Sam Blackshear from Mysten Labs

191

Interoperability with Sergey Gorbunov from Axelar

192

Dark Forest and 0xPARC with Gubsheep

193

Bonus: Jump into ZK

194

Foundry with Georgios Konstantopoulous

195

Connecting Cosmos and Ethereum with Gravity Bridge

196

Something Brewing with Jill Gunter and Ben Fisch from Espresso Systems

197

Funding the Next Wave of Zero Knowledge Tech

198

The Road to Plonky2 with Brendan and Daniel from Polygon Zero

199

Scaling Ethereum with Polygon’s Mihailo Bjelic

200

Hardened JS and the Architecture of Agoric with Dean Tribble

201

Information Theory & Blockchain with Sreeram Kannan

202

A Dip into the Mempool & MEV with Project Blanc

203

Charting Zodiac & DAOs with Nathan Ginnever and Auryn Macmillan

204

Emin Gün Sirer on Avalanche and its Formation

205

zk-SNARKs meets Optimistic Rollup with Zkopru

206

2021 to 2022 with Co-hosts and Friends

207

Bonus ZK Hack Wrap with Kobi!

208

It’s a wrap! ZK Hack Takeaways & What’s Next!

209

The Road to STARKs and Miden with Bobbin Threadbare

210

Liquid Staking with Lido and Chorus One

211

Digging into Data Availability with Ismail Khoffi from Celestia

212

Journey Through the Cosmos Ecosystem with Billy Rennekamp

213

Distilling DeFi Primitives with Guillermo, Alex and Tarun

214

Curating JPEGs with JPG

215

Keeping Up with the Kusama Network

216

MPC and DAGs with Aleph Zero’s Adam Gagol & Matthew Niemerg

217

Stateless Ethereum & Verkle Tries with Dankrad Feist

218

DeFi’s Multichain Future with Zaki Manian from Sommelier

219

SNARK Research & Pedagogy with Alessandro Chiesa

220

Snapps on Mina with Emre and Izaak

221

NFT Creation, Curation and Governance with Luiz from FingerprintsDAO

222

WalletConnect & the DApp/Wallet connection with Pedro Gomes

223

Mixnets, Activism and Privacy with Nym’s Harry Halpin

224

Sushi Beyond the Fork with Joseph Delong

225

zkEVM with Jordi & David from Hermez

226

Zero Knowledge Podcast (finally) has a real website!

227

The Early Days of Cosmos, Chorus One & Epicenter with Brian Crain

228

The Evolution of Yearn with Tracheopteryx and Facu

229

ZKPs & the Dichotomy of Privacy vs Transparency with Josh & Jill

230

The Why & How of Privacy for DAOs

231

Digging into Mining with Kristy-Leigh Minehan

232

Analyzing Osmosis & Preventing MEV with Sunny and Dev

233

The Evolution of ETH 2.0 with Teku’s Ben Edgington

234

ZKPs for Spam Protection & Decentralized Messaging with Status

235

Exploring Uniswap V3 and a Multi-L2 Future with Noah and Moody

236

Anoma’s Adrian Brink on Validity Predicates, Ferveo DKG & More

237

CowSwap & DAO Tech with Gnosis’s Martin Köppelmann

238

The dive into ZK with Iron Fish’s Elena Nadolinski

239

Aping into DeFi and NFTs with Andy Chorlian and Tarun Chitra

240

dYdX’s Antonio Juliano on using STARKs for scalability

241

Diving into Arbitrum’s Optimistic Rollup

242

Exploring SNARKs for Sidechains with Alberto from Horizen

243

Unwrapping Optimism with Ben and Mark

244

Zk-zk-rollup & zk.money with Zac and Joe from Aztec

245

zkEVM & zkPorter with Matter Labs

246

Through the Cosmos Stargate Upgrade

247

Building Private AMMs with Guillermo Angeris

248

ZK languages with Alex Ozdemir

249

Mapping the Polkadot Ecosystem

250

Hardware for ZKPs & VDFs with Supranational

251

Arkworks SNARK libraries with Pratyush Mishra

252

Flashbots with Phil Daian and Stephane Gosselin

253

Where Media & Music meet NFTs & Blockchain

254

Coin Center’s Peter Van Valkenburgh on regulation & crypto

255

Aave with Stani Kulechov

256

The road to Skynet & beyond with David Vorick

257

Kicking off 2021 with Anna, Tarun, James & Josh

258

Year end and end of an era with Anna & Fredrik

259

Loopring with Matt & Brecht

260

DAppNode & the ETH2 kick off with Eduardo Antuña Díez

261

MACI with Koh Wei Jie

262

Threshold Cryptography with Omer Shlomovits from ZenGo

263

Illia Polosukhin on the development and launch of NEAR protocol

264

Stateless Validation with Alin Tomescu

265

Testing PoW Consensus Algorithm Security with Ren Zhang from Nervos

266

ZK for authentication with Nolan and Locke from NuID

267

Monsters in the Mempool with Dan Robinson from Paradigm

268

Blockchain analytics with Alex Svanevik from Nansen

269

John Adler on Optimistic vs ZK Rollup and the data availability problem

270

NFTs & Rarible with Alex Salnikov

271

CryptoKitties, Dapper Labs and Flow with Dieter Shirley

272

Sushiswap Bonus Chat

273

A Tale of Sushi(Swap) with Tarun, Hasu and Anna – Part1

274

Oasis Labs & Privacy with Vishwanath Raman

275

Catch up with Anna & Fredrik

276

Circom & Hermez with Jordi Baylina

277

Aleo with Howard Wu

278

Josh Cincinnati on Zcash, governance and leaving the Zcash Foundation

279

Hasu & Georgios on Bitcoin Security & Elastic Block Size Proposals

280

ZK & Games: Dark Forest with Brian Gu

281

Staking derivatives & DeFi with Alex Evans (and Tarun!)

282

Findora with Benedikt Bunz and Ben Fisch

283

Validium with DeversiFi & Starkware

284

Trusted Setup Bonus: Tornado Cash

285

Math competitions, crypto as alchemy & Gasper with Yan Zhang

286

Look into Solana

287

tBTC with Matt Luongo

288

Trusted Setup Ceremonies Explored

289

Handshake Protocol with Mark Tyneway

290

Proof of Necessary Work with Akis Kattis (NYU)

291

Exploring Tezos & their recent Sapling integration

292

IPFS 0.5 with Molly Mackinlay from Protocol Labs

293

DP-3T & Contact Tracing with Kenny Paterson from ETH Zurich

294

Consensus Algorithms & HotStuff with Ittai Abraham

295

Crypto libraries, Zcash's Zebra and contact tracing with Henry de Valence

296

Mixnets and privacy technology with Claudia Diaz from Nym

297

Exploring FHE with Flavio Bergamaschi from IBM Research

298

Halo with Sean Bowe and Daira Hopwood from ECC

299

ZKPs, Audits & Security with Benjamin Perez from Trail of Bits

300

Urbit with Galen Wolf-Pauly from Tlon

301

ZKPs in Ethereum with Vitalik Buterin & Justin Drake

302

Alistair and Jeff from Web3 on ZKPs & more

303

Tarun and James talk Flash Loans & more

304

Isogenies with Luca De Feo

305

zkSync and Redshift: Matter Labs update

306

Cosmos, IBC and ZKPs with Chris Goes

307

Exploring the Fractal transparent SNARK construction

308

Latest recursive SNARKitecture with Izaak Meckler from O(1)Labs

309

Dive into Plonk!

310

Mixers with Tornado.cash

311

So long 2019! What's next?

312

Exploring use-cases for zkps and zk standards with QEDIT

313

Catch up with Zaki Manian from Tendermint

314

Centrifuge and zkSNARKs in action with Lucas Vogelsang

315

IPFS, Libp2p & Filecoin with Juan Benet

316

Alan Szepieniec on Hash Functions & Supersonic SNARKs

317

Exploring Kusama, the Canary Chaos Network

318

Exploring VDFs with Joseph Bonneau

319

Mapping the Web3 stack with The Graph

320

TEEs with Yan Michalevsky from Anjuna

321

Dan Boneh on the past, present & future of cryptography

322

Post-Devcon5 catch-up with Tarun, James & Georgios

323

MimbleWimble pt 2: Beam Protocol

324

MimbleWimble pt 1: Grin with Daniel Lehnberg

325

Eli Ben-Sasson on the latest from StarkWare and the origin of mathematical ideas

326

zkVM with Oleg Andreev

327

Gnosis & Full Node with Friederike Ernst

328

Light clients & ZKPs with Celo

329

Jorge Izquierdo talks Aragon and DAOs

330

Near Protocol's focus on UX

331

MPC systems with Nigel Smart

332

Eth2.0 update and a look at Libra with Raul Jordan

333

Accumulators with Ben Fisch

334

The road to DEXs with Will Harborne

335

Ariel Gabizon on his work with zkSNARKs and the beauty of math

336

Zexe: Decentralized Private Computation with Pratyush Mishra

337

Zcash community & more with Amber Baldet

338

From Warp Sync to SPREE with Polkadot's Rob Habermeier

339

TEEs, SGX and the Graphene project

340

P2P Messaging & Scuttlebutt with Dominic Tarr

341

On the Frontiers of Validation with Bison Trails

342

Privacy & P4 with Liz and Chris from Least Authority

343

Diving into Cosmos with Sunny

344

Funding Blockchain Development with Kevin Owocki

345

Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography

346

Exploring Aztec with Zac Williamson

347

Blockchain 101: Randomness and Random Beacons with Justin Drake

348

J. Ayo Akinyele Talks Lightning Network & Building Bolt

349

zkSNARKs for Scale with Matter Labs

350

Getting Radicle with Julian Arni

351

Digging into DAI with Rune Christensen from Maker

352

Decentralised Storage with Arweave

353

Conversations at EthCC

354

Formal Verification with Martin Lundfall

355

ETH2.0 Update With Danny Ryan

356

Bridges, xDai and Burner Wallets with Igor & Austin

357

Unleashing Melon into the wild with Jenna Zenk

358

Proxy re-encryption and FHE with NuCypher

359

The path to an ERC standard

360

Statistical modeling of PoS systems with Tarun Chitra

361

Cryptography 101: Multi-Party Computations

362

STARKs & StarkWare with Eli and Alessandro

363

Kicking off 2019 with Jutta Steiner

364

Merklize this! Merkle Trees & Patricia Tries

365

Get to know a Core Dev: Martin Holst Swende

366

ETHSingapore in review

367

Digging into recursive zkSNARKs with Coda

368

Get to know a Core Dev: Péter Szilágyi

369

Vlad and Gav go head-to-head on blockchain governance

370

Exploring Spacemesh with Julian Loss

371

Zooko talks Zcash on our 50th episode

372

Blockchain 101: Cryptoeconomic Primitives and Staking

373

Talking UX with Taylor Monahan of MyCrypto

374

Chat with Richard Craib from Numerai

375

Gavin Wood on Polkadot, Sharding and Substrate

376

P2P messaging with Henri from Streamr

377

Blockchain 101: Transaction lifecycle & the mempool

378

Hudson Jameson talks EIPs and Ethereum core decision-making

379

ETHPrize & Open Source Block Explorers

380

Zokrates with Jacob Eberhardt

381

Benedikt Bünz on Bulletproofs and Verifiable Delay Functions

382

Matthew Di Ferrante on the security of blockchain clients

383

Intro to zkSNARKs with Howard Wu

384

Sharding Update With Prysmatic Labs

385

Eric Tang of Livepeer talks off-chain computation

386

Testnets with Ethan from Tendermint

387

Blockchain 101: What are smart contracts?

388

Open Source Incentivization and Sustainability with OSCoin

389

Zero Knowledge at Zcon0!

390

Blockchain 101: Blocks & Block Headers

391

Open Organizations & Governance with Colony

392

The DAO, the white hat hacker group & Giveth with Griff

393

ETHBuenosAires in review

394

Zeppelin and a chat about upgradability

395

What and why of eWasm with Lane and Alex

396

Storage rent with Phil Daian

397

Blockchain UX and the UXUnConf

398

Blockchain 101: get your full node running!

399

Developer Education in Blockchain

400

Introduction to Zero Knowledge Proofs

401

Ecosystem development with Jon Choi of Ethereum Foundation

402

ZK Summit, sharding, testnets and ASIC resistance

403

Discussing Plasma and Storage Rent with Karl Floersch and Phil Daian

404

Talking security with JP Smith from Trail of Bits

405

Chatting about consensus algorithms with Robert Habermeier

406

Diving deep into DFINITY

407

Bloom filters, PoA and what's up with ERP?

408

How to become a blockchain developer? We ask Gavin Wood

409

Pragma's new tools and staying agile in blockchain

410

Blockchain, Open-Source & Security

411

Bootnodes, Databases and News

412

Decentralized Storage Part 2: Solutions

413

Decentralized Storage Part 1: Looking back

414

s/2017/2018: our New Year's Podcast

415

A fireside chat with a couple Parity peeps

416

Dapps and Kitties

417

Hard Forks

418

PoW, what is it and why do we want PoS

419

RustFest 2017 in Review