Introduction
1.
Why Use a Proof System?
2.
Why Stwo?
3.
AIR Development
3.1.
Writing a Simple AIR
3.1.1.
Hello (ZK) World
3.1.2.
Writing a Spreadsheet
3.1.3.
From Spreadsheet to Trace Polynomials
3.1.4.
Committing to the Trace Polynomials
3.1.5.
Evaluating Constraints Over Trace Polynomials
3.1.6.
Proving an AIR over the Trace
3.2.
Preprocessed Trace
3.3.
Static Lookups
3.4.
Dynamic Lookups
3.5.
Local Row Constraints
3.6.
Components
3.7.
Additional Examples
4.
Cairo as a Stwo AIR
5.
How Does It Work?
5.1.
Mersenne Primes
5.2.
Circle Group
5.3.
Lookups
6.
Awesome Stwo
7.
Benchmarks Report
Light
Rust
Coal
Navy
Ayu
stwo-book
Cairo as a Stwo AIR
🚧