succinctlabs / sp1-gpuLinks
The official GPU prover implementation for SP1, written in CUDA.
☆36Updated this 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 stateless Ethereum execution client☆33Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆56Updated 10 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 10 months ago
- barretenburg in rust (here we go)☆99Updated 2 years ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆35Updated last year
- On-chain Ethereum light client built with SP1☆80Updated last month
- A ZK-VM for the Brainfuck language, based on Stwo☆33Updated 10 months ago
- Ethereum zkEVM book☆81Updated 4 months ago
- A EVM block proving backend in Cairo☆87Updated last week
- ☆31Updated 8 months ago
- A minimal (and wicked fast) blockchain built with the Commonware Library.☆102Updated this week
- The Spire Based Stack☆22Updated 2 months ago
- ☆46Updated 2 months ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆152Updated this week
- ☆66Updated 2 months ago
- Honk Verifier in Solidity☆50Updated last year
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆79Updated this week
- A collection of ZK light client libraries for various blockchains☆67Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- Zig EVM☆34Updated 2 months ago
- Binary Proofs, Blazing Fast☆113Updated last week
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆132Updated last week
- An observatory fork of SP1☆77Updated 11 months ago
- Benchmark of ZKVMs and Proving Schemes☆32Updated last month
- Consensus client for Seismic☆58Updated this week
- Crypto Gadgets for Plonky2☆77Updated last year
- Signet ecosystem crates☆25Updated this week
- OS for next iteration of the world computer☆43Updated 2 years ago
- EVM abstraction layer☆77Updated this week