The Dao attack and Ethereum's hard fork