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.
Lookups
6.
Users of Stwo
Light
Rust
Coal
Navy
Ayu
stwo-book
How Does It Work?
This section is for those who want an in-depth explanation of various components of Stwo.