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
The Cairo AIR
Cairo AIR
Copy page
Copy page
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
