leanVM Completes End-to-End Formal Verification, Ethereum's Full Post-Quantum Security Transition Targeted for December 2028

Odaily — Ethereum Foundation researcher Justin Drake announced on November 3 that leanVM has achieved end-to-end formal verification. leanVM is a minimalist zkVM designed to efficiently aggregate hash-based post-quantum signatures and package multisignatures into compact proofs, capable of processing over 1,000 leanXMSS aggregations per second; leanXMSS is the hash-based signature scheme planned to replace BLS at the consensus layer. At Devcon 8, Drake adjusted the target timeline for Ethereum's full transition to post-quantum security to December 2028, in order to leave room for the network forks required for the transition.