La vérification de leanVM pour Ethereum est terminée : la transition vers la sécurité post-quantique débutera après décembre 2028
La Fondation Ethereum a annoncé l’achèvement de la vérification formelle de bout en bout de leanVM. Ses performances exceptionnelles annoncent le lancement, après décembre 2028, de la transition vers la sécurité post-quantique. À l’ère post-quantique, la sécurité d’Ethereum passe à la vitesse supérieure !
La Fondation Ethereum a annoncé l’achèvement de la vérification formelle de bout en bout de leanVM. Ses performances exceptionnelles annoncent le lancement, après décembre 2028, de la transition vers la sécurité post-quantique. À l’ère post-quantique, la sécurité d’Ethereum passe à la vitesse supérieure !