sp1-prover 6.2.2

The SP1 prover implementation
Documentation
# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[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)",
]