Skip to content
@succinctlabs

Succinct

Pinned Loading

  1. sp1 sp1 Public

    The fastest, most feature-complete zkVM for developers.

    Rust 1.3k 466

  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 96 57

  3. sp1-contracts sp1-contracts Public

    Smart contracts for onchain verification of SP1.

    Solidity 86 20

  4. rsp rsp Public

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

    Rust 96 46

Repositories

Showing 10 of 83 repositories
  • op-succinct Public

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

    succinctlabs/op-succinct’s past year of commit activity
    Rust 151 Apache-2.0 63 2 7 Updated Mar 29, 2025
  • sp1 Public

    The fastest, most feature-complete zkVM for developers.

    succinctlabs/sp1’s past year of commit activity
    Rust 1,280 Apache-2.0 466 9 9 Updated Mar 29, 2025
  • sp1-solana Public
    succinctlabs/sp1-solana’s past year of commit activity
    Rust 24 MIT 11 0 2 Updated Mar 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 67 0 2 Updated Mar 28, 2025
  • 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 96 Apache-2.0 46 0 2 Updated Mar 28, 2025
  • optimism Public
    succinctlabs/optimism’s past year of commit activity
    Go 5 MIT 4 0 12 Updated Mar 28, 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 29 Apache-2.0 7 0 2 Updated Mar 24, 2025
  • sp1-vector Public

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

    succinctlabs/sp1-vector’s past year of commit activity
    Rust 16 8 0 1 Updated Mar 21, 2025
  • rust-fork Public Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    succinctlabs/rust-fork’s past year of commit activity
    Rust 0 13,842 0 1 Updated Mar 18, 2025
  • sp1-helios Public

    On-chain Ethereum light client built with SP1

    succinctlabs/sp1-helios’s past year of commit activity
    Rust 42 17 0 0 Updated Mar 14, 2025
View all repositories

Most used topics

Loading…