Lib.rs

Cargo Features

[dependencies]
miden-vm = { version = "0.9.1", default-features = false, features = ["std", "concurrent", "executable", "metal", "tracing-forest"] }

default = std

The std feature is set by default whenever miden-vm is added without default-features = false somewhere in the dependency tree.

std default concurrent? executable? metal?

Enables std of miden-assembly, miden-processor, miden-prover, and miden-verifier

concurrent = std

Enables concurrent of miden-prover

executable = std

Enables clap, rustyline ^13.0, serde_derive, tracing-subscriber, std of hex, std of serde_json and std of serde

serde:

Provide impls for common standard library types like Vec<T> and HashMap<K, V>.
Requires a dependency on the Rust standard library.

Required by the miden binary

metal = std

Enables metal of miden-prover

Features from optional dependencies

tracing-forest implicit feature

Enables tracing-forest

tracing-forest:

Preserving contextual coherence among trace data from concurrent tasks