Skip to content
Change the repository type filter

All

    Repositories list

    • Succinct's Production-Grade Proving Engine for the OP Stack
      Rust
      114200713Updated Nov 2, 2025Nov 2, 2025
    • sp1-contract-call

      Public
      Generates zero-knowledge proofs of Ethereum smart contract execution.
      Rust
      154110Updated Oct 30, 2025Oct 30, 2025
    • The official multi-GPU proving service implementation for SP1, designed for the cloud and bare metal deployment.
      Rust
      31111Updated Oct 30, 2025Oct 30, 2025
    • sp1

      Public
      SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
      Rust
      5891.5k615Updated Oct 29, 2025Oct 29, 2025
    • rsp

      Public
      A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
      Rust
      8214300Updated Oct 29, 2025Oct 29, 2025
    • optimism

      Public
      Go
      5903Updated Oct 28, 2025Oct 28, 2025
    • sp1-helios

      Public
      On-chain Ethereum light client built with SP1
      Rust
      377510Updated Oct 27, 2025Oct 27, 2025
    • sp1-gpu

      Public
      The official GPU prover implementation for SP1, written in CUDA.
      Rust
      23209Updated Oct 27, 2025Oct 27, 2025
    • hypercube-verifier

      Public
      Rust
      94232Updated Oct 22, 2025Oct 22, 2025
    • sp1-tee-private-proving

      Public
      Rust
      0200Updated Oct 21, 2025Oct 21, 2025
    • pylon-tg-bot

      Public
      Rust
      0000Updated Oct 20, 2025Oct 20, 2025
    • sp1-contracts

      Public
      Smart contracts for onchain verification of SP1.
      Solidity
      4212155Updated Oct 19, 2025Oct 19, 2025
    • sp1-blobstream

      Public
      Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
      Rust
      122802Updated Oct 14, 2025Oct 14, 2025
    • sp1-lean

      Public
      Lean
      01000Updated Oct 9, 2025Oct 9, 2025
    • Implementation of Vector, Avail's data attestation bridge, in SP1.
      Rust
      12303Updated Oct 8, 2025Oct 8, 2025
    • ethereum-consensus

      Public
      Rust
      69000Updated Oct 8, 2025Oct 8, 2025
    • ssz-rs

      Public
      Implementation of ethereum's `ssz`
      Rust
      49000Updated Oct 8, 2025Oct 8, 2025
    • network

      Public
      This is the monorepo for the Succinct Prover Network, a protocol on Ethereum that coordinates a distributed network of provers to generate zero knowledge proofs for any piece of software.
      Rust
      304833Updated Oct 7, 2025Oct 7, 2025
    • sp1-tee

      Public
      Rust
      42601Updated Oct 6, 2025Oct 6, 2025
    • Verifies Groth16 and Plonk proofs in browser.
      Rust
      51101Updated Oct 6, 2025Oct 6, 2025
    • rsp-tests

      Public
      Test fixtures for running integration tests or quick demo for RSP
      Shell
      0100Updated Sep 30, 2025Sep 30, 2025
    • sail-riscv-lean

      Public
      Lean
      6000Updated Sep 2, 2025Sep 2, 2025
    • Internal Sail RISC-V model
      Sail
      232000Updated Aug 29, 2025Aug 29, 2025
    • semaphore-gnark-11

      Public
      Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool
      Go
      14100Updated Aug 26, 2025Aug 26, 2025
    • sp1-solana

      Public
      Rust
      153302Updated Aug 14, 2025Aug 14, 2025
    • Rust
      0100Updated Aug 13, 2025Aug 13, 2025
    • kzg-rs

      Public
      Rust implementation of KZG point evaluation
      Rust
      203412Updated Aug 6, 2025Aug 6, 2025
    • 2001Updated Jul 24, 2025Jul 24, 2025
    • hozk-demo

      Public
      Rust
      3200Updated Jul 23, 2025Jul 23, 2025
    • This repo provides utilities for RISC-V instruction decode and execution.
      Rust
      0102Updated Jul 14, 2025Jul 14, 2025