Buterin's post argues that in order to boost performance of Ethereum's execution layer, the network needs to boost the efficiency of the EVM proving process.