Cairo Analysis
Analyze Cairo programs for StarkNet — detect felt overflow, arithmetic errors, and STARK constraint vulnerabilities. Note: Cairo support covers a simplified subset of the language, so coverage is narrower than Circom and Noir.
Loading editor...
Loading editor...circuit.cairo
Ctrl+Enter to analyze
Launch ZK StudioAdvanced analysis: multi-file projects, ACIR inspector, constraint diff, audit reports
Supported Checks
Checks run automatically when you click Analyse.
high
Felt Overflow
Detects arithmetic operations on felt252 values that may silently overflow the prime field.
medium
Missing Assertions
Functions with untrusted inputs that lack assertion guards on computed values.
Out of Credits
You don't have enough credits to run this operation. Analysis costs are based on compute time (minimum 25 credits, capped at 150).
Current balance0
Sign in to analyze Cairo programs
Use the Sign In button in the navigation bar.