A brief history of Ethereum hard forks