Vitalik Buterin has published an updated set of technical priorities for Ethereum, elevating post-quantum cryptography, user privacy, and AI-assisted formal verification well above where they sat in his original 2023 roadmap. The Ethereum co-founder framed the update as a comparison between that earlier plan and what he now calls the network's "Strawmap" — a working outline of long-term technical direction rather than a fixed commitment.
The reprioritization reflects how much the threat landscape has shifted in three years. Where the 2023 roadmap treated scaling and account abstraction as the dominant concerns, Buterin's update singles out "stronger privacy and scaling designed for a post-quantum world" and a "lean-ification of the spec" as new priorities, alongside specialized scaling mechanisms built for specific, restrictive use cases rather than one-size-fits-all throughput.
Why quantum resistance jumped the queue
The urgency echoes a broader shift underway across the cryptography world. NIST's post-quantum cryptography program finalized its first hardened standards in 2024 and has told organizations to begin migrating immediately, with legacy schemes like RSA-2048 and ECC-256 slated for deprecation by 2030 and disallowed entirely after 2035. The concern driving that timeline — and Buterin's own repositioning — is what researchers call "harvest now, decrypt later": an adversary can record encrypted blockchain traffic or signatures today and decrypt them once a sufficiently powerful quantum computer exists, meaning the migration has to start well before the actual threat materializes. Bitcoin's own developer community has been running a parallel effort, with a dedicated working group of roughly 20 contributors building post-quantum proposals for that protocol as of this year.
Leaning on AI to verify what humans can't
Buterin also elevated AI-assisted formal verification as a core dependency for Ethereum's next phase, tying it directly to the network's growing reliance on STARKs — a cryptographic method for proving computations were executed correctly without re-running them. "This can only be safe with formal verification, which is itself only feasible with modern AI tools," he wrote, arguing that as Ethereum's cryptographic stack grows more complex, only AI-augmented tooling can realistically audit it at the pace development now moves.
Related: Bitmine's ETH Stack Nears 5% of Supply as Holdings Hit $11.6B
Part of a longer pattern
The update builds on positions Buterin has staked out repeatedly this year: in January he urged developers to begin adopting quantum-resistant cryptography ahead of any concrete threat, in February he detailed a phased plan to replace four cryptographic components exposed to quantum attacks, and in July he placed quantum safety and privacy at the center of his proposed "Lean Ethereum" overhaul. Taken together, the message is consistent even as the framing evolves: as Buterin put it, "Ethereum will be quantum-safe. Ethereum will put users' privacy first. Ethereum will be secure... Ethereum will be censorship-resistant. Ethereum will be highly performant and scalable while satisfying the above." Whether the network can deliver on all five properties simultaneously remains the open engineering question behind the announcement, and one that will likely play out across multiple future hard forks rather than in a single release, an area where the intersection of AI tooling and crypto-native security is drawing increasing scrutiny well beyond Ethereum alone.
