Noir Circuit Analysis
Write, compile, and analyze Noir ZK circuits for under-constrained signals, proof forgery vectors, and other vulnerabilities
Loading editor...
Loading editor...circuit.nr
Ctrl+Enter to analyze
Launch ZK StudioAdvanced analysis: multi-file projects, ACIR inspector, constraint diff, witness testing, audit reports
Supported Checks
Checks run automatically when you click Analyse.
critical
Under-Constrained Values
Values returned from unconstrained fn without a corresponding assert() constraint. A malicious prover can set these to any value.
high
Missing Range Checks
Integer truncation via as u8 without range constraints, enabling value manipulation in the witness.
high
Oracle Trust Boundary
#[oracle] functions receive untrusted external data. Detects when oracle outputs are used without validation.
medium
Public Input Exposure
Private data flowing to public outputs without hashing or commitment, potentially leaking secrets.
Sign in to analyze Noir circuits
Use the Sign In button in the navigation bar.