RISC Zero

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

risc0-lean4

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

tinygo

Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.

cargo

The Rust package manager

crossbeam

Tools for concurrent programming in Rust

toolchain

zk-benchmarking

comparing the performance of different zero-knowledge proof libraries

actions-bazelisk

add bazel in the build

lean-build-action

action-terraform

GitHub action for setting up Terraform https://terraform.io

actions-rs-toolchain

🛠️ GitHub Action for `rustup` commands

actions-setup-cmake

getrandom

A small cross-platform library for retrieving random data from (operating) system source

github-repo-stats

GitHub Action for advanced repository traffic analysis and reporting

link-checker

Find broken links, missing images, etc within your HTML.

tbb-sys

update-versions-action

An action to create and update lean-x.y.z release branches

zkp-compiler-shootout

Evaluating & benchmarking ZKP compilation strategies.