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.
Your starting point
Install the Miden toolchain
Requires Rust and Cargo. Follow the versioned guide to select a compatible toolchain.
cargo install midenup && midenup initCheck 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 transactionsIllustrated transaction flow. No live network activity.
One walkthrough
Your first smart contract
Set up. Install the toolchain and check your environment.
Read the set up guideConnect 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.


