aiqbench analysis
The article's main subject is post-quantum cryptography for Ethereum: a hash-based signature scheme (leanXMSS) meant to replace BLS, with leanVM formally verified and a December 2028 transition target. For quantum readers, the key point is that a concrete migration deadline now exists, though the claims of verification and throughput come from the Ethereum Foundation and have not been independently assessed. Watch whether the scheduled network forks hold to the 2028 timeline.
Ethereum’s leanVM is now formally verified for quantum resistance
Ethereum’s leanVM, a minimal zkVM, is now formally verified for quantum resistance, targeting a December 2028 transition.
Ethereum has achieved end-to-end formal verification of leanVM, a key component in its plan to defend against future quantum computing threats, the company says. The minimal zkVM currently handles over 1,000 leanXMSS aggregations per second,…
Excerpt shown under the publisher's RSS terms · 35 words · full text and figures are on the publisher's site
Related coverage
Ethereum Price Eyes $2, 800 as Buterin Maps Quantum - Safe Future
econotimes.com · Sep 28, 2026
Vitalik Buterin Backs Ethereum Hash - Based Quantum Security Plan
econotimes.com · Oct 19, 2026
Post-Quantum Cryptography Timelines: When Will Organizations Migrate?
The Quantum Insider · Aug 7, 2026
XRPL targets 2028 quantum upgrade, with no roadmap yet
Quantum Zeitgeist · Sep 16, 2026