0xMiden/compiler

rust-sdk-patterns

Complete guide to writing Miden smart contracts with the Rust SDK. Covers

Langue du texte source : anglais

local-node-validation

Validates Miden contracts against a local node. Covers node setup, Rust binary adaptation, state verification, and troubleshooting. Use after MockChain tests pass to verify contracts work against a real node.

Langue du texte source : anglais

miden-client-cli

Map to the official Miden client CLI. The recommended path is via midenup, which installs a managed `client` toolchain component and is invoked as `miden client ...` (component invocation through the midenup `miden` wrapper). The underlying / direct-install…

Langue du texte source : anglais

miden-concepts

Miden architecture and core concepts from a developer perspective. Covers the actor model, accounts, notes, transactions, assets, privacy model, and standard patterns. Use when designing Miden applications or understanding how Miden differs from traditional…

Langue du texte source : anglais

rust-sdk-pitfalls

Critical pitfalls and safety rules for Miden Rust SDK development. Covers felt arithmetic security, comparison operators, argument limits, storage naming, no-std setup, asset layout, P2ID roots, NoteType construction, note-to-component call boundaries, and…

Langue du texte source : anglais

rust-sdk-source-guide

Guide for advanced Miden smart contract development using source repo exploration. Covers AI development practices (Plan Mode, verification-driven development, context engineering, sub-agents) and maps Miden source repositories for discovering advanced…

Langue du texte source : anglais

rust-sdk-testing-patterns

Guide to testing Miden smart contracts with MockChain. Covers test setup, contract building, account/note creation, transaction execution, storage verification, faucet setup, output note verification, block numbering, multi-transaction tests, and…

Langue du texte source : anglais