Stars
Template for integrating RISC Zero and Ethereum using Foundry
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
This repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Zero zkVM.)