La vérification de leanVM pour Ethereum est achevée : la transition vers la sécurité post-quantique démarre 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 remarquables annoncent le 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 a annoncé l’achèvement de la vérification formelle de bout en bout de leanVM. Ses performances remarquables annoncent le 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 !