Skip to main content
Starknet Documentation home page
Welcome
Build
Secure
Learn
Ask AI
Search...
Navigation
The Cairo AIR
Cairo AIR
Search...
⌘K
Protocol
Introduction
Concepts
Components
S-two book
Introduction
Why Use a Proof System?
Why S-two?
AIR Development
The Cairo AIR
Cairo AIR
Overview of Cairo
Basic Building Blocks
Main Components
ADD Opcode Walkthrough
Stwo: Under the Hood
References
Cheatsheets
Specifications
Ecosystem
On this page
Cairo AIR
The Cairo AIR
Cairo AIR
Copy page
Copy page
Cairo AIR
The following sections cover how Cairo is expressed as an AIR and proved using S-two. The explanation is based on
this commit
of the S-two-Cairo repository.
Was this page helpful?
Yes
No
Suggest edits
Raise issue
Additional Examples
Previous
Overview of Cairo
Next
⌘I
