Skip to content

Pinned Loading

  1. sp1 Public

    The fastest, most feature-complete zkVM for developers.

    Rust 1.2k 453

  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 94 51

  3. sp1-contracts Public

    Smart contracts for onchain verification of SP1.

    Solidity 80 17

  4. rsp Public

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

    Rust 88 41

Repositories

Showing 10 of 81 repositories
  • kona Public Forked from op-rs/kona

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

    Rust 0 MIT 62 0 2 Updated Mar 5, 2025
  • optimism Public
    Go 5 MIT 4 0 11 Updated Mar 5, 2025
  • rsp Public

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

    Rust 88 Apache-2.0 41 2 4 Updated Mar 5, 2025
  • sp1 Public

    The fastest, most feature-complete zkVM for developers.

    Rust 1,246 Apache-2.0 453 6 (1 issue needs help) 25 Updated Mar 5, 2025
  • op-succinct Public

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

    Rust 143 Apache-2.0 59 2 10 Updated Mar 5, 2025
  • sp1-tendermint-example Public

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

    Rust 27 MIT 13 0 0 Updated Mar 5, 2025
  • Rust 7 3 0 1 Updated Mar 4, 2025
  • sp1-contracts Public

    Smart contracts for onchain verification of SP1.

    Solidity 80 17 3 0 Updated Mar 4, 2025
  • rust Public
    Rust 3 5 0 0 Updated Mar 3, 2025
  • reth Public Forked from paradigmxyz/reth

    Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

    Rust 1 Apache-2.0 1,489 0 0 Updated Mar 1, 2025

Most used topics

Loading…