sp1 tutorial (ms nampac)

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

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.

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.

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

Benchmarks for substrate-bn primitives inside a SP1 circuit

Experimenting with lightweight verifiable encryption with Succinct SP1

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

Team project - analysis

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.

A playing ground for proving a simple program on the SP1 zkVM.