Lean Ethereum Is a Four-Year Bet on Proofs, Privacy, and Cheap State

Vitalik Buterin published the Lean Ethereum strawmap, a three-to-four-year plan to replace almost every major piece of the protocol: verification instead of re-execution, privacy, quantum-safe cryptography, and a tiered state model that could cut token fees.