Miden Smart Contracts

This section covers the developer-facing paths for building smart contracts on Miden. Start with the overview for the execution model, use Rust for account, note, and transaction development, and use Miden Standards when you want reusable account components, note scripts, faucet policies, and protocol-compatible building blocks.

If you're new to Miden, follow the hands-on Miden Bank Tutorial.

Sections

Model

Overview

Learn how accounts, notes, transactions, and components fit together.

→Authoring path

Rust

Build accounts, notes, transactions, and reusable logic with the Rust-first workflow.

→Reusable libraries

Miden Standards

Use standard components, note scripts, faucet policies, and MASM modules.

→

Inside Rust

State & code

Accounts

Components, storage, custom types, operations, cryptography, and authentication.

→Programmable messages

Notes

Programmable UTXOs for asset transfers.

→Execution

Transactions

Transaction context, scripts, and the advice provider.

→Composition

Cross-component calls

Calling methods across account components and from note scripts.

→Primitives

Types

Core types: Felt, Word, AccountId, NoteId, and more.

→Recipes

Patterns

Access control, rate limiting, spending limits, and anti-patterns.

→

Reference

docs.rs

API reference

Complete API documentation for the miden crate.

→