Zero Knowledge

Exploring, Teaching and Auditing ZK with David Wong


Listen Later

This week, Anna and Guillermo chat with David Wong, author of the Real-World Cryptography book, and a cofounder 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 Group
  • OCaml website
  • Real-World Cryptography book
  • Mina Protocol
  • 3pages.fr
  • The Frozen Heart vulnerability in PlonK | Trail of Bits Blog
  • ZK Podcast Episode 284: Using Formal Verification on ZK Systems with Jon Stephens
  • zkSecurity Website
  • ZK Podcast Episode 257: Proof of Solvency with Kostas Chalkias - ZK Podcast
  • ZK Podcast Episode 210: The Road to STARKs and Miden with Bobbin Threadbare - ZK Podcast
  • ZK Podcast Episode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography - ZK Podcast

  •  
    Check out the ZK Jobs Board for new job opportunities in the run up to the zkSummit 10!
     
    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 aleo.org/discord.
     
    If you like what we do:
    • Find all our links here! @ZeroKnowledge | Linktree
    • Subscribe to our podcast newsletter
    • Follow us on Twitter @zeroknowledgefm
    • Join us on Telegram
    • Catch us on YouTube

    • Read transcript
      ...more
      View all episodesView all episodes
      Download on the App Store

      Zero KnowledgeBy Zero Knowledge Podcast

      • 4.9
      • 4.9
      • 4.9
      • 4.9
      • 4.9

      4.9

      93 ratings


      More shows like Zero Knowledge

      View all
      Conversations with Tyler by Mercatus Center at George Mason University

      Conversations with Tyler

      2,461 Listeners

      Unchained by Laura Shin

      Unchained

      1,203 Listeners

      The Daily by The New York Times

      The Daily

      113,121 Listeners

      Think Fast Talk Smart: Communication Techniques by Matt Abrahams, Think Fast Talk Smart

      Think Fast Talk Smart: Communication Techniques

      828 Listeners

      Bankless by Bankless

      Bankless

      1,046 Listeners

      All-In with Chamath, Jason, Sacks & Friedberg by All-In Podcast, LLC

      All-In with Chamath, Jason, Sacks & Friedberg

      10,254 Listeners

      Dwarkesh Podcast by Dwarkesh Patel

      Dwarkesh Podcast

      551 Listeners

      Hard Fork by The New York Times

      Hard Fork

      5,576 Listeners

      The Ezra Klein Show by New York Times Opinion

      The Ezra Klein Show

      16,525 Listeners

      Empire by Blockworks

      Empire

      165 Listeners

      a16z crypto show by a16z crypto, Robert Hackett, Sonal Chokshi

      a16z crypto show

      61 Listeners

      Bell Curve by Blockworks

      Bell Curve

      35 Listeners

      Lightspeed by Blockworks

      Lightspeed

      30 Listeners