Le cofondateur de NEAR : la vitesse des attaques de pirates assistés par l’IA dépasse celle des revues de code traditionnelles

PANews 21 juillet, selon The Block, le cofondateur de NEAR Protocol, Illia Polosukhin, a déclaré que l’IA accélère énormément la capacité des pirates à découvrir des failles dans les logiciels, et que les modes traditionnels de revue de code ne suffisent plus. Il a indiqué que l’incident de Balancer en octobre dernier a marqué le début d’attaques assistées par l’IA, et que l’ancien modèle reposant sur la revue manuelle n’est plus viable à l’ère de l’IA.

Polosukhin plaide pour la vérification formelle, en garantissant par des preuves mathématiques que le comportement du code correspond exactement aux spécifications. L’IA peut générer la majorité des preuves, puis des humains en vérifient l’exactitude, réduisant fortement le temps nécessaire à la génération des preuves. Il estime que la vérification formelle devrait s’étendre au-delà des smart contracts, pour couvrir les logiciels essentiels de l’Internet et des réseaux. NEAR a publié le même jour une mise à niveau : les utilisateurs peuvent basculer vers des clés de comptes résistants aux quantiques, et le réseau peut augmenter automatiquement sa capacité à mesure de l’activité.