Circomspect
Open SourceCircomspect is Trail of Bits' static analyzer and linter for the Circom language. Run it on a circuit file or directory when you need warnings for under-constrained signals, unconstrained division or LessThan, and assignments that never reach a constraint.
About
Circomspect is an open-source static analyzer for Circom, maintained by Trail of Bits and built on iden3's Rust Circom compiler. Documented analysis passes include side-effect-free assignments, under-constrained and unused output signals, assignments that should be constraints, unconstrained division and LessThan, non-strict Num2Bits, and BN254-specific Circomlib templates used on other curves. It prints to stdout or writes SARIF, and supports the BN254, BLS12-381, and Goldilocks curves.
Categories
Chains
Want a human review too? Browse auditors with ZK proofs expertise →
Install
cargo install circomspect Quick Info
- Pricing
- free
- Open Source
- Yes
- Last validated
- Oct 2026