Too Long; Didn't Read
An Indepth Technical Analysis of STARK, the proof system.
It broadly consists of 3 major steps, Building Trace, Prover for Trace and Verifying the Proof. Step 2, "Prover for Trace" consists of 9 sub steps starting from 'AIR Instantiation' to 'Establishing Proof Objects'.
And Step 3, "Verifying the Proof" consists of 4 sub steps namely, 'Ood consistency check', 'Instantiate the FRI-verifier object', 'Calculate Deep poly on query positions' and 'Execute the FRI VERIFY process'.