8 releases (stable)

new 6.2.1 May 15, 2026
6.2.0 May 12, 2026
6.1.0 Apr 11, 2026
6.0.2 Feb 26, 2026
6.0.0-beta.1 Jan 30, 2026

#395 in Magic Beans

Download history 10/week @ 2026-01-24 450/week @ 2026-01-31 303/week @ 2026-02-07 1771/week @ 2026-02-14 2505/week @ 2026-02-21 3046/week @ 2026-02-28 2369/week @ 2026-03-07 2228/week @ 2026-03-14 3490/week @ 2026-03-21 3434/week @ 2026-03-28 3378/week @ 2026-04-04 5258/week @ 2026-04-11 4642/week @ 2026-04-18 4699/week @ 2026-04-25 9496/week @ 2026-05-02 23703/week @ 2026-05-09

43,287 downloads per month
Used in 10 crates (6 directly)

MIT/Apache

2.5MB
50K SLoC

sp1-prover-types

Type definitions for the SP1 prover.

Provides the data types used by the SP1 prover, including proof representations, verification keys, and prover configuration.


Part of SP1, a performant zkVM.

Dependencies

~44–83MB
~1.5M SLoC