circomspect (cargo): A static analyzer and linter for the Circom zero-knowledge DSL
Keywords: cryptography|zero-knowledge|static-analysis|circom