GitHub repository: trailofbits/circomspect
Primary language: Rust
Description: A static analyzer and linter for the Circom zero-knowledge DSL