A curated list of awesome resources related to SP1 - Succinct's zkVM.
☆111Mar 18, 2025Updated last year
Alternatives and similar repositories for awesome-sp1
Users that are interested in awesome-sp1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zig EVM☆35Nov 22, 2025Updated 11 months ago
- Solidity contracts for a next-gen rollup system.☆71May 17, 2026Updated 5 months ago
- Succinct's Production-Grade Proving Engine for the OP Stack.☆216Updated this week
- Reth AlphaNet is a testnet OP Stack-compatible rollup aimed at enabling experimentation of bleeding edge Ethereum Research.☆178Nov 24, 2024Updated last year
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆166Updated this week
- Symbolic EVM in Rust (WIP)☆87Dec 23, 2023Updated 2 years ago
- JSON-RPC, simplified, using tower and axum☆80Apr 22, 2026Updated 6 months ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆64Jul 27, 2024Updated 2 years ago
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆291Oct 14, 2026Updated 2 weeks 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
- A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.☆316Jul 12, 2025Updated last year
- celestia blobs, evm execution☆20Feb 10, 2025Updated last year
- EVM Execution Hooks.☆256Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- the EVM, simplified☆103Jun 18, 2026Updated 4 months ago
- storage proof made by sp1☆25Sep 20, 2024Updated 2 years ago
- Rust implementations of Ethereum Improvement Proposals (EIPs)☆54Updated this week
- ☆350Aug 1, 2025Updated last year
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60May 19, 2023Updated 3 years ago
- Andromeda revm execution service☆32Jul 25, 2024Updated 2 years ago
- Blobscan's indexer rewritten in Rust.☆45Oct 21, 2026Updated last week
- ☆19Updated this week
- Ethereum stateless tools☆46Apr 17, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆32May 3, 2024Updated 2 years ago
- ☆10Mar 2, 2024Updated 2 years ago
- Behold the almighty 🗿totem🗿☆19Sep 19, 2024Updated 2 years ago
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- ☆33Sep 21, 2024Updated 2 years ago
- Email verification circuit in halo2☆72Jul 3, 2024Updated 2 years ago
- Utilities for working with native solc and compiling projects.☆111Apr 20, 2026Updated 6 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆51Oct 20, 2026Updated last week
- A suite of portable, extensible `std` components for the superchain.☆21Jan 20, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆288Jan 16, 2026Updated 9 months ago
- EVM abstraction layer☆83Updated this week
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Mar 8, 2024Updated 2 years ago
- SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.☆1,755Updated this week
- prove eth_call result☆15Mar 25, 2024Updated 2 years ago
- Cairo-VM STONE STARK Verifier Rust implementation☆44Feb 4, 2025Updated last year
- A performant and modular zkVM framework built for customization and extensibility.☆397Updated this week