Ecosystem Vision

Description

ZK Vanguard is a Veridise static-analysis tool for zero-knowledge circuits, including Circom, Halo2, and custom DSLs. It detects issues such as non-deterministic witnesses, private-input leakage, unconstrained signals, underconstrained outputs, unused subcomponents, witness-constraint differences, and divide-by-zero errors without runtime execution. It supports CI/CD reporting through GitHub Actions, finding triage through AuditHub, and custom detectors through its query language.