Pinned Repositories
battleship-example
A battleship game using ZKPs
bonsai-starter-template
demos
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
risc0-ethereum
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
risc0-foundry-template
Template for integrating RISC Zero and Ethereum using Foundry and Bonsai
risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
risc0-rust-examples
These RISC Zero examples have been moved to the main risc0/risc0 repository
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.)
zeth
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
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.
risc0/zeth
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
risc0/risc0-foundry-template
Template for integrating RISC Zero and Ethereum using Foundry and Bonsai
risc0/risc0-ethereum
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
risc0/battleship-example
A battleship game using ZKPs
risc0/demos
risc0/tinygo
Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.
risc0/risc0-ui
Building Blocks for Frontend/UI Components
risc0/RustCrypto-elliptic-curves
Collection of pure Rust elliptic curve implementations: NIST P-256, P-384, secp256k1
risc0/curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
risc0/rewritable-pr-comment
Github Action that posts a PR comment that re-writes itself on update
risc0/rust
Empowering everyone to build reliable and efficient software.
risc0/RustCrypto-crypto-bigint
Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas
risc0/RustCrypto-hashes
Collection of cryptographic hash functions written in pure Rust
risc0/toolchain
risc0/actions-cache
Cache to S3 storage with official actions/cache@v2 fallback
risc0/actions-cache-s3
Cache dependencies and build outputs in GitHub Actions (support S3 backend for @actions/cache)
risc0/cargo-install
GitHub action for cache-efficient Rust crates installation
risc0/cargo-semver-checks-action
A GitHub Action for running cargo-semver-checks
risc0/clippy-action
risc0/criterion-compare-action
⚡️📊 Compare the performance of Rust project branches
risc0/github-action-benchmark
GitHub Action for continuous benchmarking to keep performance
risc0/paths-filter
Conditionally run actions based on files modified by PR, feature branch or pushed commits
risc0/protoc-prebuilt
Protobuf compiler protoc pre-built binaries installer
risc0/risc0-sppark
Zero-knowledge template library
risc0/rust-cache
A GitHub Action that implements smart caching for rust/cargo projects
risc0/rz-security
risc0/setup-bun
Set up your GitHub Actions workflow with a specific version of Bun
risc0/smartcore
A comprehensive library for machine learning and numerical computing. The library provides a set of tools for linear algebra, numerical computing, optimization, and enables a generic, powerful yet still efficient approach to machine learning.
risc0/website-preview