#861 in Magic Beans

56,978 downloads per month
Used in 27 crates (13 directly)

MIT/Apache and maybe LGPL-3.0+

12MB
104K SLoC

Contains (ELF exe/lib, 120KB) elf/riscv64im-succinct-zkvm-elf

sp1-prover

The SP1 prover implementation.

Provides the main prover interface for generating SP1 proofs, coordinating between the executor, constraint system, and proof generation components.

Part of SP1, a performant zkVM.

~59–100MB
~2M SLoC