[package]
edition = "2021"
rust-version = "1.88"
name = "sp1-prover"
version = "6.2.2"
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "The SP1 prover implementation"
readme = "README.md"
keywords = [
"sp1",
"succinct",
"zero-knowledge",
"zkvm",
]
categories = ["cryptography"]
license = "MIT OR Apache-2.0"
repository = "https://github.com/succinctlabs/sp1"
[features]
bigint-rug = ["sp1-core-machine/bigint-rug"]
debug = ["sp1-core-machine/debug"]
experimental = []
mprotect = [
"experimental",
"sp1-core-executor/mprotect",
"sp1-core-executor-runner/mprotect",
"sp1-core-machine/mprotect",
"sp1-hypercube/mprotect",
"sp1-recursion-circuit/mprotect",
"sp1-recursion-executor/mprotect",
]
native-gnark = ["sp1-recursion-gnark-ffi/native"]
profiling = [
"sp1-core-executor/profiling",
"sp1-jit/profiling",
]
[lib]
name = "sp1_prover"
path = "src/lib.rs"
[[bin]]
name = "build_groth16_bn254"
path = "scripts/build_groth16_bn254.rs"
[[bin]]
name = "build_plonk_bn254"
path = "scripts/build_plonk_bn254.rs"
[[bin]]
name = "build_recursion_vks"
path = "scripts/build_recursion_vks.rs"
required-features = ["tokio/rt-multi-thread"]
[[bin]]
name = "gen_soundcalc_toml"
path = "scripts/gen_soundcalc_toml.rs"
[[bin]]
name = "post_trusted_setup"
path = "scripts/post_trusted_setup.rs"
[dependencies.anyhow]
version = "1.0.86"
[dependencies.bincode]
version = "1.3.3"
[dependencies.clap]
version = "4.5.9"
features = [
"derive",
"env",
]
[dependencies.dirs]
version = "5.0.1"
[dependencies.either]
version = "1.15.0"
features = ["serde"]
[dependencies.enum-map]
version = "2.7.3"
[dependencies.eyre]
version = "0.6.12"
[dependencies.futures]
version = "0.3"
[dependencies.hashbrown]
version = "0.14.5"
features = ["inline-more"]
[dependencies.hex]
version = "0.4.3"
[dependencies.indicatif]
version = "0.17.8"
[dependencies.itertools]
version = "0.14.0"
[dependencies.lru]
version = "0.12.4"
[dependencies.mti]
version = "1.0.7-beta.1"
[dependencies.num-bigint]
version = "0.4.6"
default-features = false
[dependencies.opentelemetry]
version = "0.23.0"
[dependencies.pin-project]
version = "1"
[dependencies.rand]
version = "0.8.5"
[dependencies.reqwest]
version = "0.12.12"
features = [
"stream",
"rustls-tls",
]
default-features = false
[dependencies.serde]
version = "1.0.204"
features = [
"derive",
"derive",
"rc",
]
[dependencies.serde_json]
version = "1.0.132"
[dependencies.serial_test]
version = "3.1.1"
[dependencies.sha2]
version = "0.10.8"
[dependencies.slop-air]
version = "6.2.2"
[dependencies.slop-algebra]
version = "6.2.2"
[dependencies.slop-basefold]
version = "6.2.2"
[dependencies.slop-bn254]
version = "6.2.2"
[dependencies.slop-challenger]
version = "6.2.2"
[dependencies.slop-futures]
version = "6.2.2"
[dependencies.slop-jagged]
version = "6.2.2"
[dependencies.slop-multilinear]
version = "6.2.2"
[dependencies.slop-stacked]
version = "6.2.2"
[dependencies.slop-symmetric]
version = "6.2.2"
[dependencies.sp1-core-executor]
version = "6.2.2"
[dependencies.sp1-core-executor-runner]
version = "6.2.2"
[dependencies.sp1-core-machine]
version = "6.2.2"
[dependencies.sp1-derive]
version = "6.2.2"
[dependencies.sp1-hypercube]
version = "6.2.2"
[dependencies.sp1-jit]
version = "6.2.2"
[dependencies.sp1-primitives]
version = "6.2.2"
[dependencies.sp1-prover-types]
version = "6.2.2"
[dependencies.sp1-recursion-circuit]
version = "6.2.2"
default-features = false
[dependencies.sp1-recursion-compiler]
version = "6.2.2"
[dependencies.sp1-recursion-executor]
version = "6.2.2"
default-features = false
[dependencies.sp1-recursion-gnark-ffi]
version = "6.2.2"
default-features = false
[dependencies.sp1-recursion-machine]
version = "6.2.2"
default-features = false
[dependencies.sp1-verifier]
version = "6.2.2"
default-features = false
[dependencies.static_assertions]
version = "1.1.0"
[dependencies.sysinfo]
version = "0.30.13"
[dependencies.tempfile]
version = "3.10.1"
[dependencies.thiserror]
version = "1.0"
[dependencies.tokio]
version = "1.42.0"
features = [
"macros",
"rt",
"sync",
"fs",
"process",
]
default-features = false
[dependencies.tonic]
version = "0.12.3"
features = ["tls"]
[dependencies.tracing]
version = "0.1.40"
[dependencies.tracing-appender]
version = "0.2.3"
[dependencies.tracing-subscriber]
version = "0.3.18"
[dev-dependencies.anyhow]
version = "1.0.86"
[lints.clippy]
print_stdout = "deny"
[lints.rust.unexpected_cfgs]
level = "warn"
priority = 0
check-cfg = [
"cfg(sp1_debug_constraints)",
"cfg(sp1_debug_global_memory)",
"cfg(sp1_core_runner_override)",
"cfg(sp1_use_native_executor)",
"cfg(sp1_use_portable_executor)",
"cfg(sp1_native_executor_available)",
]