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

Project Sato - C2

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

Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)

A verifier for RISC Zero SNARK proofs written in Go

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

Setups and programs for zero-knowledge virtual machine benchmarking

Our past experiments on zkTLS with RISC0 zkVM

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

Prove Blockchain State in Zero Knowledge

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

STARK proof system developed by Ciphercurve

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

Experimenting with lightweight verifiable encryption with RISC Zero

Verify TLSNotary proofs of HTTPS session integrity inside the RISC0 zkVM, and publish the resulting zero-knowledge proof on-chain

Project Sato - C2

A fw+back NTT benchmark with 512 random values to be run on Risc0

A program to do risc0 recursion(prove, lift, join, compress, ...)

Premature Kairos Fork

Client agent for Wholesum network