Pinned Loading

1. sp1 sp1 Public

   SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

   Rust 1.5k 578

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

3. sp1-contracts sp1-contracts Public

   Smart contracts for onchain verification of SP1.

   Solidity 116 40

4. network network Public

   This is the monorepo for the Succinct Prover Network, a protocol on Ethereum that coordinates a distributed network of provers to generate zero knowledge proofs for any piece of software.

   Rust 46 27

5. op-succinct op-succinct Public

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

   Rust 192 108

6. rsp rsp Public

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

   Rust 138 79