A static analyzer and linter for the Circom zero-knowledge DSL
Primary LanguageRustGNU General Public License v3.0GPL-3.0