La vérification de leanVM pour Ethereum est achevée : la transition vers la sécurité post-quantique débutera après décembre 2028
La Fondation Ethereum annonce l’achèvement de la vérification formelle de bout en bout de leanVM, qui affiche des performances remarquables et annonce 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 au niveau supérieur !
La Fondation Ethereum annonce l’achèvement de la vérification formelle de bout en bout de leanVM, qui affiche des performances remarquables et annonce 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 au niveau supérieur !