Skip to content
@succinctlabs

Succinct

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.3k 486

  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 103 63

  3. sp1-contracts sp1-contracts Public

    Smart contracts for onchain verification of SP1.

    Solidity 89 22

  4. rsp rsp Public

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

    Rust 109 56

Repositories

Showing 10 of 85 repositories
  • 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 109 Apache-2.0 56 1 2 Updated May 4, 2025
  • optimism Public
    succinctlabs/optimism’s past year of commit activity
    Go 5 MIT 5 0 3 Updated May 3, 2025
  • 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,320 Apache-2.0 486 7 12 Updated May 2, 2025
  • op-succinct Public

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

    succinctlabs/op-succinct’s past year of commit activity
    Rust 158 Apache-2.0 70 0 6 Updated May 3, 2025
  • sp1-contracts Public

    Smart contracts for onchain verification of SP1.

    succinctlabs/sp1-contracts’s past year of commit activity
    Solidity 89 22 2 1 Updated Apr 30, 2025
  • overhead Public

    Measuring revm and wasmi overhead for SP1 programs.

    succinctlabs/overhead’s past year of commit activity
    Rust 2 4 0 0 Updated Apr 29, 2025
  • kona Public Forked from op-rs/kona

    A suite of libraries and build pipelines for developing verifiable Rust programs targeting Fault Proof VMs.

    succinctlabs/kona’s past year of commit activity
    Rust 0 MIT 82 0 3 Updated Apr 26, 2025
  • sp1-helios Public

    On-chain Ethereum light client built with SP1

    succinctlabs/sp1-helios’s past year of commit activity
    Rust 48 21 0 0 Updated Apr 24, 2025
  • 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 0 Apache-2.0 14 0 0 Updated Apr 22, 2025
  • sp1-contract-call Public

    Generates zero-knowledge proofs of Ethereum smart contract execution.

    succinctlabs/sp1-contract-call’s past year of commit activity
    Rust 31 Apache-2.0 7 1 2 Updated Apr 21, 2025
View all repositories

Most used topics

Loading…