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 WongEpisode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve CryptographyProof is in the Pudding Session 04: Lattice-Based SNARKs and Post-Quantum CryptographyFiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic PrimitivesEthproofs Call #2 | real-time provingFolding 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