Skip to content

Pinned Loading

  1. sp1 sp1 Public

    The fastest, most feature-complete zkVM for developers.

    Rust 1.2k 411

  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 87 43

  3. sp1-contracts sp1-contracts Public

    Smart contracts for onchain verification of SP1.

    Solidity 74 14

  4. rsp rsp Public

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

    Rust 75 32

Repositories

Showing 10 of 79 repositories
  • op-succinct Public

    OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.

    succinctlabs/op-succinct’s past year of commit activity
    Rust 121 Apache-2.0 49 2 10 Updated Feb 7, 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 53 0 1 Updated Feb 7, 2025
  • maili Public Forked from op-rs/maili

    Rust implementation of the OP protocol

    succinctlabs/maili’s past year of commit activity
    Rust 0 Apache-2.0 7 0 0 Updated Feb 7, 2025
  • sp1 Public

    The fastest, most feature-complete zkVM for developers.

    succinctlabs/sp1’s past year of commit activity
    Rust 1,168 Apache-2.0 411 9 15 Updated Feb 7, 2025
  • sp1-tendermint-example Public

    An example of a ZK Tendermint light client on Ethereum powered by SP1.

    succinctlabs/sp1-tendermint-example’s past year of commit activity
    Rust 26 MIT 13 0 0 Updated Feb 7, 2025
  • optimism Public
    succinctlabs/optimism’s past year of commit activity
    Go 4 MIT 3 0 7 Updated Feb 6, 2025
  • succinctlabs/optimism-design-docs’s past year of commit activity
    0 MIT 29 0 0 Updated Feb 4, 2025
  • optimism-specs Public Forked from ethereum-optimism/specs

    OP Stack Specifications

    succinctlabs/optimism-specs’s past year of commit activity
    Just 1 CC0-1.0 117 0 0 Updated Feb 4, 2025
  • sp1-blobstream Public

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

    succinctlabs/sp1-blobstream’s past year of commit activity
    Rust 16 7 0 2 Updated Jan 30, 2025
  • sp1-contracts Public

    Smart contracts for onchain verification of SP1.

    succinctlabs/sp1-contracts’s past year of commit activity
    Solidity 74 14 0 0 Updated Jan 30, 2025