risc0

A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover

Prove your Bitcoin OG status in zero-knowledge

Implementation of the Risc0 verifier for Stellar blockchain

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

Project Sato - C2

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

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

Experimenting with lightweight verifiable encryption with RISC Zero

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.

Minimal AI-powered W3bstream prover demo built with Rust and Risc Zero