Introduction
1.
Why Use a Proof System?
2.
Why Stwo?
3.
AIR Development
3.1.
Writing a Simple AIR
3.1.1.
Hello 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 and Verifying an AIR
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 AIR
4.1.
Overview of Cairo
4.2.
Basic Building Blocks
4.3.
Main Components
4.4.
ADD Opcode Walkthrough
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
How Does It Work?
This section is for those who want an in-depth explanation of various components of Stwo.