Buterin pitches solutions to Ethereum’s staking, block production issues