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 annonce que leanVM a achevé sa vérification formelle de bout en bout avec des performances remarquables, ouvrant 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 que leanVM a achevé sa vérification formelle de bout en bout avec des performances remarquables, ouvrant 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 !