Circom
Circom Circuit Analysis
Detect under-constrained signals, nondeterministic witnesses, and other ZK circuit vulnerabilities in Circom
Loading editor...
Loading editor...Upload Circom Circuit
Drop a .circom file here or click to browse
or start from a sample:
Editor Failed to Load
The analysis editor could not be initialized. Please try refreshing the page.
Launch ZK Studio
Advanced analysis: multi-file projects, ACIR inspector, constraint diff, audit reports
Supported Checks
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.