De Caçadores de Mempool a Provas Matemáticas: o Jogo Onchain de $19M da Grvt