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.
Private Input Leakage
Detects leakages of private inputs via public signals.
Unused Subcomponents
Finds unused subcomponents in subcomponent arrays.
Compute-Only Detectors
These detectors target issues specific to witness generation.
Non-Deterministic Witness
Detects non-deterministic witness computations.
(ZK) Divide By Zero
Finds potential divide-by-zero errors.
Constrain-Only Detectors
These detectors target issues specific to circuit constraints.