succinctlabs / sp1-gpuLinks
The official GPU prover implementation for SP1, written in CUDA.
☆26Updated last week
Alternatives and similar repositories for sp1-gpu
Users that are interested in sp1-gpu are comparing it to the libraries listed below
Sorting:
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 10 months ago
- Typestate interface for revm☆88Updated this week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 6 months ago
- A consensus client for Reth☆45Updated this week
- Solidity contracts for a next-gen rollup system.☆67Updated last week
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆77Updated 11 months ago
- ☆30Updated last year
- A monorepo of reusable Noir circuits.☆45Updated 2 weeks ago
- Signet ecosystem crates☆22Updated 2 weeks ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 5 months ago
- Ethereum zkEVM book☆69Updated last week
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆75Updated this week
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆51Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆138Updated last week
- Ethereum stateless tools☆45Updated 5 months ago
- distributed sequencer with zk consensus☆31Updated 5 months ago
- barretenburg in rust (here we go)☆99Updated last year
- OS for next iteration of the world computer☆43Updated 2 years ago
- Rust implementation of KZG point evaluation☆33Updated last month
- A stateless Ethereum execution client☆33Updated 7 months ago
- Honk Verifier in Solidity☆50Updated 11 months ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆34Updated 10 months ago
- EVM abstraction layer☆62Updated this week
- A EVM block proving backend in Cairo☆84Updated last week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Smart contracts for onchain verification of SP1.☆114Updated this week
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 11 months ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated 2 years ago
- Bolt: permissionless proposer commitments on Ethereum☆95Updated 4 months ago