Circomspect
Open SourceStatic analysis tool for Circom ZK circuits developed by zkSecurity. Detects common vulnerabilities in zero-knowledge proof implementations.
About
Circomspect is an open-source static analysis tool specifically designed for auditing Circom zero-knowledge circuits. It detects common ZK circuit vulnerabilities including under-constrained signals, unused variables, and constraint issues that could compromise proof soundness.
Categories
Static Analyzers ZK Security
Chains
ethereum
Install
cargo install circomspect Quick Info
- Pricing
- free
- Open Source
- Yes
- Last Updated
- 2026-04-05