Lib.rs

Cargo Features

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

default = std

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

std default concurrent? metal?

Enables std of miden-air, miden-processor, and winter-prover

concurrent metal? = std

Enables concurrent of miden-processor and winter-prover

metal = concurrent, std

Enables elsa, ministark-gpu, and pollster

miden-prover has 4 features without comments.