Sign in Sign up
cargo

sp1-prover

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

Activity

Latest release
6d ago
Total releases
72
Cadence
~7 days
Last 12 months
23

Reach

Downloads
1.6M
Stars
1.8k

Details

License
MIT OR Apache-2.0
First release
Jul 06, 2024
Releases
Version Released
6.10.0 minor
6.9.0 minor
6.8.1 patch
6.8.0 minor
6.7.0 minor
6.6.0 minor
6.5.0 minor
6.4.0 minor
6.3.1 unknown
6.3.0 unknown
6.2.4 unknown
6.2.3 unknown
6.2.2 unknown
6.2.1 unknown
6.2.0 unknown
6.1.0 unknown
6.0.2 unknown
6.0.1 unknown
6.0.0 unknown
6.0.0-rc.1 unknown
6.0.0-beta.1 unknown
5.2.4 unknown
5.2.3 unknown
5.2.2 unknown
5.2.1 unknown
5.2.0 unknown
5.1.1 unknown
5.1.0 unknown
5.0.8 unknown
5.0.5 unknown
5.0.1 unknown
5.0.0 unknown yanked
4.2.1 unknown
4.2.0 unknown
4.1.7 unknown
4.1.6 unknown
4.1.4 unknown
4.1.3 unknown
4.1.2 unknown
4.1.1 unknown
4.1.0 unknown
4.0.1 unknown
4.0.0 unknown
4.0.0-rc.11 unknown
4.0.0-rc.10 unknown
4.0.0-rc.9 unknown
4.0.0-rc.8 unknown
4.0.0-rc.7 unknown yanked
4.0.0-rc.6 unknown yanked
4.0.0-rc.5 unknown yanked
1–50 of 72