zkScanner
zkScanner is a novel detection tool that finds vulnerabilities inside the
zero-knowledge-proof. It combines static analysis and SMT-solver to check the under-constrained and
over-constrained issues.
Major Features
- Support the detection of circom language
- Automatically detect files and folders in a signal commend
- Positioning the location of vulnerability in the report.
- Using the static analysis passes to find low-level issues.
- Capable of finding the potential under-constrained issues.
Architecture Design Diagram
