Smart contracts for onchain verification of SP1.
☆135Feb 24, 2026Updated last week
Alternatives and similar repositories for sp1-contracts
Users that are interested in sp1-contracts are comparing it to the libraries listed below
Sorting:
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆146Feb 20, 2026Updated last week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆157Feb 23, 2026Updated last week
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆42Feb 23, 2026Updated last week
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Apr 27, 2025Updated 10 months ago
- Zig EVM☆34Nov 22, 2025Updated 3 months ago
- Succinct's Production-Grade Proving Engine for the OP Stack.☆208Updated this week
- SimpleSerialize (SSZ) implementation optimised for speed and security☆28Jan 28, 2026Updated last month
- On-chain Ethereum light client built with SP1☆80Dec 16, 2025Updated 2 months ago
- A "Type 0" zkEVM☆12Jul 16, 2025Updated 7 months ago
- wall time exex for reth☆12Aug 5, 2024Updated last year
- Curta Challenge☆16Apr 15, 2023Updated 2 years ago
- ☆337Feb 2, 2026Updated last month
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Jun 12, 2025Updated 8 months ago
- ☆26Oct 6, 2025Updated 5 months ago
- SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.☆1,598Updated this week
- BuilderHub service for provisioning and permissioning BuilderNet instances☆16Feb 19, 2026Updated 2 weeks ago
- A simple TUI to assist in diffing bodies of text☆15May 9, 2024Updated last year
- Rust implementation of KZG point evaluation☆35Feb 16, 2026Updated 2 weeks ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆217Feb 23, 2026Updated last week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆110Mar 18, 2025Updated 11 months ago
- ☆94Aug 19, 2024Updated last year
- Notebooks showing how to use CryptoUtilities☆14Apr 17, 2025Updated 10 months ago
- Rust implementations of Ethereum Improvement Proposals (EIPs)☆49Feb 26, 2026Updated last week
- Serverless function on Reth☆75Aug 22, 2024Updated last year
- World Chain monorepo☆101Feb 26, 2026Updated last week
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆155Feb 24, 2026Updated last week
- inscriptions lol☆16Dec 24, 2023Updated 2 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆50Feb 7, 2025Updated last year
- A verifiable supercomputer☆77Jun 26, 2025Updated 8 months ago
- Minimal Merkle Tree implementations☆31Jun 13, 2025Updated 8 months ago
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- ☆68Nov 24, 2025Updated 3 months ago
- ☆16Feb 9, 2026Updated 3 weeks ago
- ☆13Jun 30, 2023Updated 2 years ago
- Utilities for working with native solc and compiling projects.☆108Feb 19, 2026Updated 2 weeks ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Dec 10, 2025Updated 2 months ago
- A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.☆315Jul 12, 2025Updated 7 months ago
- Performance and security acceleration for zkVMs.☆483Updated this week
- Efficient nibble-sized (4-bit) byte sequence data structure☆37Feb 11, 2026Updated 3 weeks ago