Cargo Features

[dependencies]
miden-verifier = { version = "0.9.1", 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, miden-core, and winter-verifier

miden-verifier has 2 features without comments.