Lib.rs

Cargo Features

[dependencies]
winter-prover = { version = "0.8.3", default-features = false, features = ["std", "concurrent"] }

default = std

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

std default concurrent?

Enables std of winter-air, winter-crypto, winter-fri, winter-math, and winter-utils

concurrent = std

Enables concurrent of winter-crypto, winter-fri, winter-math, and winter-utils

winter-prover has 3 features without comments.