Tristan de Kerautem's Highlights on 'STARKs, Part I: Proofs with Polynomials' | Glasp