trailofbits / circomspect

A static analyzer and linter for the Circom zero-knowledge DSL
229Updated 4 months ago

Related projects

Alternatives and complementary repositories for circomspect