STARK 101
STARK 101 is a hands-on tutorial on how to write a STARK prover from scratch (in Python).
1
STATEMENT, LOW DEGREE EXTENSION, AND COMMITMENT
2
POLYNOMIAL CONSTRAINTS
3
FRI COMMITMENT
4
FRI QUERIES
Each section has a short explainer video and a Jupyter practice Notebook. To use the Notebook, you can either install it locally via our GitHub repository, or run it online via Binder.
The tutorial assumes familiarity with Python and some mathematical background (including finite field arithmetics).
STARK 101 was originally a live workshop, held in Tel Aviv in September 2019 as part of StarkWare Sessions.
To run the tutorial online via Binder Start Here