RISC Zero

Fixing the Internet, one ZKP at a time

Pinned Repositories

battleship-example
A battleship game using ZKPs
Language:Rust43 5 67
demos
Language:HTML54 17 915
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Language:C++1.7k 52 552460
risc0-ethereum
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
Language:Rust107 17 7827
risc0-foundry-template
Template for integrating RISC Zero and Ethereum using Foundry
Language:Rust110 21 3562
risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Language:Lean60 21 04
risc0-rust-examples
These RISC Zero examples have been moved to the main risc0/risc0 repository
Language:Rust55 21 816
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.)
Language:Rust82 18 424
zeth
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
Language:Rust391 21 2577
zirgen
Zirgen compiler and RISC Zero circuits
Language:C++66 12 27

RISC Zero's Repositories

risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Language:C++1.7k 52 552460
risc0/zeth
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
Language:Rust391 21 2577
risc0/risc0-foundry-template
Template for integrating RISC Zero and Ethereum using Foundry
Language:Rust110 21 3562
risc0/risc0-ethereum
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
Language:Rust107 17 7827
risc0/zirgen
Zirgen compiler and RISC Zero circuits
Language:C++66 12 27
risc0/demos
Language:HTML54 17 915
risc0/risc0-solana
Language:Rust25 10 17
risc0/kailua
ZK Fault Proofs for Optimistic Rollups
Language:Solidity173
risc0/blobstream0
Language:Rust10 12 201
risc0/rz-security
3 2 00
risc0/risc0-ui
Building Blocks for Frontend/UI Components
Language:TypeScript2 11 01
risc0/rust
Empowering everyone to build reliable and efficient software.
Language:Rust2 2 02
risc0/RustCrypto-elliptic-curves
Collection of pure Rust elliptic curve implementations: NIST P-256, P-384, secp256k1
Language:Rust2 1 04
risc0/zkvm-compare
Language:Rust2 10 01
risc0/zkvm-perf
Language:Rust2 2 03
risc0/ghpages
Reports for RISC Zero
Language:JavaScript12
risc0/risc0-sppark
Zero-knowledge template library
Language:Cuda1 1 02
risc0/RustCrypto-hashes
Collection of cryptographic hash functions written in pure Rust
Language:Rust1 1 01
risc0/action-create-linear-issue
GitHub action that creates a Linear Issue based on inputs
risc0/action-find-or-create-linear-issue
This is a Github Action that finds or creates a Linear Issue for your Pull Request. The Linear Issue identifier (e.g. `ENG-123`) is prefixed to the title of the PR.
risc0/blst
Multilingual BLS12-381 signature library
Language:Assembly0 0
risc0/c-kzg-4844
Minimal 4844 version of c-kzg
1
risc0/ed25519-consensus
Ed25519 suitable for use in consensus-critical contexts.
risc0/ethereum_hashing
Hashing primitives used in Ethereum
Language:Rust
risc0/paritytech-bn
Pairing cryptography library in Rust
risc0/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Language:Rust
risc0/rust-lang-cc-rs
Rust library for build scripts to compile C/C++ code into a Rust library
risc0/RustCrypto-RSA
RSA implementation in pure Rust
Language:Rust
risc0/tiny-keccak
An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve
Language:Rust0 01
risc0/typos
Source code spell checker
Language:Rust0 0