Repository · shipping
Zirgen compiler and RISC Zero circuits
stars
126
forks
31
contributors
16
open issues
59
mars-risc0
@mars-risc0
33
commits
jacobdweightman
@jacobdweightman
25
shkoo
@shkoo
flaub
@flaub
17
jbruestle
@jbruestle
tzerrell
@tzerrell
14
iddo-bentov
@iddo-bentov
9
nategraf
@nategraf
4
morgangibbs87
@morgangibbs87
bobbobbio
@bobbobbio
3
codygunton
@codygunton
2
cypherpepe
@cypherpepe
1
SchmErik
@SchmErik
dizer-ti
@dizer-ti
mothran
@mothran
justinfrevert
@justinfrevert
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/risc0-ethereum
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
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.
