Noir Circuit Analysis is the quick way to check a single Noir file. You paste or type the source into an in-page editor, run the analysis, and read the findings below — no project setup, no toolchain, just the circuit and its checks.
Why it exists
Many Noir bugs show up at the single-file level: an under-constrained value, a missing range check, an unguarded oracle boundary, a public input that shouldn’t be exposed. This page is the lightweight entry point for that check loop, so you can validate a circuit — or a snippet from a bug report — without opening the full studio.
Who uses it
- Circuit author — writes or pastes a Noir file and checks it.
- Auditor — reviews a specific circuit from a bug report.
How to open it
- From the Library → Noir Circuits.
- Direct URL —
/noir-analyze.
Using the page
Type or paste Noir source into the editor and run the analysis; findings populate underneath. Launch ZK Studio opens the same source in the full multi-file workspace when you need it. The Supported Checks panel lists what runs against a Noir file:
| Severity | Check |
|---|---|
| Critical | Under-constrained values |
| High | Missing range checks |
| High | Oracle trust boundary |
| Medium | Public input exposure |
Limits
- Requires a signed-in account, and analysis runs in the browser on the source you paste.
- Single-file only — multi-file projects need ZK Studio.
- The findings cover the checks above; a bug outside them may need the full studio analysis.
Related pages
- ZK Studio — the full IDE for Noir, Circom, Leo, and Cairo.
- Circom Circuit Analysis — the Circom equivalent.
- ZK Verifier Audit — audit the on-chain verifier for the circuit.