[DEPRECATED] The GPU code of the latest version of SP1 is in the main sp1 repo https://github.com/succinctlabs/sp1
☆35Feb 19, 2026Updated last month
Alternatives and similar repositories for sp1-gpu
Users that are interested in sp1-gpu are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Feb 21, 2025Updated last year
- Binary Proofs, Blazing Fast☆123Updated this week
- ☆62Updated this week
- A suite of portable, extensible `std` components for the superchain.☆21Jan 20, 2025Updated last year
- Aurora EVM – a high-performance, pure Rust implementation of the Ethereum Virtual Machine (EVM). Designed for security, efficiency, and f…☆30Updated this week
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆38Oct 17, 2025Updated 5 months ago
- ☆10Apr 8, 2023Updated 2 years ago
- Audits of Ajna protocol☆19Mar 27, 2024Updated last year
- Rust implementation of KZG point evaluation☆35Feb 16, 2026Updated last month
- Reference implementation of the node for the Miden blockchain☆91Updated this week
- Succinct's Production-Grade Proving Engine for the OP Stack.☆211Updated this week
- A stateless Ethereum execution client☆33Feb 13, 2026Updated last month
- Proof system backends for OpenVM.☆34Updated this week
- ☆11Jan 4, 2024Updated 2 years ago
- CLI for CAT721☆11Dec 5, 2024Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆139Updated this week
- ☆11Sep 10, 2024Updated last year
- Audits Reports by Naman☆19Mar 13, 2026Updated last week
- A parallel proving service for ZKM.☆22Dec 18, 2025Updated 3 months ago
- ☆12Mar 11, 2024Updated 2 years ago
- ☆10Nov 24, 2023Updated 2 years ago
- Implementations from Proofs, Arguments and Zero Knowledge☆14Mar 29, 2025Updated 11 months ago
- Elliptic curve Go reference implementation☆26Feb 5, 2025Updated last year
- Basic implementation of Borromean ring signatures in Python, for learning☆15Dec 14, 2017Updated 8 years ago
- ☆12Oct 4, 2023Updated 2 years ago
- ☆12Aug 19, 2024Updated last year
- ☆12Sep 6, 2020Updated 5 years ago
- A curated list of awesome things related to learning Binius☆17Jan 9, 2025Updated last year
- ☆11Dec 6, 2023Updated 2 years ago
- ☆18Oct 25, 2025Updated 4 months ago
- Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates☆11Nov 20, 2018Updated 7 years ago
- ☆176Mar 17, 2026Updated last week
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Apr 22, 2020Updated 5 years ago
- Common protocol for generating ZK proofs for blocks on different blockchains.☆10Feb 9, 2024Updated 2 years ago
- Lightning Kube provides a simple way to deploy a Lightning Node into Kubernetes.☆13Mar 14, 2019Updated 7 years ago
- A verifiable supercomputer☆78Jun 26, 2025Updated 8 months ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Nov 29, 2021Updated 4 years ago
- FIPS-204 (ML-DSA) implementation in Go☆19Feb 13, 2026Updated last month