40 min listen
Unavailable
Currently unavailable
Episode 290: Exploring, Teaching and Auditing ZK with David Wong
FromZero Knowledge
Currently unavailable
Episode 290: Exploring, Teaching and Auditing ZK with David Wong
FromZero Knowledge
ratings:
Length:
68 minutes
Released:
Aug 30, 2023
Format:
Podcast episode
Description
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/)
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/)
Released:
Aug 30, 2023
Format:
Podcast episode
Titles in the series (100)
Episode 20: Ecosystem development with Jon Choi of Ethereum Foundation: In this episode, Fredrik sits down with Jon Choi from the Ethereum Foundation to discuss the latest scalability grants, business models for core infrastructure companies and what's needed in the ecosystem over the coming years. by Zero Knowledge