This repository contains rust version of Stark 101 by Starkware.
I have added comments here and there explaining the code, but I recommend going through the stark101 videos, slides and github for better understanding.
The only changes I have made are for parallel computing lagrange polynomials, and implemented the verifier.
- main.rs - Code for executing prover and verifier.
- utils.rs - All the useful functions are here.
- field - A minimal module for filed operations.
- polynomial - A minimal module for polynomials in a field.
- merkle tree - A wrapper around, rs_merkle crate.
- channel - Simulates prover and verifier inteactions.
- verifier - verifier for verifying fibonnaci square programe.