STARK101 Rust

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.

Structure:

• 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.

Fri resources:

• How to code fri from scratch
• A summary on the fri low degree testing