Buterin Argues for an Extremely Lean Ethereum Base Layer

Vitalik Buterin wants Ethereum's consensus layer to remember almost nothing. In a post titled "The Extremely Lean Chain", published to the ethresear.ch forum on July 6, he set out how the chain could shed nearly all of its permanent state. The post updates the Lean Ethereum strawmap he first put out in February 2026, and it comes in two phases: replace the per-epoch accounting of every validator's balance with a single daily proof from each validator, then rotate validator keys daily so the network's participant list becomes anonymous. The result, Buterin argued, would be a near-stateless beacon chain able to "scale to millions of validators," clearing the path to single-slot finality and post-quantum cryptography. He put the timeline at three to four years. Within hours, other researchers had broadly endorsed the direction. The timeline fared worse.

What the chain currently has to remember

Validator state is the record every Ethereum node keeps of who is staking and how much: each validator's balance and status, plus the bookkeeping that adjusts those balances as rewards and penalties accrue. That accounting runs every epoch, so the chain rewrites a large table of numbers on a fixed cycle whether or not much has changed. The cost scales with the number of validators, not with the work they do, and that is one reason the consensus layer is hard to grow. Shrinking it is the object of the proposal.

The first phase swaps that per-epoch update for one daily ZK-STARK proof from each validator. A ZK-STARK is a cryptographic proof that lets one party demonstrate a computation was performed correctly without the verifier redoing it, and without revealing the inputs; here, each validator would prove its own day's worth of duties and rewards and hand the chain the result. The chain would then need to store roughly 6 bytes per validator, a pointer to a proven position in place of a full balance record. At that size the validator set stops being a scaling constraint, and millions of validators become arithmetically conceivable instead of merely desirable.

Keys that rotate daily

The second phase applies daily rotation to validator keys, producing what Buterin described as "a daily rotating, unlinkable list" of anonymous validator identities. Today a validator's public key is a stable identifier that can be watched across time and, in some cases, tied to an operator or an IP address, which makes it a censorship and targeting surface as much as a privacy one. Rotating keys each day breaks the link between one day's participation and the next. Buterin frames Hegotá, an upgrade still being assembled, as likely the last fork that is thematically < "pre-Lean" — the work after it would be aimed at this architecture rather than at extending the current one.

The Response: Agreement on Direction, Objection to Pace

The pushback that followed was about speed rather than substance. Eli Ben-Sasson of StarkWare said "'3-4 years' as the timeline is way too long." Dankrad Feist, a former Ethereum Foundation researcher, called the vision "really cool" but said "3-4 years is very slow," arguing the work could be done in roughly a year. Barnabé Monnot of the Ethereum Foundation took a different tack and published a diff showing what had changed between the February strawmap and this version. That is the sort of artifact that makes a research proposal reviewable. Nobody prominent argued the chain should keep its current validator accounting.

A post, not a specification

What Buterin published is a research post, not an EIP or a client specification, and neither phase had a proving system, a testnet or an implementation attached at the time of writing. The timing puts it against an unusual organizational backdrop: the essay arrived days after ecosystem work moved outside the Foundation into a separate nonprofit, itself a consequence of the Foundation narrowing its focus in late June. Long-horizon protocol research is one of the functions the Foundation kept, and a three-to-four-year roadmap is a claim on those resources. The concrete thing to watch is the gap between Buterin's timeline and the one-year alternative Feist proposed. It decides whether Hegotá is followed by incremental forks or by the first Lean one.