Cairo (StarkNet)
Cairo Analysis
Analyze Cairo programs for StarkNet — detect felt overflow, arithmetic errors, and STARK constraint vulnerabilities
Loading editor...
Loading editor...Upload Cairo (StarkNet) Circuit
Drop a .cairo file here or click to browse
or start from a sample:
Editor Failed to Load
The analysis editor could not be initialized. Please try refreshing the page.
Launch ZK Studio
Advanced analysis: multi-file projects, ACIR inspector, constraint diff, audit reports
Supported Checks
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.