Cargo Features

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

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

std default

Enables std of miden-air, thiserror, miden-core, and winter-verifier ^0.11

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())].

miden-verifier has 2 features without comments.