Skip to content

Pinned Loading

  1. sp1 Public

    The fastest, most feature-complete zkVM for developers.

    Rust 1.3k 464

  2. 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 56

  3. sp1-contracts Public

    Smart contracts for onchain verification of SP1.

    Solidity 85 19

  4. rsp Public

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

    Rust 91 43

Repositories

Showing 10 of 83 repositories
  • op-succinct Public

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

    Rust 149 Apache-2.0 62 2 4 Updated Mar 21, 2025
  • sp1 Public

    The fastest, most feature-complete zkVM for developers.

    Rust 1,276 Apache-2.0 464 8 10 Updated Mar 21, 2025
  • rsp Public

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

    Rust 91 Apache-2.0 43 1 1 Updated Mar 21, 2025
  • sp1-contract-call Public

    Generates zero-knowledge proofs of Ethereum smart contract execution.

    Rust 27 Apache-2.0 7 0 3 Updated Mar 21, 2025
  • sp1-vector Public

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

    Rust 15 7 0 1 Updated Mar 21, 2025
  • rust-fork Public Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    Rust 0 13,810 0 1 Updated Mar 18, 2025
  • optimism Public
    Go 5 MIT 4 0 11 Updated Mar 17, 2025
  • sp1-helios Public

    On-chain Ethereum light client built with SP1

    Rust 40 16 0 0 Updated Mar 15, 2025
  • rust Public
    Rust 4 5 0 0 Updated Mar 13, 2025
  • optimism-specs Public Forked from ethereum-optimism/specs

    OP Stack Specifications

    Just 1 CC0-1.0 129 0 0 Updated Mar 11, 2025