1.
Introduction
1.1.
Installation
1.2.
Performance
2.
MIPS VM
2.1.
MIPS ISA
3.
Developer Tutorial
3.1.
Program
3.1.1.
Host Program
3.1.2.
Guest Program
3.2.
Prover
3.3.
Proof Composition
3.4.
Precompiles
3.5.
Patched Crates
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.7.
Continuation
5.
References
Light
Rust
Coal
Navy
Ayu
References