从内存池猎人到数学证明：Grvt的$1900万链上行动