1. Introduction
4. 1. Setup
5. 1. 1.1. Prerequisites
   2. 1.2. Local Run
   3. 1.3. Docker Setup
   4. 1.4. External Node
   5. 1.5. Batch verification (2FA)
   6. 1.6. Otterscan (Local Explorer)
   7. 1.7. Exposed Ports
   8. 1.8. FAQ
8. 2. Design
9. 1. 2.1. Subsystems
   2. 2.2. Components Overview
   3. 2.3. RPC
   4. 2.4. Prover API
   5. 2.5. Database Layout
   6. 2.6. State Model
   7. 2.7. Merkle Tree Structure
   8. 2.8. Genesis Process
12. 3. Guides
13. 1. 3.1. Run against Layer 1 (L1)
    2. 3.2. Updating Contracts