Buterin proposes binary state trees and eventual RISC-V VM shift to improve Ethereum's proving efficiency and execution simplicity.