Skip to content

Pinned Loading

  1. sp1 sp1 Public

    The fastest, most feature-complete zkVM for developers.

    Rust 1.1k 394

  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 81 41

  3. sp1-contracts sp1-contracts Public

    Smart contracts for onchain verification of SP1.

    Solidity 65 13

  4. rsp rsp Public

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

    Rust 70 30

Repositories

Showing 10 of 78 repositories
  • rust Public
    succinctlabs/rust’s past year of commit activity
    Rust 3 5 0 0 Updated Jan 8, 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 15 7 0 3 Updated Jan 8, 2025
  • sp1 Public

    The fastest, most feature-complete zkVM for developers.

    succinctlabs/sp1’s past year of commit activity
    Rust 1,131 Apache-2.0 394 13 (1 issue needs help) 39 Updated Jan 8, 2025
  • sp1-vector Public

    Implementation of Vector, Avail's data attestation bridge, in SP1.

    succinctlabs/sp1-vector’s past year of commit activity
    Rust 15 8 0 2 Updated Jan 8, 2025
  • sp1-contracts Public

    Smart contracts for onchain verification of SP1.

    succinctlabs/sp1-contracts’s past year of commit activity
    Solidity 65 13 0 2 Updated Jan 8, 2025
  • 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 115 Apache-2.0 41 5 9 Updated Jan 8, 2025
  • 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 81 MIT 41 0 7 Updated Jan 7, 2025
  • optimism Public
    succinctlabs/optimism’s past year of commit activity
    Go 4 MIT 3 0 7 Updated Jan 6, 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 104 0 0 Updated Jan 6, 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 50 1 2 Updated Dec 25, 2024