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

AI and ZK Auditing with David Wong

Powered by Wave AI