La vérification de leanVM d’Ethereum est achevée : la transition vers la sécurité post-quantique démarrera après décembre 2028
La Fondation Ethereum annonce l’achèvement de la vérification formelle de leanVM de bout en bout. Ses performances remarquables ouvrent la voie au lancement de la transition vers la sécurité post-quantique après décembre 2028. À l’ère post-quantique, la sécurité d’Ethereum passe à la vitesse supérieure !
La Fondation Ethereum annonce l’achèvement de la vérification formelle de leanVM de bout en bout. Ses performances remarquables ouvrent la voie au lancement de la transition vers la sécurité post-quantique après décembre 2028. À l’ère post-quantique, la sécurité d’Ethereum passe à la vitesse supérieure !