Leveraging AI for Automated Vulnerability Detection in Zero-Knowledge Proof Systems

We document our research into using AI to identify vulnerabilities in zero-knowledge proof systems. We share insights from experimenting with different prompting techniques—from basic methods to advanced multi-agent and chain-of-thought approaches