Miden Smart Contracts

This section is the complete reference for building smart contracts on Miden using Rust and the compiler SDK (v0.9.0). If you're new to Miden, start with the Toolchain & Project Structure guide below, or follow the hands-on Miden Bank Tutorial.

All Miden Rust contracts compile under these constraints: #![no_std], Rust 2024 edition, targeting wasm32-unknown-unknown → Miden Assembly → ZK proof.

Overview

📄️ What is a Miden Smart Contract

Execution model, accounts, notes, and the transaction lifecycle.

📄️ Toolchain & Project Structure

The Miden toolchain, project layout, and how Rust source becomes a deployable .masp file.

Core Concepts

📄️ Accounts

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

📄️ Notes

Programmable UTXOs for asset transfers.

📄️ Transactions

Transaction context, scripts, and the advice provider.

📄️ Cross-Component Calls

WIT bindings and generate!() for inter-component calls.

Reference

📄️ Types

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

📄️ Patterns & Security

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

📄️ Cheatsheet

Every function, type, trait, and macro at a glance.