Vitalik Buterin says Ethereum should separate what transactions do from what they must prove, a design path that could reduce repeated validation work but is not a live upgrade.