This is an example of how to use the Valida API to run Valida programs, prove their executions, and verify those proofs. You can use this as a starting point, or a point of reference, for making your own programs which use the Valida API.

Prerequisites

You must have Rust installed. You must have the Valida toolchain, version 0.9.0-alpha or newer, installed.

Usage

To run the example, simply cargo run --release.

Issue reporting

Any issues report at https://github.com/lita-xyz/valida-releases/issues