1.
Introduction
1.1.
Installation
1.2.
Quickstart
1.3.
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.1.3.
Example Walkthrough
3.2.
Prover
3.3.
Verifier
3.4.
Proof Composition
3.5.
Precompiles
3.6.
Patched Crates
3.7.
Optimizations
3.8.
Use Cases
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