Muir Glacier : hard fork d’Ethereum le 1er janvier 2020, explications