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.3k 503

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 107 67

3. sp1-contracts sp1-contracts Public

   Smart contracts for onchain verification of SP1.

   Solidity 93 24

4. rsp rsp Public

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

   Rust 117 61