On August 10 Vitalik Buterin published an updated overlay of his 2023 Ethereum roadmap against the Foundation’s current Strawmap, the living draft of L1 work through the rest of the decade. The striking part, in his own words, is not the reshuffled old items. It is the set of priorities that were not on the 2023 diagram at all.

Strong privacy now sits in the first tier: keyed nonces, recent roots, pieces of FOCIL, lean privacy pools, and wormholes that move value without exposing a full history. Quantum safety is explicitly up-prioritized, including leanSPHINCS signatures and aggregation paths. Lean-ification of the spec is framed as necessary for formal verification of everything, which he says only becomes feasible with modern AI tools. Native rollups, blob and gas futures, and a more open future for the EVM via leanISA or RISC-V also appear as mature bets rather than side notes.

The Strawmap itself remains a draft invitation for researchers, not a locked ship date. That is fine. Protocol politics often fail when slides pretend to be contracts. What changed is the north star language: quantum-safe, privacy-first, censorship-resistant, scalable, and Lean at once.

Watch whether FOCIL and privacy work keep calendar priority through Hegota-era planning, and whether formal-verification tooling becomes a gating item for features instead of a slide appendix.