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
   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. Kernel ROM Chiplet
   9. 4.6. Lookup arguments
   10. 1. 4.6.1. Multiset checks
       2. 4.6.2. LogUp
9. 5. Background Material