Buterin previously said the upgrades included in Lean Ethereum will form the protocol's “third major iteration.”