Circom Circuit Analysis
Detect under-constrained signals, nondeterministic witnesses, and other ZK circuit vulnerabilities in Circom
Loading editor...
Loading editor...circuit.circom
Ctrl+Enter to analyze
Launch ZK StudioAdvanced analysis: multi-file projects, ACIR inspector, constraint diff, audit reports
Supported Checks
Checks run automatically when you click Analyse.
critical
Under-Constrained Signals
Detects signals assigned via <-- without a corresponding === constraint. A malicious prover can set these to any value.
high
Nondeterministic Witnesses
Detects unconstrained assignments using division or modular arithmetic that may have multiple valid witness values.
medium
Unused Public Inputs
Detects public inputs that don't influence any circuit output, which may indicate logic errors.
low
Dead Signals
Detects intermediate signals that are declared but never assigned or used in any constraint.
Sign in to analyze Circom circuits
Use the Sign In button in the navigation bar.