Zero Knowledge

This week, Anna and Guillermo chat with David Wong, author of the Real-World Cryptography book, and a cofounder [zksecurity.xyz]((https://www.zksecurity.xyz/) - an auditing firm focused on Zero Knowledge technology. They chat about what first got him interested in cryptography, his early work as a security consultant, his work on the Facebook crypto project and the Mina project, zksecurity.xyz, auditing techniques and their efficacy in a ZK context, what common bugs are found in ZK code, and much more.Here’s some additional links for this episode: Crypto is not cryptocurrency NCC GroupOCaml websiteReal-World Cryptography bookMina Protocol3pages.frThe Frozen Heart vulnerability in PlonK | Trail of Bits Blog ZK Podcast Episode 284: Using Formal Verification on ZK Systems with Jon StephenszkSecurity WebsiteZK Podcast Episode 257: Proof of Solvency with Kostas Chalkias - ZK PodcastZK Podcast Episode 210: The Road to STARKs and Miden with Bobbin Threadbare - ZK PodcastZK Podcast Episode 76: Sean Bowe on SNARKs, T