Vitalik Buterin a déclaré le 17 septembre sur X qu’il ne faut pas toujours penser que dès que des hackers utilisant l’IA apparaissent, la cybersécurité s’effondre. Selon lui, la vérification formelle (vérifier par des calculs si un logiciel se conforme aux règles) peut au contraire faire baisser le coût de l’écriture de code sûr. À long terme, cela est donc plus avantageux pour le camp de la défense. Il a aussi ajouté que, à peu près, 90 % de sa fortune restent investis dans des actifs chiffrés, ce qui revient à « voter avec son portefeuille », en pariant sur le fait que les systèmes numériques tiendront face à des attaques automatisées plus puissantes. $ETH s’était déjà inscrite à l’avance la vérification formelle comme feuille de route à long terme pour la sécurité du protocole. #以太坊 #cybersécurité