Circom circuits
Circomspect
Static analysis and linting for Circom circuits, aimed at catching risky patterns in zero-knowledge code.
View on GitHub
trailofbits/circomspect
Best for
Protocol teams building zk systems that need early circuit review feedback.
Surface
Circom circuits
Catalog group
Secure smart contracts and protocol code
Repository
trailofbits/circomspect
From the README
Circomspect is a static analyzer and linter for the Circom programming language. The codebase borrows heavily from the Rust Circom compiler built by iden3. Circomspect currently implements a number of analysis passes which can identify potential issues in Circom circuits. It is our goal to continue to add new analysis passes to be able to detect more issues in the future.Read the full README on GitHub ↗
Related tools · Secure smart contracts and protocol code
- Slither Static analysis for Solidity and Vyper with built-in detectors and an API for custom checks.
- Echidna Property-based fuzzing for Ethereum smart contracts driven by contract ABI grammars.
- Medusa Parallel smart-contract fuzzing built on go-ethereum and designed for large-scale test campaigns.
- Etheno JSON-RPC multiplexer and test-integration layer for contract analysis tools.
- Tealer Static analysis for Algorand TEAL programs with CFG construction and vulnerability detectors.