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
      Epicenter - Learn about Crypto, Blockchain, Ethereum, Bitcoin and Distributed Technologies by Epicenter Media Ltd.

      Epicenter - Learn about Crypto, Blockchain, Ethereum, Bitcoin and Distributed Technologies

      187 Listeners

      a16z Podcast by Andreessen Horowitz

      a16z Podcast

      1,012 Listeners

      We Study Billionaires - The Investor’s Podcast Network by The Investor's Podcast Network

      We Study Billionaires - The Investor’s Podcast Network

      3,367 Listeners

      Macro Voices by Hedge Fund Manager Erik Townsend

      Macro Voices

      3,072 Listeners

      Unchained by Laura Shin

      Unchained

      1,210 Listeners

      Masters of Scale by WaitWhat

      Masters of Scale

      3,979 Listeners

      The Breakdown by Blockworks

      The Breakdown

      741 Listeners

      On The Brink with Castle Island by Castle Island Ventures

      On The Brink with Castle Island

      285 Listeners

      Bankless by Bankless

      Bankless

      1,028 Listeners

      Empire by Blockworks

      Empire

      166 Listeners

      Supply Shock by Blockworks

      Supply Shock

      112 Listeners

      Forward Guidance by Blockworks

      Forward Guidance

      273 Listeners

      web3 with a16z crypto by a16z crypto, Sonal Chokshi, Chris Dixon

      web3 with a16z crypto

      61 Listeners

      "Upstream" with Erik Torenberg by Erik Torenberg

      "Upstream" with Erik Torenberg

      62 Listeners

      "Econ 102" with Noah Smith and Erik Torenberg by Turpentine

      "Econ 102" with Noah Smith and Erik Torenberg

      144 Listeners