| sp1-recursion-circuit cargo | 6.9.0 | 8 | none | Recursion circuit for SP1 proof aggregation | 2M | 7d ago |
| sp1-cuda cargo | | – 6.9.0 did not build | – | CUDA integration for SP1 GPU proving | 991K | 7d ago |
| sp1-verifier cargo | 6.9.0 | none | none | Verifier for SP1 Groth16 and Plonk proofs. | 803K | 7d ago |
| sp1-recursion-gnark-ffi cargo | 6.9.0 | 8 | none | FFI bindings to Gnark for SP1 | 2M | 7d ago |
| sp1-prover cargo | | – 6.9.0 did not build | – | The SP1 prover implementation | 2M | 7d ago |
| sp1-sdk cargo | | – 6.9.0 did not build | – | The SP1 SDK for building and proving zkVM programs | 2M | 7d ago |
| sp1-core-executor-runner-binary cargo | 6.9.0 | none | 8 | Binary runner crate used by sp1-core-executor-runner | 432K | 7d ago |
| slop-keccak-air cargo | 6.9.0 | none | none | Re-exports p3_keccak_air from Plonky3 for SLOP | 538K | 7d ago |
| sp1-core-executor-runner cargo | 6.9.0 | none | none | A crate wrapping native executor in a separate process | 413K | 7d ago |
| sp1-prover-types cargo | | – 6.9.0 did not build | – | Type definitions for the SP1 prover | 534K | 7d ago |
| sp1-recursion-machine cargo | 6.9.0 | none | none | Machine definitions for SP1 recursion | 550K | 7d ago |
| sp1-recursion-compiler cargo | 6.9.0 | 8 | none | Compiler for SP1 recursion circuits | 2M | 7d ago |
| sp1-recursion-executor cargo | 6.9.0 | none | none | Executor for SP1 recursion programs | 550K | 7d ago |
| sp1-core-machine cargo | 6.9.0 | 8 | none | SP1 core machine definitions | 2M | 7d ago |
| slop-fri cargo | 6.9.0 | none | none | Re-exports p3_fri from Plonky3 for SLOP | 583K | 7d ago |
| slop-whir cargo | 6.9.0 | none | none | WHIR polynomial commitment scheme for SLOP | 581K | 7d ago |
| slop-uni-stark cargo | 6.9.0 | none | none | Re-exports p3_uni_stark from Plonky3 for SLOP | 582K | 7d ago |
| sp1-jit cargo | 6.9.0 | none | none | JIT compilation for SP1 trace generation | 567K | 7d ago |
| slop-dft cargo | 6.9.0 | none | none | Discrete Fourier Transform operations for tensors in SLOP | 582K | 7d ago |
| slop-basefold-prover cargo | 6.9.0 | none | none | BaseFold prover implementation with FRI integration | 582K | 7d ago |
| slop-stacked cargo | 6.9.0 | none | none | Stacked polynomial commitment scheme for SLOP | 582K | 7d ago |
| slop-jagged cargo | 6.9.0 | none | none | Jagged sparse-to-dense polynomial adapter for SLOP | 581K | 7d ago |
| slop-sumcheck cargo | 6.9.0 | none | none | Sumcheck protocol implementation for multilinear polynomials | 582K | 7d ago |
| sp1-derive cargo | 6.9.0 | none | none | Procedural macros for SP1 | 2M | 7d ago |
| sp1-hypercube cargo | 6.9.0 | none | none | The SP1 Hypercube proof system | 580K | 7d ago |
| sp1-core-executor cargo | 6.9.0 | none | none | RISC-V executor for SP1 | 2M | 7d ago |
| slop-maybe-rayon cargo | 6.9.0 | none | none | Re-exports p3_maybe_rayon from Plonky3 for SLOP | 582K | 7d ago |
| slop-utils cargo | 6.9.0 | none | none | Utility functions and logger setup for SLOP | 583K | 7d ago |
| slop-baby-bear cargo | 6.9.0 | none | none | BabyBear field with Poseidon2 configuration for SLOP | 582K | 7d ago |
| sp1-curves cargo | 6.9.0 | none | none | Elliptic curve implementations for SP1 | 2M | 7d ago |
