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.
Sign in to analyze Cairo programs
Use the Sign In button in the navigation bar.