Repositories list

• op-succinct

  Public

  succinctlabs/op-succinct’s past year of commit activity
  Succinct's Production-Grade Proving Engine for the OP Stack.

  Rust

  •

  Apache License 2.0

  •131131 forks in succinctlabs/op-succinct•216216 stars in succinctlabs/op-succinct•1515 issues in succinctlabs/op-succinct•2626 pull requests in succinctlabs/op-succinct•Updated Oct 27, 2026Oct 27, 2026

• flock

  Public

  succinctlabs/flock’s past year of commit activity
  Rust

  •

  Apache License 2.0

  •2727 forks in succinctlabs/flock•9595 stars in succinctlabs/flock•22 issues in succinctlabs/flock•33 pull requests in succinctlabs/flock•Updated Oct 27, 2026Oct 27, 2026

• sp1

  Public

  succinctlabs/sp1’s past year of commit activity
  SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

  rustmodularethereum+ 3

  rustmodularethereumblockchainzero-knowledgecontributor-friendly

  Rust

  •

  Apache License 2.0

  •712712 forks in succinctlabs/sp1•1.8k1.8k stars in succinctlabs/sp1•3636 issues in succinctlabs/sp1•118118 pull requests in succinctlabs/sp1•Updated Oct 26, 2026Oct 26, 2026

• sp1-contract-call

  Public

  succinctlabs/sp1-contract-call’s past year of commit activity
  Generates zero-knowledge proofs of Ethereum smart contract execution.

  Rust

  •

  Apache License 2.0

  •2323 forks in succinctlabs/sp1-contract-call•4343 stars in succinctlabs/sp1-contract-call•33 issues in succinctlabs/sp1-contract-call•00 pull requests in succinctlabs/sp1-contract-call•Updated Oct 23, 2026Oct 23, 2026

• rsp

  Public

  succinctlabs/rsp’s past year of commit activity
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.

  Rust

  •

  Apache License 2.0

  •9191 forks in succinctlabs/rsp•166166 stars in succinctlabs/rsp•22 issues in succinctlabs/rsp•55 pull requests in succinctlabs/rsp•Updated Oct 23, 2026Oct 23, 2026

• sp1-cluster

  Public

  succinctlabs/sp1-cluster’s past year of commit activity
  The official multi-GPU proving service implementation for SP1, designed for the cloud and bare metal deployment.

  rusthpchelm+ 4

  rusthpchelmgrpck8ssp1zero-knowledge

  Rust

  •

  Other

  •1818 forks in succinctlabs/sp1-cluster•2525 stars in succinctlabs/sp1-cluster•22 issues in succinctlabs/sp1-cluster•1010 pull requests in succinctlabs/sp1-cluster•Updated Oct 23, 2026Oct 23, 2026

• kzg-rs

  Public

  succinctlabs/kzg-rs’s past year of commit activity
  Rust implementation of KZG point evaluation

  Rust

  •

  MIT License

  •2020 forks in succinctlabs/kzg-rs•3636 stars in succinctlabs/kzg-rs•11 issue in succinctlabs/kzg-rs•22 pull requests in succinctlabs/kzg-rs•Updated Oct 23, 2026Oct 23, 2026

• network

  Public

  succinctlabs/network’s past year of commit activity
  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…

  Rust

  •

  Apache License 2.0

  •3030 forks in succinctlabs/network•5555 stars in succinctlabs/network•33 issues in succinctlabs/network•22 pull requests in succinctlabs/network•Updated Oct 22, 2026Oct 22, 2026

• AG-skip-Verification-Certificate

  Public

  succinctlabs/AG-skip-Verification-Certificate’s past year of commit activity
  Verification scripts for AG-skip paper

  Sage

  •

  Apache License 2.0

  •00 forks in succinctlabs/AG-skip-Verification-Certificate•00 stars in succinctlabs/AG-skip-Verification-Certificate•00 issues in succinctlabs/AG-skip-Verification-Certificate•00 pull requests in succinctlabs/AG-skip-Verification-Certificate•Updated Oct 15, 2026Oct 15, 2026

• .github

  Public

  succinctlabs/.github’s past year of commit activity
  Public GitHub profile for Succinct

  00 forks in succinctlabs/.github•00 stars in succinctlabs/.github•00 issues in succinctlabs/.github•00 pull requests in succinctlabs/.github•Updated Oct 13, 2026Oct 13, 2026

• rust

  Public
  Rust

  •

  Other

  •88 forks in succinctlabs/rust•99 stars in succinctlabs/rust•11 issue in succinctlabs/rust•11 pull request in succinctlabs/rust•Updated Oct 9, 2026Oct 9, 2026

• sp1-helios

  Public
  On-chain Ethereum light client built with SP1

  Rust

  •4545 forks in succinctlabs/sp1-helios•8383 stars in succinctlabs/sp1-helios•00 issues in succinctlabs/sp1-helios•11 pull request in succinctlabs/sp1-helios•Updated Oct 6, 2026Oct 6, 2026

• optimism

  Public
  Go

  •

  MIT License

  •55 forks in succinctlabs/optimism•88 stars in succinctlabs/optimism•00 issues in succinctlabs/optimism•1414 pull requests in succinctlabs/optimism•Updated Sep 24, 2026Sep 24, 2026

• zcam1-sdk

  Public
  Rust

  •22 forks in succinctlabs/zcam1-sdk•1010 stars in succinctlabs/zcam1-sdk•00 issues in succinctlabs/zcam1-sdk•00 pull requests in succinctlabs/zcam1-sdk•Updated Sep 16, 2026Sep 16, 2026

