AI and ZK Auditing with David Wong

In this episode, Anna sits down with David Wong from zkSecurity to discuss the impact of AI on the field of zero-knowledge auditing. David shares how his team is integrating AI agents into their workflow, the opportunities and challenges this brings, and how the role of the human auditor is evolving as AI becomes more capable. They also cover the unique aspects of auditing ZK-based systems, how this is different from smart contract auditing, and the broader implications of AI for security in cryptography and blockchain. The conversation touches on the ethical considerations of AI in security, the future of the auditing profession, and the ways ZK and AI are increasingly intersecting. Related links:

• Episode 290: Exploring, Teaching and Auditing ZK with David Wong
• Episode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography
• Proof is in the Pudding Session 04: Lattice-Based SNARKs and Post-Quantum Cryptography
• Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
• Ethproofs Call #2 | real-time proving
• Folding Circom circuits: a ZKML case study - Dr. Cathie So

    Check out the latest jobs in ZK at the ZK Podcast Jobs Board.    **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 **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address Read transcript