Alternatives and similar repositories for sp1-contracts

Users that are interested in sp1-contracts are comparing it to the libraries listed below

• succinctlabs / sp1-project-template

  View on GitHub
  Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
  ☆145Feb 5, 2026Updated last week
• succinctlabs / rsp

  View on GitHub
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆152Feb 6, 2026Updated last week
• succinctlabs / sp1-contract-call

  View on GitHub
  Generates zero-knowledge proofs of Ethereum smart contract execution.
  ☆41Feb 6, 2026Updated last week
• cairoeth / sp1-eof

  View on GitHub
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆35Apr 27, 2025Updated 9 months ago
• DaniPopes / zevm

  View on GitHub
  Zig EVM
  ☆34Nov 22, 2025Updated 2 months ago
• succinctlabs / op-succinct

  View on GitHub
  Succinct's Production-Grade Proving Engine for the OP Stack.
  ☆207Updated this week
• sigp / ethereum_ssz

  View on GitHub
  SimpleSerialize (SSZ) implementation optimised for speed and security
  ☆27Jan 28, 2026Updated 2 weeks ago
• succinctlabs / sp1-helios

  View on GitHub
  On-chain Ethereum light client built with SP1
  ☆80Dec 16, 2025Updated last month
• transmissions11 / reth-exex-walltime

  View on GitHub
  wall time exex for reth
  ☆12Aug 5, 2024Updated last year
• brockelmore / MiniMutant

  View on GitHub
  Curta Challenge
  ☆16Apr 15, 2023Updated 2 years ago
• 0xEigenLabs / eigen-zeth

  View on GitHub
  A "Type 0" zkEVM
  ☆12Jul 16, 2025Updated 6 months ago
• EspressoSystems / hyperplonk

  View on GitHub
  ☆334Feb 2, 2026Updated last week
• succinctlabs / sp1-tendermint-example

  View on GitHub
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆28Jun 12, 2025Updated 8 months ago
• succinctlabs / sp1-tee

  View on GitHub
  ☆26Oct 6, 2025Updated 4 months ago
• succinctlabs / sp1

  View on GitHub
  SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
  ☆1,584Updated this week
• flashbots / builder-hub

  View on GitHub
  BuilderHub service for provisioning and permissioning BuilderNet instances
  ☆16Feb 4, 2026Updated last week
• clabby / diffur

  View on GitHub
  A simple TUI to assist in diffing bodies of text
  ☆15May 9, 2024Updated last year
• succinctlabs / kzg-rs

  View on GitHub
  Rust implementation of KZG point evaluation
  ☆35Feb 5, 2026Updated last week
• risc0 / risc0-ethereum

  View on GitHub
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆215Updated this week
• gakonst / awesome-sp1

  View on GitHub
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆111Mar 18, 2025Updated 10 months ago
• axiom-crypto / axiom-eth

  View on GitHub
  ☆94Aug 19, 2024Updated last year
• alloy-rs / eips

  View on GitHub
  Rust implementations of Ethereum Improvement Proposals (EIPs)
  ☆48Jan 23, 2026Updated 3 weeks ago
• bcc-research / CryptoUtilitiesNotebooks

  View on GitHub
  Notebooks showing how to use CryptoUtilities
  ☆14Apr 17, 2025Updated 9 months ago
• worldcoin / world-chain

  View on GitHub
  World Chain monorepo
  ☆94Updated this week
• rkdud007 / xxfunc

  View on GitHub
  Serverless function on Reth
  ☆75Aug 22, 2024Updated last year
• alloy-rs / trie

  View on GitHub
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆153Feb 3, 2026Updated last week
• mattsse / inscribememaybe

  View on GitHub
  inscriptions lol
  ☆16Dec 24, 2023Updated 2 years ago
• paradigmxyz / forge-alphanet

  View on GitHub
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆50Feb 7, 2025Updated last year
• PetraProver / PetraVM

  View on GitHub
  A verifiable supercomputer
  ☆77Jun 26, 2025Updated 7 months ago
• rkdud007 / alloy-merkle-tree

  View on GitHub
  Minimal Merkle Tree implementations
  ☆32Jun 13, 2025Updated 8 months ago
• adizere / rem-poc

  View on GitHub
  {{{ rem = reth + malachite }}} {{{ proof of concept }}}
  ☆20Jan 5, 2025Updated last year
• ithacaxyz / op-rs

  View on GitHub
  ☆66Nov 24, 2025Updated 2 months ago
• Gaon3 / ethers-literal

  View on GitHub
  ☆13Jun 30, 2023Updated 2 years ago
• foundry-rs / compilers

  View on GitHub
  Utilities for working with native solc and compiling projects.
  ☆107Jan 24, 2026Updated 3 weeks ago
• succinctlabs / sp1-blobstream

  View on GitHub
  Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
  ☆28Dec 10, 2025Updated 2 months ago
• ithacaxyz / odyssey

  View on GitHub
  A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.
  ☆314Jul 12, 2025Updated 7 months ago
• powdr-labs / powdr

  View on GitHub
  Performance and security acceleration for zkVMs.
  ☆483Updated this week
• alloy-rs / nybbles

  View on GitHub
  Efficient nibble-sized (4-bit) byte sequence data structure
  ☆35Feb 3, 2026Updated last week
• paradigmxyz / revm-inspectors

  View on GitHub
  EVM Execution Hooks.
  ☆240Feb 3, 2026Updated last week