Lib.rs

Cargo Features

[dependencies]
miden-prover = { version = "0.11.0", default-features = false, features = ["std", "async", "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

async

Enables async of winter-maybe-async

concurrent metal? = std

Enables concurrent of miden-processor and winter-prover

metal = concurrent, std

Enables elsa, miden-gpu, and pollster

Affects gpu::metal…