Repository · steady
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
stars
227
forks
101
contributors
51
open issues
13
nategraf
@nategraf
117
commits
Wollac
@Wollac
105
capossele
@capossele
57
austinabell
@austinabell
6
sasha-computer
@sasha-computer
morgangibbs87
@morgangibbs87
4
intoverflow
@intoverflow
3
flaub
@flaub
2
leopardracer
@leopardracer
kilavvy
@kilavvy
Patrici97
@Patrici97
buildbrett
@buildbrett
reject-i
@reject-i
1
VolodymyrBg
@VolodymyrBg
wlawt
@wlawt
aaronbuchwald
@aaronbuchwald
aso20455
@aso20455
bocalhky
@bocalhky
crStiv
@crStiv
eeemmmmmm
@eeemmmmmm
vtjl10
@vtjl10
geogrego
@geogrego
healthyyyoung
@healthyyyoung
bethoffman
@bethoffman
risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
boundless-xyz/zeth
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
risc0/zirgen
Zirgen compiler and RISC Zero circuits
risc0/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/risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
boundless-xyz/kailua
The Ultimate ZK Proving Software Suite for Securing OP Rollups
risc0/risc0-rust-examples
These RISC Zero examples have been moved to the main risc0/risc0 repository
boundless-xyz/risc0-solana
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
