1. 1. Introduction
    1. 1.1. Installation
    2. 1.2. Performance
  2. 2. MIPS VM
    1. 2.1. MIPS ISA
  3. 3. Developer Tutorial
    1. 3.1. Program
      1. 3.1.1. Host Program
      2. 3.1.2. Guest Program
    2. 3.2. Prover
    3. 3.3. Proof Composition
    4. 3.4. Precompiles
    5. 3.5. Patched Crates
  4. 4. Design
    1. 4.1. State Machine
      1. 4.1.1. CPU
      2. 4.1.2. Memory
      3. 4.1.3. ALU
      4. 4.1.4. Flow Control
      5. 4.1.5. Other Components
    2. 4.2. Arithmetization
    3. 4.3. Lookup Arguments
    4. 4.4. Memory Consistency Checking
    5. 4.5. STARK Protocol
    6. 4.6. Prover Architecture
      1. 4.6.1. STARK Aggregation
      2. 4.6.2. STARK-to-SNARK
      3. 4.6.3. Proof Composition
    7. 4.7. Continuation
  5. 5. References

References