Le cofondateur de NEAR recommande la vérification formelle contre les attaques assistées par l’IA ; le réseau publie des clés de compte résistantes aux attaques quantiques le 21 juil.

D’après Odaily, le cofondateur du protocole NEAR, Illia Polosukhin, a déclaré le 21 juillet qu’il faut recourir à la vérification formelle comme moyen de défense contre l’accélération des menaces de piratage assisté par IA, en estimant que la simple revue de code traditionnelle n’est plus viable. Polosukhin a proposé d’utiliser des preuves mathématiques pour garantir que le comportement du code correspond aux spécifications, l’IA générant la majorité des preuves et les humains les validant. Le même jour, NEAR a publié une mise à niveau permettant aux utilisateurs de passer à des clés de compte résistantes aux attaques quantiques, le réseau augmentant automatiquement sa capacité à mesure que l’activité progresse.
Avertissement : Les informations figurant sur cette page peuvent provenir de sources tierces et sont fournies à titre indicatif uniquement. Elles ne reflètent pas les points de vue ou opinions de Gate et ne constituent pas un conseil financier, d’investissement ou juridique. Le trading des actifs virtuels comporte des risques élevés. Veuillez ne pas vous fonder uniquement sur les informations de cette page pour prendre vos décisions. Pour en savoir plus, consultez l’avertissement.
Commentaire
0/400
Aucun commentaire