Buterin wants Ethereum to do far more work without forcing every computer on the network to repeat the same calculations.