Detectors
ZK Vanguard is equipped with the following set of detectors and general analysis tools:
📄️ Non-Deterministic Witness
Detects non-deterministic witness computations.
📄️ Private Input Leakage
Detects leakages of private inputs via public signals.
📄️ Unconstrained Inputs
Finds unconstrained input signals.
📄️ Underconstrained Outputs
Finds underconstrained output signals.
📄️ Unconstrained Subcomponent Input
Finds unconstrained subcomponent input signals.
📄️ Unconstrained Subcomponent Output
Finds unconstrained subcomponent output signals.
📄️ Unused Subcomponents
Finds unused subcomponents in subcomponent arrays.
📄️ (ZK) Divide By Zero
Finds potential divide-by-zero errors.