Rust-Examples

ATTENTION: This repository is archived. For the latest versions of these examples, please see the latest release bundle for the Valida toolchain.

General Description

This project is a collection of various applications built using the Valida framework, which allows for the execution of Rust code with proofs of correctness. Each application serves as a template for demonstrating different functionalities, from simple calculations to more complex algorithms like Conway's Game of Life. The goal of this project is to provide a set of examples that can be used as a foundation for developing more advanced applications while ensuring correctness through formal verification.

This documentation provides an overview of the various projects in this directory, along with links to their respective README files for detailed instructions and usage.

Projects

1. Fibonacci

   • Description: A template project for calculating the n-th Fibonacci number and proving the execution of the computation in Valida.
   • Read the README

2. Hello World

   • Description: A simple program that prints "Hello, World!" in Valida.
   • Read the README

3. Conway's Game of Life

   • Description: A program that plays Conway's Game of Life and proves the execution of the computation in Valida.
   • Read the README

4. Simple Calculator

   • Description: A simple calculator program on Valida.
   • Read the README

5. Random Number Guessing Game

   • Description: A random number guessing game on Valida.
   • Read the README

6. JSON Path Contains

   • Description: A project to prove a JsonPath contains a value.
   • Read the README

Conclusion

For more information on each project, please refer to the linked README files. Each project contains specific instructions on setup, usage, and system requirements.