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

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

Our past experiments on zkTLS with RISC0 zkVM

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

Prove Blockchain State in Zero Knowledge

Setups and programs for zero-knowledge virtual machine benchmarking

Experimenting with lightweight verifiable encryption with RISC Zero

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

Project Sato - C2

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

A small utility to segment Risc0 elfs

Toyni is a new, emerging ZK proof system in Rust, developed by Ciphercurve.

Client agent for Wholesum network

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

Premature Kairos Fork

Server agent for Wholesum network