Lib.rs

Cargo Features

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

miden-verifier has 2 features without comments.