A proposed Polygon hard fork to recover stolen Binance and Polymarket funds would zero out five attacker-controlled addresses and transfer matching amounts to verified recovery accounts controlled by Binance and Polymarket at a predetermined block number