Cargo Features

sp1-verifier has no features set by default.

[dependencies]
sp1-verifier = { version = "6.0.0-rc.1", features = ["std", "ark"] }
std

Enables std of thiserror

thiserror:

Std feature enables support for formatting std::path::{Path, PathBuf}
conveniently in an error message.

#[derive(Error, Debug)]
#[error("failed to create configuration file {path}")]
pub struct MyError {
pub path: PathBuf,
pub source: std::io::Error,
}

Without std, this would need to be written #[error("... {}", path.display())].

ark = ark-bn254, ark-ec, ark-ff, ark-groth16, ark-serialize

Affects groth16::ark_converter

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.

TODO: when reviving this crate, lift its dependencies to the workspace Cargo.toml.

ark-bn254 ark?

Enables ark-bn254

arkworks

ark-serialize ark?
ark-ff ark?
ark-groth16 ark?
ark-ec ark?