Lib.rs

› miden-prover › Features

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 ^0.10

async

Enables async of winter-maybe-async ^0.10

concurrent metal? = std

Enables concurrent of miden-processor and winter-prover ^0.10

metal = concurrent, std

Enables elsa, miden-gpu ^0.3, and pollster

Affects gpu::metal…