Skip to content
Open-Source Registry

Search 70 packages

Found
Build behaviour
Packages1–30 of 70VersionFindingsDescriptionDownloadsWhen
sp1-primitives cargo6.9.0clean Core primitive types for SP12M1h ago
sp1-lib cargo6.9.0clean SP1 zkVM library functions2M1h ago
sp1-derive cargo6.9.0clean Procedural macros for SP12M1h ago
sp1-curves cargo6.9.0clean Elliptic curve implementations for SP12M1h ago
sp1-core-executor cargo6.9.0clean RISC-V executor for SP12M1h ago
sp1-core-machine cargo6.9.08 detections 8SP1 core machine definitions2M1h ago
sp1-recursion-gnark-ffi cargo6.9.08 detections 8FFI bindings to Gnark for SP12M1h ago
sp1-recursion-circuit cargo6.9.08 detections 8Recursion circuit for SP1 proof aggregation2M1h ago
sp1-recursion-compiler cargo6.9.08 detections 8Compiler for SP1 recursion circuits2M1h ago
sp1-prover cargonot built 6.9.0 did not buildThe SP1 prover implementation2M1h ago
sp1-sdk cargonot built 6.9.0 did not buildThe SP1 SDK for building and proving zkVM programs2M1h ago
sp1-build cargo6.9.0clean Build an SP1 program.2M1h ago
sp1-zkvm cargo6.9.0clean The SP1 zkVM runtime and standard library1M1h ago
sp1-cuda cargonot built 6.9.0 did not buildCUDA integration for SP1 GPU proving991K1h ago
sp1-verifier cargo6.9.0clean Verifier for SP1 Groth16 and Plonk proofs.803K1h ago
sp1-hypercube cargo6.9.0clean The SP1 Hypercube proof system580K1h ago
sp1-jit cargo6.9.0clean JIT compilation for SP1 trace generation567K1h ago
sp1-recursion-executor cargo6.9.0clean Executor for SP1 recursion programs550K1h ago
sp1-recursion-machine cargo6.9.0clean Machine definitions for SP1 recursion550K1h ago
sp1-prover-types cargonot built 6.9.0 did not buildType definitions for the SP1 prover534K1h ago
sp1-core-executor-runner-binary cargo6.9.08 vulnerabilities 8Binary runner crate used by sp1-core-executor-runner432K1h ago
sp1-core-executor-runner cargo6.9.0clean A crate wrapping native executor in a separate process413K1h ago
sp1-helper cargo6.9.0clean Crate for building SP1 programs with build scripts.215K1h ago
sp1-cli cargonot built 6.9.0 did not buildThe CLI is used for various tasks related to SP1, such as building the toolchain, compiling programs, and tracing programs.55K1h ago
sp1-recursion-gnark-cli cargonot built 6.9.0 did not buildCLI for SP1 Gnark proof generation32K1h ago
sp1-gpu-sys cargo6.9.08 detections 8FFI bindings and CUDA build system for SP1-GPU3.4K50m ago
sp1-gpu-cudart cargo6.9.08 detections 8High-level Rust API for SP1 GPU operations3.3K45m ago
sp1-gpu-utils cargo6.9.08 detections 8Utility functions for SP1 GPU operations2.7K34m ago
sp1-gpu-tracegen cargo6.9.08 detections 8Core GPU trace generation for SP1 machines2.6K38m ago
sp1-gpu-challenger cargo6.9.08 detections 8GPU challenger state management for Fiat-Shamir2.5K39m ago