The official multi-GPU proving service implementation for SP1, designed for the cloud and bare metal deployment.

sp1 tutorial (ms nampac)

Basic Groth16 SnarkJS verifier compatible with SP1.

Recursive ZK Light Client operator for Tendermint, Ethereum, ...

Zero-Knowledge DNSSEC Validation for Trustless, Private DNS

Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)

Setups and programs for zero-knowledge virtual machine benchmarking

A rust client for interacting with the Sindri API.

A mini Solana layer2 (network extension) project.

STARK proof system developed by Ciphercurve

M3terchain Prover client

An order book dex powered by zkVM (and BFT)

Prove Blockchain State in Zero Knowledge

General aspects of the modern tester in the new world of the Pipelines and how Spring & Spring Cloud help in the context of any Digital Transformation project.

Benchmarks for substrate-bn primitives inside a SP1 circuit

Experimenting with lightweight verifiable encryption with Succinct SP1

Zero-knowledge proof circuit implementations for secure blockchain state verification.

Nix flake overlay packaging SP1 zero-knowledge proof tools (cargo-prove + Rust toolchain) for reproducible builds

zkvm + ml to proof apple

An experimental cross-chain custody protocol that uses SP1 ZKVM to verify post-quantum ML-DSA signatures off-chain, routing the resulting pure-STARK execution intents across EVM networks via Chainlink CCIP.