Von Mempool-Jägern zu mathematischen Beweisen: Grvt’s $19M Onchain-Spiel