Van Mempool Hunters tot Wiskundige Bewijzen: Grvt’s $19M Onchain Spel