Miden Smart Contracts

This section is the complete reference for building smart contracts on Miden using Rust and the Miden SDK. If you're new to Miden, follow the hands-on Miden Bank Tutorial.

All Miden Rust contracts compile under these constraints: #![no_std], Rust 2024 edition.

Core concepts

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.

→

Reference

Primitives

Types

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

→Recipes

Patterns

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

→docs.rs

API reference

Complete API documentation for the miden crate.

→