Circomspect
Open SourceTrail of Bits' static analyzer and linter for circom, detecting under-constrained signals and other circuit anti-patterns.
About
Circomspect is a static analysis tool for the circom language developed and open-sourced by Trail of Bits. It parses circom source and flags known bug patterns, including unconstrained or under-constrained signals, unused variables, shadowing, and side-effect-free statements that suggest missing constraints. It was built out of Trail of Bits' ZK auditing practice and is one of the first tools any circom project should run before an audit. It installs from crates.io and integrates easily into CI.
Categories
Static Analysis Audit Tooling
Chains
circom
Install
cargo install circomspect