$4,6 milioni in Filecoin 'depositati due volte' su Binance; exploit aperto su altri exchange

Non si tratta di una "vera" doppia spesa, ma ha importanza se i fondi possono ancora essere duplicati e scambiati in borsa?