Skip to main content

circomspect Command

Run Trail of Bits' Circomspect static analysis tool for Circom circuits in a Docker container.

Usage

A static analyzer and linter for Circom programs

USAGE:
circomspect [OPTIONS] [INPUT]...

ARGS:
<INPUT>... Initial input file(s)

OPTIONS:
-a, --allow <ID> Ignore results from given analysis passes
-c, --curve <NAME> Set curve (BN254, BLS12_381, or GOLDILOCKS) [default: BN254]
-h, --help Print help information
-l, --level <LEVEL> Output level (INFO, WARNING, or ERROR) [default: WARNING]
-s, --sarif-file <OUTPUT> Output analysis results to a Sarif file
-v, --verbose Enable verbose output