Ethereum leanVM verification completed, 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, heralding the start of the post-quantum security transition after December 2028. Ethereum’s security gets another upgrade for the post-quantum era!
The Ethereum Foundation announced the completion of end-to-end formal verification for leanVM, with outstanding performance, heralding the start of the post-quantum security transition after December 2028. Ethereum’s security gets another upgrade for the post-quantum era!