RISC Zero
RISC Zero
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
risc0-rust-starter
This repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Zero zkVM.)
risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
risc0-foundry-template
Template for integrating RISC Zero and Ethereum using Foundry
risc0-rust-examples
These RISC Zero examples have been moved to the main risc0/risc0 repository
zeth
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
risc0-ethereum
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.