L'échange cryptographique sud-coréen Gdac a été piraté pour près de 13 millions de dollars.