Cargo Features

[dependencies]
risc0-zkvm-verify = { version = "0.10.0", default-features = false, features = ["prove", "verify"] }
default = prove, verify

These default features are set whenever risc0-zkvm-verify is added without default-features = false somewhere in the dependency tree.

prove default

Enables risc0-zkp-hal

verify default

risc0-zkvm-verify has 3 features without comments.