Loading...
Noir
No circuit loadedCircuit Graph
No Circuit GraphCompile a circuit to see the constraint graph
0 R1CS0 Bool0 Range0 Other0 total
No constraint history yet. Run analysis at least twice to see a diff.
Audit Report
Run analysis to generate a report.
Findings
Analysis runs automatically when code is valid
Witness & Fuzzer
No inputs detected. Write a circuit with fn main(...) parameters.
Prove
Compile → witness → prove → verify entirely in your browser with WebAssembly (noir_wasm + bb.js UltraHonk). No server toolchain.
No inputs detected in the current source. Add parameters to
fn main(...) to enable proving.Complexity
Run analysis to see estimates
Session Manager
Current Session
No contract loaded-
Export Analysis
Saved Sessions
No saved sessions
Share Analysis
Copy this URL to share your current analysis view:
Sign in to use ZK Studio
Use the Sign In button in the navigation bar.