Lib.rs

Cargo Features

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

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 thiserror, miden-core, and winter-prover

thiserror:

Std feature enables support for formatting std::path::{Path, PathBuf}
conveniently in an error message.

#[derive(Error, Debug)]
#[error("failed to create configuration file {path}")]
pub struct MyError {
pub path: PathBuf,
pub source: std::io::Error,
}

Without std, this would need to be written #[error("... {}", path.display())].

Affects dsa::falcon_sign…

concurrent = std

Enables concurrent of winter-prover

testing

Enables testing of miden-air

Affects inputs::AdviceInputs…