sp1-prover
The SP1 prover implementation.
Provides the main prover interface for generating SP1 proofs, coordinating between the executor, constraint system, and proof generation components.
Part of SP1, a performant zkVM.
- Coverage
- 23.49%
105 out of 447 items documented0 out of 70 items with examples - Size
- Source code size: 11.1 MB This is the summed size of all the files inside the crates.io package for this release.
- Documentation size: 22.82 MB This is the summed size of all files generated by rustdoc for all configured targets
- Ø build duration
- this release: 3m 1s Average build duration of successful builds.
- all releases: 2m 49s Average build duration of successful builds in releases after 2024-10-23.
- Links
-
succinctlabs/sp1
1638 643 20 - crates.io
- Dependencies
-
- anyhow ^1.0.86 normal
- bincode ^1.3.3 normal
- clap ^4.5.9 normal
- dirs ^5.0.1 normal
- either ^1.15.0 normal
- enum-map ^2.7.3 normal
- eyre ^0.6.12 normal
- futures ^0.3 normal
- hashbrown ^0.14.5 normal
- hex ^0.4.3 normal
- indicatif ^0.17.8 normal
- itertools ^0.14.0 normal
- lru ^0.12.4 normal
- mti ^1.0.7-beta.1 normal
- num-bigint ^0.4.6 normal
- opentelemetry ^0.23.0 normal
- pin-project ^1 normal
- rand ^0.8.5 normal
- reqwest ^0.12.12 normal
- serde ^1.0.204 normal
- serde_json ^1.0.132 normal
- serial_test ^3.1.1 normal
- sha2 ^0.10.8 normal
- slop-air ^6.0.2 normal
- slop-algebra ^6.0.2 normal
- slop-basefold ^6.0.2 normal
- slop-bn254 ^6.0.2 normal
- slop-challenger ^6.0.2 normal
- slop-futures ^6.0.2 normal
- slop-jagged ^6.0.2 normal
- slop-multilinear ^6.0.2 normal
- slop-stacked ^6.0.2 normal
- slop-symmetric ^6.0.2 normal
- sp1-core-executor ^6.0.2 normal
- sp1-core-machine ^6.0.2 normal
- sp1-derive ^6.0.2 normal
- sp1-hypercube ^6.0.2 normal
- sp1-jit ^6.0.2 normal
- sp1-primitives ^6.0.2 normal
- sp1-prover-types ^6.0.2 normal
- sp1-recursion-circuit ^6.0.2 normal
- sp1-recursion-compiler ^6.0.2 normal
- sp1-recursion-executor ^6.0.2 normal
- sp1-recursion-gnark-ffi ^6.0.2 normal
- sp1-recursion-machine ^6.0.2 normal
- sp1-verifier ^6.0.2 normal
- static_assertions ^1.1.0 normal
- sysinfo ^0.30.13 normal
- tempfile ^3.10.1 normal
- thiserror ^1.0 normal
- tokio ^1.42.0 normal
- tonic ^0.12.3 normal
- tracing ^0.1.40 normal
- tracing-appender ^0.2.3 normal
- tracing-subscriber ^0.3.18 normal
- anyhow ^1.0.86 dev
- downloader ^0.2 build
- hex ^0.4.3 build
- sha2 ^0.10.8 build
- Versions
-
- 6.1.0 (2026-04-11)
- 6.0.2 (2026-02-26)
- 6.0.1 (2026-02-18)
- 6.0.0 (2026-02-12)
- 6.0.0-rc.1 (2026-02-06)
- 6.0.0-beta.1 (2026-01-30)
- 5.2.4 (2025-12-15)
- 5.2.3 (2025-11-18)
- 5.2.2 (2025-10-07)
- 5.2.1 (2025-08-05)
- 5.2.0 (2025-08-05)
- 5.1.1 (2025-08-03)
- 5.1.0 (2025-07-25)
- 5.0.8 (2025-07-10)
- 5.0.5 (2025-06-17)
- 5.0.1 (2025-05-30)
- 5.0.0 (2025-05-30)
- 4.2.1 (2025-05-14)
- 4.2.0 (2025-04-17)
- 4.1.7 (2025-04-01)
- 4.1.6 (2025-03-28)
- 4.1.4 (2025-03-22)
- 4.1.3 (2025-03-06)
- 4.1.2 (2025-02-28)
- 4.1.1 (2025-02-11)
- 4.1.0 (2025-02-08)
- 4.0.1 (2025-01-17)
- 4.0.0 (2025-01-15)
- 4.0.0-rc.11 (2025-01-14)
- 4.0.0-rc.10 (2025-01-11)
- 4.0.0-rc.9 (2025-01-09)
- 4.0.0-rc.8 (2025-01-06)
- 4.0.0-rc.7 (2025-01-06)
- 4.0.0-rc.6 (2025-01-06)
- 4.0.0-rc.5 (2025-01-06)
- 4.0.0-rc.4 (2025-01-06)
- 4.0.0-rc.3 (2025-01-04)
- 3.4.0 (2024-11-29)
- 3.3.0 (2024-11-19)
- 3.2.1 (2024-11-07)
- 3.2.0 (2024-11-07)
- 3.1.0 (2024-10-30)
- 3.0.0 (2024-10-18)
- 3.0.0-rc4 (2024-10-16)
- 3.0.0-rc3 (2024-10-09)
- 3.0.0-rc1 (2024-09-16)
- 2.0.0 (2024-09-13)
- 1.2.0 (2024-09-04)
- 1.2.0-rc2 (2024-08-29)
- 1.2.0-rc1 (2024-08-27)
- 1.1.1 (2024-08-06)
- 1.1.0 (2024-08-03)
- 1.0.1 (2024-07-23)
- 1.0.0-rc.1 (2024-07-19)
- 0.0.2-test (2024-07-12)
- 0.0.1-test (2024-07-11)
- 0.0.0-test (2024-07-06)
- Owners
-