Zero Knowledge
Description
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)