The exchange that lost $1.46 billion to North Korean attackers is the first large centralized company to put numbers on a claim bitcoin builders have been making all month.