Exploring, Teaching and Auditing ZK with David Wong
This week, https://twitter.com/annarrose (Anna) and https://twitter.com/GuilleAngeris (Guillermo) chat with https://twitter.com/cryptodavidw (David Wong), author of the https://www.manning.com/books/real-world-cryptography?a_aid=Realworldcrypto&a_bid=ad500e09 (Real-World Cryptography book), and a cofounder [zksecurity.xyz]((https://www.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: https://cryptoisnotcryptocurrency.com/ (Crypto is not cryptocurrency) https://www.nccgroup.com/ (NCC Group) https://ocaml.org/ (OCaml website) https://www.manning.com/books/real-world-cryptography (Real-World Cryptography book) https://minaprotocol.com/ (Mina Protocol) https://www.3pages.fr/home/login/ (3pages.fr) https://blog.trailofbits.com/2022/04/18/the-frozen-heart-vulnerability-in-plonk/ (The Frozen Heart vulnerability in PlonK | Trail of Bits Blog ) https://zeroknowledge.fm/284-2/ (ZK Podcast Episode 284: Using Formal Verification on ZK Systems with Jon Stephens) https://www.zksecurity.xyz/ (zkSecurity Website) https://zeroknowledge.fm/257-2/ (ZK Podcast Episode 257: Proof of Solvency with Kostas Chalkias - ZK Podcast) https://zeroknowledge.fm/210-2/ (ZK Podcast Episode 210: The Road to STARKs and Miden with Bobbin Threadbare - ZK Podcast) https://zeroknowledge.fm/76-2/ (ZK Podcast Episode 76: Sean Bowe on SNARKs, Trusted Setups and Elliptic Curve Cryptography - ZK Podcast) Check out the https://jobsboard.zeroknowledge.fm/ (ZK Jobs Board) for new job opportunities in the run up to the https://www.zksummit.com/ (zkSummit 10)! https://www.aleo.org/ (Aleo) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. For questions, join their Discord at http://aleo.org/discord (aleo.org/discord). If you like what we do: Find all our links here! https://linktr.ee/zeroknowledge (@ZeroKnowledge | Linktree) Subscribe to our https://zeroknowledge.substack.com (podcast newsletter) Follow us on Twitter https://twitter.com/zeroknowledgefm (@zeroknowledgefm) Join us on https://zeroknowledge.fm/telegram (Telegram) Catch us on https://zeroknowledge.fm/ (YouTube)