its IDREES's Highlights on 'valida-xyz/valida: A STARK-based VM focused on code reuse, performance, and modularity' | Glasp