🎯
Focusing
Lists (3)
Sort Name ascending (A-Z)
Stars
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.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy