/risc0-metamath-15

Primary LanguageObjective-C++Apache License 2.0Apache-2.0

RISC Zero Rust Starter Template

Welcome to the RISC Zero Rust Starter Template! This template is intended to give you a starting point for building a project using the RISC Zero zkVM. Throughout the code are comments labelled TODO in places where we expect projects will need to modify the code.

TODO: Replace this README with a README for your project TODO: Verify whether the included .gitignore, LICENSE, and rust-toolchain files are appropriate to your project

Quick Start

First, make sure rustup is installed. This project uses a nightly version of Rust. The rust-toolchain file will be used by cargo to automatically install the correct version.

To build all methods and execute the method within the zkVM, run the following command:

cargo run

This is an empty template, and so there is no expected output (until you modify the code).

How to create a project based on this template

Search this template for the string TODO, and make the necessary changes to implement the required feature described by the TODO comment. Some of these changes will be complex, and so we have a number of instructional resources to assist you in learning how to write your own code for the RISC Zero zkVM:

Contributor's Guide

We welcome contributions to documentation and code via PRs and GitHub Issues on our main repository or any of our other repositories.

Video Tutorial

For a walk-through of how to build with this template, check out this excerpt from our workshop at ZK HACK III.

Questions, Feedback, and Collaborations

We'd love to hear from you on Discord or Twitter.