ZK Vanguard Overview

What is ZK Vanguard?

ZK Vanguard is a static analysis tool used to discover common vulnerabilities in zero-knowledge (ZK) circuits. ZK Vanguard is able to analyze any ZK language that supports LLZK compilation, such as Zirgen, halo2, and Plonky3. Currently, ZK Vanguard is able to provide analysis for Zirgen circuits, with support for circom, halo2, and Plonky3 coming soon to AuditHub. An older version of ZK Vanguard which supports circom is available through the ZK Vanguard (Circom) version.

info

This section of the documentation is currently a work-in-progress.