risc0

Prove your Bitcoin OG status in zero-knowledge

One substrate, many proofs. Trait-based on-chain verifier library for Solana supporting Groth16, PLONK, FRI-STARK, and Nova.

Project Sato - C2

Implementation of the Risc0 verifier for Stellar blockchain

Nullifier Counter in RISC Zero for apps on top of Rarimo Protocol.

A verifier for RISC Zero SNARK proofs written in Go

Verify TLSNotary proofs inside RISC0 zkVM to generate zk‐STARK of HTTPS session integrity

Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)

Our past experiments on zkTLS with RISC0 zkVM

Zescrow (for zero-knowledge escrow) is a trust-minimized, chain-agnostic implementation of an escrow program using the RISC Zero zkVM as the zero-knowledge prover/verifier

Setups and programs for zero-knowledge virtual machine benchmarking

Prove Blockchain State in Zero Knowledge

In an age when AI can make anything: prove "I put this out, on this day" in 10 seconds. A public testnet with hybrid Ed25519 + ML-DSA-44 signatures.

Nixified RISC Zero Packages (https://www.risczero.com/)

Signatureless ZK-proof covenant unlock on Kaspa L1 — RISC Zero → KIP-16, proven on TN10

Trust-minimized marketplace for content creators [🥇Lambda Hack Week '24]

a privacy focused ZK multi sig wallet powered by the risc0 stack

Verifiable blockchain security detection system using zero-knowledge proofs. CryptoHound monitors Near Protocol transactions for suspicious activity (wash trading, money laundering, bot activity) and generates cryptographic proofs that analysis was performed correctly. Built with Rust, risc0 zkVM, and React.

Experimenting with lightweight verifiable encryption with RISC Zero

Private-by-default M-of-N multisig for the Logos Execution Zone (RFP-005 prototype): authorisation core and LEZ 0.4 actor-model program, measured through LEZ's state machine.