1. Introduction
  2. Roadmap
  3. Protocol
    ❱
    1. Account
      ❱
      1. Components
    3. Note
    4. Asset
    5. Transaction
    6. State
    7. Blockchain
  5. Tutorials
    ❱
    1. Miden Node Setup
    2. Rust-Client
      ❱
      1. Creating Accounts and Faucets
      2. Mint, Consume, and Create Notes
      3. Deploying a Counter Contract
      4. Interacting with Public Smart Contracts
      5. How To Create Notes with Custom Logic
      6. Foreign Procedure Invocation
      7. How to Use Ephemeral Notes
      8. How to Use Mappings in Miden Assembly
    4. Web-Client
      ❱
      1. Creating Accounts and Faucets
      2. Mint, Consume, and Create Notes
  7. Client
    ❱
    1. Installation
    2. Getting started
      ❱
      1. Create account
      2. Peer-to-peer transfer
      3. Private peer-to-peer transfer
    4. Features
    5. Design
    6. Library
    7. CLI
      ❱
      1. Config
    9. Examples
    10. API
  9. Node
    ❱
    1. Node Operator Guide
      ❱
      1. Architecture
      2. Installation
      3. Configuraton and Usage
      4. Monitoring
      5. Versioning
    3. Node gRPC Reference
  11. Virtual Machine
    ❱
    1. Overview
    2. Usage
    3. Performance
    4. Development tooling
      ❱
      1. Debugger
      2. REPL
    6. User Documentation
      ❱
      1. Miden Assembly
        ❱
        1. Code Organization
        2. Execution contexts
        3. Flow Control
        4. Field Operations
        5. u32 Operations
        6. Stack manipulation
        7. Input / Output Operations
        8. Cryptographic Operations
        9. Events
        10. Debugging
      3. Miden Standard Library
        ❱
        1. std::collections
        2. std::crypto::dsa
        3. std::crypto::fri
        4. std::crypto::hashes
        5. std::math::u64
        6. std::mem
        7. std:sys
    8. Design
      ❱
      1. Programs
      2. Program decoder
        ❱
        1. Decoder constraints
      4. Operand stack
        ❱
        1. Operation constraints
        2. System operations
        3. Field operations
        4. u32 operations
        5. Stack manipulation
        6. Input / output operations
        7. Cryptographic operations
      6. Range Checker
      7. Chiplets
        ❱
        1. Hash Chiplet
        2. Bitwise Chiplet
        3. Memory Chiplet
        4. Kernel ROM Chiplet
      9. Lookup arguments
        ❱
        1. Multiset checks
        2. LogUp
    10. Background Material
  13. Compiler
    ❱
    1. Usage
      ❱
      1. As an Executable
      2. As a Cargo extension
    3. Guides
      ❱
      1. Rust To WebAssembly
      2. WebAssembly To Miden Assembly
      3. Developing Miden Programs In Rust
      4. Developing Miden Rollup Accounts And Note Scripts In Rust
      5. Debugging programs
  15. FAQ
  16. Glossary
  17. Useful links