Buterin Reveals Ethereum's Quantum Security Priorities in Updated Roadmap

Ethereum co-founder Vitalik Buterin has shared an update on his 2023 roadmap, revealing that the project has shifted its priorities towards quantum security and AI-assisted formal verification.

In a post on X, Buterin compared the original goals of his 2023 roadmap to the current 'Strawmap', a working outline of Ethereum's long-term technical priorities. He noted that some new items have been added to the Strawmap, reflecting changing priorities.

According to Buterin, quantum resistance and privacy are now top priorities for Ethereum, with efforts underway to push the 'lean-ification of the spec', simplifying Ethereum's technical specifications.

The project is increasingly relying on STARKs, a cryptographic technology used to verify computations, and AI-assisted verification to ensure that the protocol works as intended. Buterin emphasized the importance of formal verification in this process.