1. Introduction
2. 1. STARK framework
3. 1. 1.1. Field
   2. 1.2. Cost model
   3. 1.3. Cross-Table Lookups
   4. 1.4. Range-Checks
4. 2. Tables
5. 1. 2.1. CPU
   2. 2.2. Arithmetic
   3. 2.3. BytePacking
   4. 2.4. Keccak
   5. 2.5. KeccakSponge
   6. 2.6. Logic
   7. 2.7. Memory
   8. 2.8. MemBefore & MemAfter
6. 3. Merkle Patricia Tries
7. 1. 3.1. Memory format
   2. 3.2. Prover input format
   3. 3.3. Encoding and hashing
   4. 3.4. Linked lists
8. 4. CPU Execution
9. 1. 4.1. Kernel
   2. 4.2. Opcodes & Syscalls
   3. 4.3. Privileged Instructions
   4. 4.4. Stack handling
   5. 4.5. Gas handling
   6. 4.6. Exceptions
10. Bibliography