lita-xyz / rust-examples

Apache License 2.0
12 stars 2 forks source link

Rust-Examples

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

  5. Random Number Guessing Game

  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.