Vitalik Buterin lays out a two-part plan to overhaul Ethereum's execution layer from the ground up