This repository contains a Rust implementation of the STARK 101 protocol, originally designed and authored by the StarkWare team. The protocol is used to generate a STARK proof for the 1023rd element of the FibonacciSq sequence over a finite field.
This educational project demonstrates how to create and verify STARK proofs in the Rust programming language. The STARK (Scalable Transparent ARgument of Knowledge) protocol is used to validate the calculation of a Fibonacci-Square sequence. Our goal is to facilitate a deeper understanding of STARK proofs and their applications in data integrity and blockchain technology.
The original tutorial, designed for Python, includes video lessons available here. This Rust implementation aims to broaden the audience and application of STARK proofs.
Refer to the original Python tutorial for a deep dive into the mathematical concepts behind the implementation. If you are new to Rust, we recommend going through the Rust documentation to get started.
Contributions to this project are welcome. Feel free to open an issue or submit a pull request if you find any bugs or have suggestions for improvements.
This project is open-sourced under the MIT License. See the LICENSE file for more details.
Please note: This repository is meant for educational purposes and is provided as-is. We, at Electi Consulting, hope that it will help you in your journey to learn more about STARK proofs and their application in various fields.