Last released Jul 29, 2025
Static analysis tool to detect ZKP vulnerabilities in Circom circuits.
Supported by