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