its IDREES's Highlights on 'The Tip5 Hash Function for Recursive STARKs - YouTube' | Glasp