gakonst / awesome-sp1View external linksLinks
A curated list of awesome resources related to SP1 - Succinct's zkVM.
☆111Mar 18, 2025Updated 10 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 2 months ago
- Succinct's Production-Grade Proving Engine for the OP Stack.☆207Updated this week
- storage proof made by sp1☆25Sep 20, 2024Updated last year
- Solidity contracts for a next-gen rollup system.☆70Updated this 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.☆314Jul 12, 2025Updated 7 months ago
- ☆10Oct 24, 2022Updated 3 years ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆35Nov 17, 2024Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31May 3, 2024Updated last year
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- Blobscan's indexer rewritten in Rust.☆44Feb 5, 2026Updated last week
- Smart contracts for onchain verification of SP1.☆132Feb 9, 2026Updated last week
- 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.☆256Jan 26, 2026Updated 3 weeks ago
- prove eth_call result☆15Mar 25, 2024Updated last year
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆288Jan 16, 2026Updated last month
- Email verification circuit in halo2☆68Jul 3, 2024Updated last year
- EVM abstraction layer☆77Updated this week
- EVM Execution Hooks.☆240Feb 3, 2026Updated last week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆146Feb 5, 2026Updated last week
- Symbolic EVM in Rust (WIP)☆86Dec 23, 2023Updated 2 years ago
- Tribunal is a framework for processing cross-chain swap settlements utilizing The Compact.☆62Dec 22, 2025Updated last month
- ☆352Aug 1, 2025Updated 6 months ago
- Reth AlphaNet is a testnet OP Stack-compatible rollup aimed at enabling experimentation of bleeding edge Ethereum Research.☆175Nov 24, 2024Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆152Updated this week
- ☆33Sep 21, 2024Updated last year
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- A performant and modular zkVM framework built for customization and extensibility.☆309Updated 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☆79Updated this week
- An Alloy transport to send transaction bundles via Flashbots.☆116Sep 13, 2025Updated 5 months ago
- ☆66Nov 24, 2025Updated 2 months ago
- ☆26Feb 7, 2024Updated 2 years ago
- Performance and security acceleration for zkVMs.☆483Updated this week
- SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.☆1,584Updated this week
- Solidity compiler tooling by @NomicFoundation☆277Updated this week
- Celestia derivation pipeline and proof crate built with kona☆15Dec 19, 2025Updated last month
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago