Circom Circuit Analysis
Detect under-constrained signals, nondeterministic witnesses, and other ZK circuit vulnerabilities in Circom
Loading editor...
Loading editor...Supported Checks
Checks run automatically when you click Analyse.
Under-Constrained Signals
Detects signals assigned via <-- without a corresponding === constraint. A malicious prover can set these to any value.
Nondeterministic Witnesses
Detects unconstrained assignments using division or modular arithmetic that may have multiple valid witness values.
Unused Public Inputs
Detects public inputs that don't influence any circuit output, which may indicate logic errors.
Dead Signals
Detects intermediate signals that are declared but never assigned or used in any constraint.
Out of Credits
You don't have enough credits to run this operation. Analysis costs are based on compute time (minimum 25 credits, capped at 150).
Sign in to analyze Circom circuits
Use the Sign In button in the navigation bar.