midenup

midenup is the Miden toolchain installer. One install gives you a unified miden command that delegates to the Miden VM, compiler (midenc + cargo-miden), client, stdlib, and transaction kernel — all versioned together as a single release channel.

Source · Installer

midenup on GitHub ↗

The installer repo. Tracks the canonical channel manifest and publishes prebuilt toolchain releases.

→JSON

Channel manifest ↗

Machine-readable inventory of available toolchain channels and the component versions each one pins.

→

Install

>_ Install midenup

cargo install midenup && midenup init

midenup init sets up $MIDENUP_HOME, writes a miden symlink into $CARGO_HOME/bin, and prepares the toolchain cache. Since most Rust users already have $CARGO_HOME/bin on their PATH, the miden command is ready immediately.

Check it worked

Run miden --version. If you see "command not found," add $CARGO_HOME/bin (default ~/.cargo/bin) to your PATH and re-open the shell.

Components it manages

Execution

Miden VM

The MASM interpreter, prover, and verifier. Used by every Miden program.

Rust → MASM

Compiler

midenc and cargo-miden — the Rust frontend that compiles #[miden] code to MASM.

SDK + CLI

Miden client

miden-client — accounts, transactions, notes, proving.

MASM stdlib

Standard library

miden-stdlib — the canonical MASM standard library.

Kernel library

Transaction kernel

miden-base — the transaction kernel that runs inside every account and note script.

Roadmap

(more coming)

Additional Miden components will be added to midenup as they ship.

Toolchain management

Install a channel

midenup install stable        # latest matching component set
midenup install 0.14          # pin to a specific release line

Switch the active toolchain

midenup set 0.14              # pin for the current project (writes miden-toolchain.toml)
midenup override 0.14         # set the system-wide default
midenup show active-toolchain # which one is active right now?

A miden-toolchain.toml in the current directory always wins — otherwise the system default applies, falling back to stable if none is set.

Uninstall

midenup uninstall 0.14

Delete $MIDENUP_HOME to uninstall midenup itself. Find its location with midenup show home.

Don't delete toolchain dirs by hand

Removing toolchain directories manually corrupts the midenup environment. Use midenup uninstall so the installer updates its bookkeeping.

The miden entry point

miden delegates to the right component based on the subcommand. Common aliases:

miden command	Delegates to	What it does
miden new	cargo miden new	Create a new Miden Rust project
miden build	cargo miden build	Build the project
miden new-wallet	miden-client new-wallet --deploy	Create and deploy a wallet account
miden account	miden-client account	Create or inspect a local account
miden faucet	miden-client mint	Fund an account from the faucet
miden deploy	miden-client -s public --account-type regular-account-immutable-code	Deploy a public, immutable-code contract
miden call	miden-client account --show	Read state from an account (view)
miden send	miden-client send	Send a state-changing transaction
miden simulate	miden-client exec	Dry-run a transaction without committing

Everything outside the alias table is forwarded to the underlying binary — e.g., miden exec … goes straight through to miden-client exec.

Related

Get started

Installation

Full environment setup — prerequisites, node install, first account.

→Commands

CLI basics

Walk through miden account, miden send, miden faucet, and the rest.

→Testnet · Services

Network

Endpoints the miden CLI points at — RPC, faucet, remote prover, block explorer.

→