1.
Introduction
1.1.
Installation
1.2.
Quickstart
1.3.
Performance
1.4.
Use Cases
1.5.
Independent Evaluations
2.
MIPS VM
2.1.
MIPS ISA
3.
Developer Tutorial
3.1.
Program
3.1.1.
Host Program
3.1.2.
Guest Program
3.1.3.
Example Walkthrough
3.2.
Prover
3.3.
Verifier
3.4.
Proof Aggregation
3.5.
Precompiles
3.6.
Patched Crates
3.7.
Optimizations
4.
Design
4.1.
State Machine
4.1.1.
CPU
4.1.2.
Memory
4.1.3.
ALU
4.1.4.
Flow Control
4.1.5.
Other Components
4.2.
Arithmetization
4.3.
Lookup Arguments
4.4.
Memory Consistency Checking
4.5.
STARK Protocol
4.6.
Prover Architecture
4.6.1.
STARK Aggregation
4.6.2.
STARK-to-SNARK
4.6.3.
Proof Composition
4.6.4.
Recursive STARK
4.7.
Continuation
5.
References
Light
Rust
Coal
Navy
Ayu
References