Från Mempool Hunters till Matematiska Bevis: Grvt:s $19M Onchain Spel