Over the past year, we’ve been exploring a big question: Can AI actually find good bugs in zero-knowledge circuits and applications? And if it can… what does that mean for us as auditors? Is our job safe, or are we on the brink of faster, cheaper, AI-powered audits? After digging into this at EthCC in Cannes and on the Zero Knowledge podcast, we went one step further — we built SnarkSentinel, our own experimental AI-powered ZK auditing tool. In this post, I’ll share what worked, what didn’t, and what the future of auditing might look like when humans and AI team up… or clash.