Ethereum leanVM verification complete; post-quantum security transition set to begin after December 2028
The Ethereum Foundation announced that leanVM has completed end-to-end formal verification, delivering outstanding performance and signaling the start of Ethereum’s transition to post-quantum security after December 2028. In the post-quantum era, Ethereum’s security gets an upgrade!
The Ethereum Foundation announced that leanVM has completed end-to-end formal verification, delivering outstanding performance and signaling the start of Ethereum’s transition to post-quantum security after December 2028. In the post-quantum era, Ethereum’s security gets an upgrade!