I recommend Alan Szepieniec's series of posts for a clear, direct mathematical description of how they work - https://aszepieniec.github.io/stark-anatomy/

Vitalik also has this more informal series of explainer posts - https://vitalik.eth.limo/general/2017/11/09/starks_part_1.ht...