Introduction
Getting Started With Stwo-Cairo
1.
Quickstart
2.
Troubleshooting
AIR Development
3.
Stwo As a "Universal AIR Prover/Verifier"
4.
How to Write an AIR using Stwo abtractions
5.
"Simple M31 AIR" example
6.
Lookup Abstraction
7.
Seperate OpCode, Seperate AIRs
Cairo as a Stwo AIR
8.
Cairo
9.
Builtins
How Does Circle-STARK Work?
10.
AIR
11.
Circle STARKs
12.
Lookups
Users of Stwo
Light
Rust
Coal
Navy
Ayu
stwo-book
AIR
Link to ethSTARK paper on definition of AIRs
go through example of Poseidon & Blake for how Stwo implements AIRs
Dynamic AIRs?