A $5 Billion Cryptocurrency Has Enraged Cryptographers