Lib.rs

›
#circom #zero-knowledge #analyzer #circomspect #dsl #linter #static

circomspect-program-analysis

by Fredrik Dahlgren and 5 contributors

11 releases

0.8.2 Jun 20, 2024
0.8.1 Mar 21, 2023
0.7.2 Dec 1, 2022
0.7.1 Nov 29, 2022
0.5.2 Sep 12, 2022

#5 in #circom


Used in circomspect

LGPL-3.0-only

615KB
15K SLoC

Support crate for the Circomspect static analyzer

Dependencies

~12–22MB
~324K SLoC