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 Unauthenticated Notes
      8. How to Use Mappings in Miden Assembly
      9. How to Create Notes in Miden Assembly
      10. Delegated Proving
      11. Consuming On-Chain Price Data from the Pragma Oracle
    4. Web-Client
      ❱
      1. Creating Accounts and Faucets
      2. Mint, Consume, and Create Notes
      3. Creating Multiple Notes in a Single Transaction
      4. Incrementing the Count of the Counter Contract
      5. How to Use Unauthenticated 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. Configuration 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. ACE Chiplet
        5. 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