Episode 290: Exploring, Teaching and Auditing ZK with David Wong - a podcast by Fredrik Harrysson, Anna Rose

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

Further episodes of Zero Knowledge

Further podcasts by Fredrik Harrysson, Anna Rose

Website of Fredrik Harrysson, Anna Rose