A full-page studio for ZK circuit analysis. It contains a left
sidebar (Files, Annotations, Bookmarks), a centre editor with view
tabs (Source, Graph, ACIR, Diff, Report), and a bottom analysis
panel (Findings, Witness, Prove, Complexity). The status bar shows
the language, file, circuit name, constraint count, and finding
count.
Why it exists
Circuit analysis needs both source-level and constraint-level views
side by side — editing Noir/Circom/Leo/Cairo source, inspecting the
compiled ACIR, diffing constraints across revisions, probing
witnesses, and running a prove step. Rather than stitching together
multiple tools, this page hosts the full loop in one workspace.
Who uses it
Circuit author — edits source and checks constraint output.
Auditor — reviews findings, inspects ACIR, and runs the
constraint diff across versions.
Researcher — tests under-constrained behaviour with the
Witness panel and estimates prover cost.
How to open it
Sidebar → Cryptography → ZK Studio.
From the Studio toolbar on a ZK analyzer page.
Direct URL — /zk-studio.
Using the page
Language badge and circuit name — shown in the info bar;
the badge reflects the current file’s language (Noir / Circom /
Leo / Cairo).
Analyze — info-bar button (shortcut Ctrl+Enter) that runs
analysis over the current circuit.
Left sidebar tabs — switch between Files,
Annotations (A), and Bookmarks (B).
View tabs — centre pane: Source (1), Graph (2),
ACIR (3), Diff (4), Report (5). Graph, ACIR,
Diff, and Report are hidden until analysis has produced data.
Split handle — drag the horizontal bar to resize the bottom
panel.
Bottom tabs — Findings, Witness, Prove,
Complexity. The Findings tab shows the current finding count
in a badge.
Status bar — language, file, circuit name, constraints count,
findings count.