Miles de millones de dólares en Bitcoin robados de Bitfinex en 2016 deberían ser devueltos al exchange, escribieron los federales en un archivo.