Cargo Features

[dependencies]
miden-processor = { version = "0.9.1", default-features = false, features = ["std", "concurrent", "internals"] }
default = std

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

std default concurrent?

Enables std of miden-core and winter-prover

Affects dsa::falcon_sign

concurrent = std

Enables concurrent of winter-prover

internals

Enables internals of miden-air

Affects inputs::AdviceInputs