Skip to main content
Starknet Documentation home page
Welcome
Build
Secure
Learn
Ask AI
Search...
Navigation
The Cairo AIR
Foreword
Search...
⌘K
Protocol
Introduction
Concepts
Components
S-two
Introduction
AIR Development
The Cairo AIR
Foreword
Overview of Cairo
Basic building blocks
Main components
ADD opcode walkthrough
How Does S-two work?
References
Cheatsheets
Chain information
Compatibility tables
Developer integrations
Developer tools
Messaging functions and events
StarkGate functions and events
Transaction fields and hash calculations
Version notes
The Cairo AIR
Foreword
Open in Starknet Agent
Open in Starknet Agent
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
Assistant
Responses are generated using AI and may contain mistakes.
