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