Docs.rs

Miden VM core library

Miden VM prover

Miden VM assembly language

Miden VM processor

Miden VM execution verifier

Package containing a compiled Miden MAST artifact with declared dependencies and exports

Parsing and semantic analysis of the Miden Assembly language

Algebraic intermediate representation of Miden VM processor

Diagnostic infrastructure used in the Miden assembler and VM

Miden VM core components

Core source-level debugging information types used throughout the Miden toolchain

no-std compatible locking primitives for the Miden project

Screens extension for bevy

Type-safe u32-indexed vector utilities for Miden

Proc macro to derive enum dispatch trait implementations on miden-core structs