Detectors

ZK Vanguard is equipped with the following set of detectors and general analysis tools:

Compute and Constrain Detectors

These detectors operate on both witness-generation operations and constrain operations in the circuit.

Detects discrepancies between witness computation and constraint generation.

Finds signals that may be assigned a value outside of their desired range.

Detects leakages of private inputs via public signals.

Finds unused fields within structures/circuit components.

These detectors identify issues specific to witness generation.

Finds potential divide-by-zero errors.

Detects control flow that is conditional on signal-derived values.

These detectors identify issues specific to circuit constraints.

Finds unconstrained signals.

Finds underconstrained output signals.