I'm often asked for STARK Math links, here's a LONG thread on that
Overview [Beginner]
Arithmetization [Beginner] starkware.co/videos/starks-…
Arithmetization [Beginner], another link
Low degree testing [Beginner]
Cambrian explosion of crypto proofs [Beginner] - Blog medium.com/starkware/the-…
Cambrian Explosion of Crypto Proofs talk [Beginner]
FFT, FRI and STARK [Advanced]
Soundness analysis [Advanced]
FRI [Advanced]
Proximity gaps [Advanced]
STARK math blog series starkware.co/resources-cate…
Stark Math Blog Part I [Intermediate] medium.com/starkware/star…
Stark Math Blog Part II [Intermediate] medium.com/starkware/arit…
Stark Math Blog Part III [Intermediate] medium.com/starkware/arit…,
Stark Math Blog Part IV [Intermediate] medium.com/starkware/low-…,
Stark Math Blog Part V [Intermediate] medium.com/starkware/a-fr…]
Finally, the academic papers [very advanced].
Start by reading only abstract and introduction, might be enough (or even too hard)
The STARK whitepaper eprint.iacr.org/2018/046.pdf
Start by reading only abstract and introduction, might be enough (or even too hard)
The STARK whitepaper eprint.iacr.org/2018/046.pdf
State of art STARK protocol, as actually used by our systems [very advanced]: see section 5 of this paper eprint.iacr.org/2021/582
FRI protocol [very advanced] - a main component of STARKs eccc.weizmann.ac.il/report/2017/13…
State of art soundness analysis [very advanced] eccc.weizmann.ac.il/report/2020/08…
DEEP FRI and DEEP STARK [very advanced] arxiv.org/abs/1903.12243
@VitalikButerin STARK blog series - I [intermediate] vitalik.ca/general/2017/1…
@VitalikButerin STARK blog series - II [intermediate] vitalik.ca/general/2017/1…
@VitalikButerin STARK blog series - III [intermediate] vitalik.ca/general/2018/0…
STARK 101 online course starkware.co/developers-com…
zero knowledge proofs en.wikipedia.org/wiki/Zero-know… from wikipedia
Summer school on Interactive proofs, IOPs, ZK and PCP
See Lectures A.1, A.2, A.5, A.7 onwards very useful, by Alessandro Chiesa youtube.com/playlist?list=…
See Lectures A.1, A.2, A.5, A.7 onwards very useful, by Alessandro Chiesa youtube.com/playlist?list=…
Lectures by @tomgur B.1-B.7, the parts about FRI are especially useful because FRI is a major component of our STARK systems
youtube.com/playlist?list=…
youtube.com/playlist?list=…
Exercises and worksheets for that course drive.google.com/drive/folders/…
END OF THREAD
• • •
Missing some Tweet in this thread? You can try to
force a refresh
