Skip to content
This repository has been archived by the owner on Dec 3, 2024. It is now read-only.

Latest commit

 

History

History
39 lines (26 loc) · 2.02 KB

README.md

File metadata and controls

39 lines (26 loc) · 2.02 KB

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

  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.