Ethereum leanVM verification completed, paving the way for a post-quantum security transition after December 2028
The Ethereum Foundation announced that leanVM has completed end-to-end formal verification and delivers outstanding performance, heralding the start of Ethereum’s post-quantum security transition after December 2028. Ethereum’s security gets another upgrade for the post-quantum era!
The Ethereum Foundation announced that leanVM has completed end-to-end formal verification and delivers outstanding performance, heralding the start of Ethereum’s post-quantum security transition after December 2028. Ethereum’s security gets another upgrade for the post-quantum era!