| sp1-primitives cargo | 6.9.0 | clean | Core primitive types for SP1 | 2M | 1h ago |
| sp1-lib cargo | 6.9.0 | clean | SP1 zkVM library functions | 2M | 1h ago |
| sp1-derive cargo | 6.9.0 | clean | Procedural macros for SP1 | 2M | 1h ago |
| sp1-curves cargo | 6.9.0 | clean | Elliptic curve implementations for SP1 | 2M | 1h ago |
| sp1-core-executor cargo | 6.9.0 | clean | RISC-V executor for SP1 | 2M | 1h ago |
| sp1-core-machine cargo | 6.9.0 | 8 detections 8 | SP1 core machine definitions | 2M | 1h ago |
| sp1-recursion-gnark-ffi cargo | 6.9.0 | 8 detections 8 | FFI bindings to Gnark for SP1 | 2M | 1h ago |
| sp1-recursion-circuit cargo | 6.9.0 | 8 detections 8 | Recursion circuit for SP1 proof aggregation | 2M | 1h ago |
| sp1-recursion-compiler cargo | 6.9.0 | 8 detections 8 | Compiler for SP1 recursion circuits | 2M | 1h ago |
| sp1-prover cargo | | not built 6.9.0 did not build | The SP1 prover implementation | 2M | 1h ago |
| sp1-sdk cargo | | not built 6.9.0 did not build | The SP1 SDK for building and proving zkVM programs | 2M | 1h ago |
| sp1-build cargo | 6.9.0 | clean | Build an SP1 program. | 2M | 1h ago |
| sp1-zkvm cargo | 6.9.0 | clean | The SP1 zkVM runtime and standard library | 1M | 1h ago |
| sp1-cuda cargo | | not built 6.9.0 did not build | CUDA integration for SP1 GPU proving | 991K | 1h ago |
| sp1-verifier cargo | 6.9.0 | clean | Verifier for SP1 Groth16 and Plonk proofs. | 803K | 1h ago |
| sp1-hypercube cargo | 6.9.0 | clean | The SP1 Hypercube proof system | 580K | 1h ago |
| sp1-jit cargo | 6.9.0 | clean | JIT compilation for SP1 trace generation | 567K | 1h ago |
| sp1-recursion-executor cargo | 6.9.0 | clean | Executor for SP1 recursion programs | 550K | 1h ago |
| sp1-recursion-machine cargo | 6.9.0 | clean | Machine definitions for SP1 recursion | 550K | 1h ago |
| sp1-prover-types cargo | | not built 6.9.0 did not build | Type definitions for the SP1 prover | 534K | 1h ago |
| sp1-core-executor-runner-binary cargo | 6.9.0 | 8 vulnerabilities 8 | Binary runner crate used by sp1-core-executor-runner | 432K | 1h ago |
| sp1-core-executor-runner cargo | 6.9.0 | clean | A crate wrapping native executor in a separate process | 413K | 1h ago |
| sp1-helper cargo | 6.9.0 | clean | Crate for building SP1 programs with build scripts. | 215K | 1h ago |
| sp1-cli cargo | | not built 6.9.0 did not build | The CLI is used for various tasks related to SP1, such as building the toolchain, compiling programs, and tracing programs. | 55K | 1h ago |
| sp1-recursion-gnark-cli cargo | | not built 6.9.0 did not build | CLI for SP1 Gnark proof generation | 32K | 1h ago |
| sp1-gpu-sys cargo | 6.9.0 | 8 detections 8 | FFI bindings and CUDA build system for SP1-GPU | 3.4K | 50m ago |
| sp1-gpu-cudart cargo | 6.9.0 | 8 detections 8 | High-level Rust API for SP1 GPU operations | 3.3K | 45m ago |
| sp1-gpu-utils cargo | 6.9.0 | 8 detections 8 | Utility functions for SP1 GPU operations | 2.7K | 34m ago |
| sp1-gpu-tracegen cargo | 6.9.0 | 8 detections 8 | Core GPU trace generation for SP1 machines | 2.6K | 38m ago |
| sp1-gpu-challenger cargo | 6.9.0 | 8 detections 8 | GPU challenger state management for Fiat-Shamir | 2.5K | 39m ago |