A curated list of awesome resources related to SP1 - Succinct's zkVM.
☆110Mar 18, 2025Updated 11 months ago
Alternatives and similar repositories for awesome-sp1
Users that are interested in awesome-sp1 are comparing it to the libraries listed below
Sorting:
- Zig EVM☆34Nov 22, 2025Updated 3 months ago
- Succinct's Production-Grade Proving Engine for the OP Stack.☆209Updated this week
- storage proof made by sp1☆25Sep 20, 2024Updated last year
- Solidity contracts for a next-gen rollup system.☆70Mar 1, 2026Updated last week
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆28Dec 2, 2023Updated 2 years ago
- celestia blobs, evm execution☆20Feb 10, 2025Updated last year
- A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.☆315Jul 12, 2025Updated 7 months ago
- ☆10Oct 24, 2022Updated 3 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31May 3, 2024Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆35Nov 17, 2024Updated last year
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- Blobscan's indexer rewritten in Rust.☆44Feb 20, 2026Updated 2 weeks ago
- Smart contracts for onchain verification of SP1.☆135Feb 24, 2026Updated 2 weeks ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆65Jul 27, 2024Updated last year
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆258Updated this week
- prove eth_call result☆15Mar 25, 2024Updated last year
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆289Jan 16, 2026Updated last month
- EVM abstraction layer☆79Updated this week
- Email verification circuit in halo2☆69Jul 3, 2024Updated last year
- EVM Execution Hooks.☆239Updated this week
- 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 2 weeks ago
- Symbolic EVM in Rust (WIP)☆87Dec 23, 2023Updated 2 years ago
- Tribunal is a framework for processing cross-chain swap settlements utilizing The Compact.☆62Dec 22, 2025Updated 2 months ago
- ☆352Aug 1, 2025Updated 7 months ago
- Reth AlphaNet is a testnet OP Stack-compatible rollup aimed at enabling experimentation of bleeding edge Ethereum Research.☆176Nov 24, 2024Updated last year
- ☆33Sep 21, 2024Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆158Updated this week
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- A performant and modular zkVM framework built for customization and extensibility.☆313Updated this week
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆50Feb 7, 2025Updated last year
- JSON-RPC, simplified, using tower and axum☆79Feb 15, 2026Updated 3 weeks ago
- ☆26Feb 7, 2024Updated 2 years ago
- Performance and security acceleration for zkVMs.☆483Updated this week
- An Alloy transport to send transaction bundles via Flashbots.☆118Sep 13, 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,598Mar 3, 2026Updated last week
- ☆68Nov 24, 2025Updated 3 months ago
- Solidity compiler tooling by @NomicFoundation☆278Updated this week
- Celestia derivation pipeline and proof crate built with kona☆15Dec 19, 2025Updated 2 months ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago