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
6d ago
Total releases
54
Cadence
~7 days
Last 12 months
23

Reach

Downloads
848.2k
Stars
1.8k

Details

License
MIT OR Apache-2.0
First release
Nov 07, 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.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
1–50 of 54