What it is

A single-file Circom analyzer built on the shared ZK analyze layout. It renders a Monaco-based editor, runs compile-and-analyze, lists findings, and links to the full ZK Studio for multi-file projects. The Supported Checks panel lists the detectors that run against Circom input.

Why it exists

Circom circuits commonly leak soundness via under-constrained signals and non-deterministic witness values. This page surfaces those specific checks as a fast, single-file workflow, ahead of opening the full studio.

Who uses it

Circuit author — checks a Circom template or top-level circuit.
Auditor — reviews a specific file from a bug report.

How to open it

Sidebar → Library → Circom Circuits.
/library → Circom Circuits card.
Direct URL — /circom-analyze.

Using the page

Editor — paste or type Circom source.
Analyze — triggered from the editor; findings populate below.
Launch ZK Studio — opens /zk-studio?lang=circom for multi-file projects.
Supported Checks — lists the four detectors that run against the file:

Severity Detector

Critical Under-Constrained Signals

High Nondeterministic Witnesses

Medium Unused Public Inputs

Low Dead Signals

Inputs and outputs

Input	Source	Required
Circom source	Editor	yes

Output	Format	Destination
Findings	In-page list	Editor section

Controls reference

Editor — Monaco editor with Circom syntax highlighting.
Launch ZK Studio — opens the full studio at /zk-studio?lang=circom.

Limits

Requires a signed-in account.
Single-file only. Multi-file projects need ZK Studio.

Troubleshooting

Symptom or error	Cause	Action
“Compile error”	Circom source fails to compile	Fix syntax and retry.
No findings on a known bug	Bug is outside the four supported checks	Open the file in ZK Studio.

ZK Studio — full IDE for Noir, Circom, Leo, and Cairo.
Noir Circuit Analysis — Noir equivalent.
ZK Verifier Audit — on-chain verifier bytecode audit.

Severity	Detector
Critical	Under-Constrained Signals
High	Nondeterministic Witnesses
Medium	Unused Public Inputs
Low	Dead Signals