The Synthetix protocol has recovered 8.4 million SNX tokens stolen in the Binance hack. Its protocolDAO stated that these tokens are securely stored in its Safe and will be returned upon Binance's request.