• sp1-lean

  Public
  Lean

  •

  Apache License 2.0

  •11 fork in succinctlabs/sp1-lean•2727 stars in succinctlabs/sp1-lean•22 issues in succinctlabs/sp1-lean•11 pull request in succinctlabs/sp1-lean•Updated Sep 8, 2026Sep 8, 2026

• sp1-blobstream

  Public
  Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.

  Rust

  •1515 forks in succinctlabs/sp1-blobstream•2828 stars in succinctlabs/sp1-blobstream•00 issues in succinctlabs/sp1-blobstream•22 pull requests in succinctlabs/sp1-blobstream•Updated Sep 1, 2026Sep 1, 2026

• sail-riscv-lean

  Public
  Lean

  •1010 forks in succinctlabs/sail-riscv-lean•00 stars in succinctlabs/sail-riscv-lean•00 issues in succinctlabs/sail-riscv-lean•00 pull requests in succinctlabs/sail-riscv-lean•Updated Aug 20, 2026Aug 20, 2026

• riscv-lean

  Public
  Lean

  •11 fork in succinctlabs/riscv-lean•00 stars in succinctlabs/riscv-lean•00 issues in succinctlabs/riscv-lean•00 pull requests in succinctlabs/riscv-lean•Updated Aug 4, 2026Aug 4, 2026

• sp1-contracts

  Public
  Smart contracts for onchain verification of SP1.

  Solidity

  •4545 forks in succinctlabs/sp1-contracts•147147 stars in succinctlabs/sp1-contracts•66 issues in succinctlabs/sp1-contracts•66 pull requests in succinctlabs/sp1-contracts•Updated Aug 4, 2026Aug 4, 2026

• ethereum-consensus

  Public
  Rust

  •

  Apache License 2.0

  •6767 forks in succinctlabs/ethereum-consensus•00 stars in succinctlabs/ethereum-consensus•00 issues in succinctlabs/ethereum-consensus•00 pull requests in succinctlabs/ethereum-consensus•Updated May 26, 2026May 26, 2026

• clean

  Public
  Lean circuit DSL

  Lean

  •

  MIT License

  •3333 forks in succinctlabs/clean•00 stars in succinctlabs/clean•00 issues in succinctlabs/clean•00 pull requests in succinctlabs/clean•Updated May 24, 2026May 24, 2026

• veil-formal-verification

  Public
  Claude formal verification experiment for VEIL

  Lean

  •

  Apache License 2.0

  •00 forks in succinctlabs/veil-formal-verification•00 stars in succinctlabs/veil-formal-verification•00 issues in succinctlabs/veil-formal-verification•00 pull requests in succinctlabs/veil-formal-verification•Updated May 6, 2026May 6, 2026

• sp1-tee

  Public
  Rust

  •44 forks in succinctlabs/sp1-tee•2727 stars in succinctlabs/sp1-tee•00 issues in succinctlabs/sp1-tee•11 pull request in succinctlabs/sp1-tee•Updated May 5, 2026May 5, 2026

• sp1-ef-whitepaper

  Public
  A whitepaper conforming to the milestones for zkVM security proposed by the Ethereum Foundation

  TeX

  •22 forks in succinctlabs/sp1-ef-whitepaper•00 stars in succinctlabs/sp1-ef-whitepaper•00 issues in succinctlabs/sp1-ef-whitepaper•00 pull requests in succinctlabs/sp1-ef-whitepaper•Updated Apr 30, 2026Apr 30, 2026

• hokulea

  Public

  succinctlabs/hokulea’s past year of commit activity
  Rust

  •1818 forks in succinctlabs/hokulea•00 stars in succinctlabs/hokulea•00 issues in succinctlabs/hokulea•00 pull requests in succinctlabs/hokulea•Updated Apr 24, 2026Apr 24, 2026

• hana

  Public
  Celestia derivation pipeline and proof crate built with kona

  Rust

  •1010 forks in succinctlabs/hana•00 stars in succinctlabs/hana•00 issues in succinctlabs/hana•00 pull requests in succinctlabs/hana•Updated Apr 24, 2026Apr 24, 2026

• poseidon2

  Public
  Rust

  •

  Apache License 2.0

  •3434 forks in succinctlabs/poseidon2•00 stars in succinctlabs/poseidon2•00 issues in succinctlabs/poseidon2•00 pull requests in succinctlabs/poseidon2•Updated Apr 10, 2026Apr 10, 2026

• c2pa-rs

  Public
  Rust SDK for the core C2PA (Coalition for Content Provenance and Authenticity) specification

  Rust

  •

  Other

  •201201 forks in succinctlabs/c2pa-rs•00 stars in succinctlabs/c2pa-rs•00 issues in succinctlabs/c2pa-rs•00 pull requests in succinctlabs/c2pa-rs•Updated Mar 18, 2026Mar 18, 2026

• riscv-gnu-toolchain

  Public
  C/C++ toolchain for compiling to rv64im target

  00 forks in succinctlabs/riscv-gnu-toolchain•11 star in succinctlabs/riscv-gnu-toolchain•00 issues in succinctlabs/riscv-gnu-toolchain•00 pull requests in succinctlabs/riscv-gnu-toolchain•Updated Mar 3, 2026Mar 3, 2026

• ai-benchmark

  Public
  Python

  •00 forks in succinctlabs/ai-benchmark•11 star in succinctlabs/ai-benchmark•11 issue in succinctlabs/ai-benchmark•00 pull requests in succinctlabs/ai-benchmark•Updated Feb 26, 2026Feb 26, 2026