Sign in Sign up
cargo

sp1-verifier

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

cargo View on Cargo github View on Github

Activity

Latest release
3d ago
Total releases
51
Cadence
~7 days
Last 12 months
21

Reach

Downloads
712.0k
Stars
1.7k

Details

License
MIT OR Apache-2.0
First release
Nov 07, 2024
Releases
Version Released
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.0 unknown
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.6 unknown yanked
4.0.0-rc.5 unknown yanked
4.0.0-rc.4 unknown yanked
4.0.0-rc.3 unknown yanked
3.4.0 unknown
3.3.0 unknown
3.2.1 unknown
1–50 of 51