La vérification de leanVM d’Ethereum est achevée : la transition vers la sécurité post-quantique démarre après décembre 2028
La Fondation Ethereum annonce que leanVM a achevé sa vérification formelle de bout en bout et affiche 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 au niveau supérieur !
La Fondation Ethereum annonce que leanVM a achevé sa vérification formelle de bout en bout et affiche 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 au niveau supérieur !