The design of the Bitcoin difficulty adjustment algorithm (DAA) is vulnerable as it dismisses miners' responses to policy changes. We develop an economic model of the Proof-of-Work blockchain system. Our model allows miners to pause operation when it is not profitable. Hence, the supply of...