The Bitcoin cryptocurrency records transactions in a public log called the blockchain. Its security critically depends on the distributed protocol that maintains the blockchain, run by participants called miners. An attack was proposed that suggested the mining protocol is not...