Mempool Vadászoktól a Matematikai Bizonyítékokig: Grvt $19M-ós Onchain Játéka