Detectors

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

Compute and Constrain Detectors

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

Detects leakages of private inputs via public signals.

Finds unused subcomponents in subcomponent arrays.

These detectors target issues specific to witness generation.

Detects non-deterministic witness computations.

Finds potential divide-by-zero errors.

These detectors target issues specific to circuit constraints.

Finds unconstrained input signals.

Finds underconstrained output signals.

Finds unconstrained subcomponent input signals.

Finds unconstrained subcomponent output signals.