1. 1. Introduction
2. 1. 1.1. Overview
   2. 1.2. Usage
   3. 1.3. Performance
3. 2. Development tooling
4. 1. 2.1. Debugger
   2. 2.2. REPL
5. 3. User Documentation
6. 1. 3.1. Miden Assembly
   2. 1. 3.1.1. Code Organization
      2. 3.1.2. Execution contexts
      3. 3.1.3. Flow Control
      4. 3.1.4. Field Operations
      5. 3.1.5. u32 Operations
      6. 3.1.6. Stack manipulation
      7. 3.1.7. Input / Output Operations
      8. 3.1.8. Cryptographic Operations
      9. 3.1.9. Events
      10. 3.1.10. Debugging
      11. 3.1.11. Instruction Reference
   3. 3.2. Miden Standard Library
   4. 1. 3.2.1. std::collections
      2. 3.2.2. std::crypto::dsa
      3. 3.2.3. std::crypto::fri
      4. 3.2.4. std::crypto::hashes
      5. 3.2.5. std::math::u64
      6. 3.2.6. std::mem
      7. 3.2.7. std:sys
7. 4. Design
8. 1. 4.1. Programs
   2. 4.2. Program decoder
   3. 1. 4.2.1. Decoder constraints
   4. 4.3. Operand stack
   5. 1. 4.3.1. Operation constraints
      2. 4.3.2. System operations
      3. 4.3.3. Field operations
      4. 4.3.4. u32 operations
      5. 4.3.5. Stack manipulation
      6. 4.3.6. Input / output operations
      7. 4.3.7. Cryptographic operations
   6. 4.4. Range Checker
   7. 4.5. Chiplets
   8. 1. 4.5.1. Hash Chiplet
      2. 4.5.2. Bitwise Chiplet
      3. 4.5.3. Memory Chiplet
      4. 4.5.4. ACE Chiplet
      5. 4.5.5. Kernel ROM Chiplet
   9. 4.6. Lookup arguments
   10. 1. 4.6.1. Multiset checks
       2. 4.6.2. LogUp
9. 5. Background Material