Skip to content

Pinned Loading

  1. sp1 sp1 Public

    SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

    Rust 1.6k 610

  2. sp1-project-template sp1-project-template Public template

    Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.

    Rust 146 87

  3. sp1-contracts sp1-contracts Public

    Smart contracts for onchain verification of SP1.

    Solidity 132 41

  4. network 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 51 29

  5. op-succinct op-succinct Public

    Succinct's Production-Grade Proving Engine for the OP Stack.

    Rust 208 127

  6. rsp rsp Public

    A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.

    Rust 152 86

Repositories

Showing 10 of 106 repositories
  • sp1-cluster Public

    The official multi-GPU proving service implementation for SP1, designed for the cloud and bare metal deployment.

    succinctlabs/sp1-cluster’s past year of commit activity
    Rust 15 7 1 2 Updated Feb 11, 2026
  • sp1 Public

    SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

    succinctlabs/sp1’s past year of commit activity
    Rust 1,584 Apache-2.0 610 16 30 Updated Feb 11, 2026
  • semaphore-gnark-11 Public Forked from worldcoin/semaphore-mtb-setup

    Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool

    succinctlabs/semaphore-gnark-11’s past year of commit activity
    Go 1 Apache-2.0 15 0 0 Updated Feb 10, 2026
  • sp1-contracts Public

    Smart contracts for onchain verification of SP1.

    succinctlabs/sp1-contracts’s past year of commit activity
    Solidity 132 41 6 5 Updated Feb 9, 2026
  • op-succinct Public

    Succinct's Production-Grade Proving Engine for the OP Stack.

    succinctlabs/op-succinct’s past year of commit activity
    Rust 208 Apache-2.0 127 9 16 Updated Feb 9, 2026
  • sp1-gpu Public

    The official GPU prover implementation for SP1, written in CUDA.

    succinctlabs/sp1-gpu’s past year of commit activity
    Rust 36 6 0 10 Updated Feb 6, 2026
  • sp1-contract-call Public

    Generates zero-knowledge proofs of Ethereum smart contract execution.

    succinctlabs/sp1-contract-call’s past year of commit activity
    Rust 41 Apache-2.0 21 2 1 Updated Feb 6, 2026
  • rsp Public

    A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.

    succinctlabs/rsp’s past year of commit activity
    Rust 152 Apache-2.0 86 0 1 Updated Feb 6, 2026
  • kzg-rs Public

    Rust implementation of KZG point evaluation

    succinctlabs/kzg-rs’s past year of commit activity
    Rust 35 MIT 20 1 2 Updated Feb 6, 2026
  • sp1-project-template Public template

    Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.

    succinctlabs/sp1-project-template’s past year of commit activity
    Rust 146 MIT 87 3 4 Updated Feb 5, 2026

Top languages

Loading…

Most used topics