Lib.rs

Cargo Features

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

async = async-trait

Enables async of winter-maybe-async

concurrent = std

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

Features from optional dependencies

In crates that don't use the dep: syntax, optional dependencies automatically become Cargo features. These features may have been created by mistake, and this functionality may be removed in the future.

async-trait async?