Sign in Sign up
cargo

sp1-prover-types

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

Latest release
2d ago
Releases
11
Known CVEs
0
First release
Jan 30, 2026
License
MIT OR Apache-2.0
View on Cargo
Repository

Source

succinctlabs/sp1
Stars
1.7k
Forks
661
Open issues
20
Language
Rust
  • blockchain
  • contributor-friendly
  • ethereum
  • modular
  • rust
  • zero-knowledge

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

Insights

Activity

Total releases
11
Last 12 months
11
Cadence
~7 days
Dependencies
16

Releases per month

last 12 months

Release mix

  • minor 2
  • patch 6
  • pre 2
11 releases
Dependencies

Depends on

6.2.4
  • cargo anyhow ^1.0.86
  • cargo async-scoped ^0.9.0
  • cargo bincode ^1.3.3
  • cargo chrono ^0.4.38 build
  • cargo futures-util ^0.3
  • cargo hashbrown ^0.14.5
  • cargo mti ^1.0.7-beta.1
  • cargo prost ^0.13
  • cargo serde ^1.0.204
  • cargo sp1-core-machine ^6.2.4
1–10 of 16

Used by

6
Releases
Version Released
6.2.4 patch
6.2.3 patch
6.2.2 patch
6.2.1 patch
6.2.0 minor
6.1.0 minor
6.0.2 patch
6.0.1 patch
6.0.0 initial
6.0.0-rc.1 pre
6.0.0-beta.1 pre