Skip to main content

Miden documentation

Build your first
Miden application.

Start with a programmable account. Write your contract in Rust, prove transactions locally, and connect your application to the network.

Start manually
Your starting point

Install the Miden toolchain

Requires Rust and Cargo. Follow the versioned guide to select a compatible toolchain.

cargo install midenup && midenup init
Read the installation guide

Check the manager with miden --version, then finish toolchain setup in the guide.

From your account to the network

Your application changes an account.

Execute a transaction locally using the account state and input notes.

Read about transactions

Illustrated transaction flow. No live network activity.

One walkthrough

Your first smart contract

Open the full tutorial

Set up. Install the toolchain and check your environment.

Read the set up guide

Connect your application

Tutorials & recipes

Build from a working example.

Protocol reference

Accounts, notes, transactions and proofs.

Network & tools

Endpoints, faucets and developer tools.

Migration guides

Update an existing project.