sp1

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.

Zero-Knowledge DNSSEC Validation for Trustless, Private DNS

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

Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)

A mini Solana layer2 (network extension) project.

Setups and programs for zero-knowledge virtual machine benchmarking

A rust client for interacting with the Sindri API.

Lean-specified zkTEE: measured guest execution, hashed receipts, lean-grpc APIs

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.

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

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

Experimenting with lightweight verifiable encryption with Succinct SP1

Benchmarks for substrate-bn primitives inside a SP1 circuit

Verifiable rites of agent work on Ritual Chain. Every workflow is a rite: performed in order, witnessed, sealed.

Compliance as on-chain primitives — privacy & AI governance ZK attestations across 17 jurisdictions, 70+ countries. 14 Anchor programs, SP1 v6 Groth16 verifier. The HTTPS of compliance. MIT.