Explore @risc0 Open Source projects

RISC Zero (@risc0)

risc0

Stars
988
Global Org. Rank 15,451 (Top 5 %)
Registered about 3 years ago
Most used languages

Rust
55.6 %

TeX
11.1 %

Lean 11.1 %

C++
11.1 %

TypeScript
11.1 %

risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

zeth

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

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-rust-examples

These RISC Zero examples have been moved to the main risc0/risc0 repository

battleship-example

A battleship game using ZKPs

risc0-lean4

A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover

bonsai-starter-template

website

risc0-ui

Building Blocks for Frontend/UI Components