

Exploring, Teaching and Auditing ZK with David Wong
Aug 30, 2023
David Wong, author of Real-World Cryptography book and cofounder of zksecurity.xyz, discusses his interest in cryptography, auditing techniques, common bugs in ZK code, and his work on Facebook crypto project and Mina project.
Chapters
Transcript
Episode notes
1 2 3 4 5 6 7 8 9
Introduction
00:00 • 2min
Introducing David Wong and Discussing the Nova Vulnerability
02:15 • 2min
Career Journey in Cryptography and Cryptocurrency
03:56 • 6min
Exploring Libraries and Discovering Zero-Knowledge Proofs at Mina
09:54 • 2min
Kimchi, OCaml, and Rust
12:04 • 5min
The Journey into Cryptography
16:57 • 16min
Understanding ZK Security Auditing
32:32 • 11min
Static Analysis and the Middle Ground
43:35 • 9min
Ethical Considerations and Challenges in Disclosing System Bugs
52:29 • 14min