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.4k 510

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 114 70

3. sp1-contracts sp1-contracts Public

   Smart contracts for onchain verification of SP1.

   Solidity 98 25

4. rsp rsp Public

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

   Rust 124 62