Illia Polosukhin, cofondateur de NEAR Protocol, a averti que le piratage assisté par IA avait pris de vitesse la revue de code manuelle traditionnelle, qualifiant la vérification formelle de transition nécessaire pour sécuriser les infrastructures blockchain. Devant la communauté élargie de la sécurité, il a présenté cet écart comme un problème structurel : les défenseurs auditent à vitesse humaine, tandis que les attaquants opèrent désormais à vitesse machine.
Pourquoi c’est important
Polosukhin a mis en avant une accélération précise des travaux de génération de preuves mathématiques, qui prenaient autrefois des années et peuvent désormais être achevés en quelques semaines avec l’IA. Cette asymétrie compte, car la vérification formelle est la méthode qui produit des preuves de conformité vérifiables par machine, au lieu de dépendre de relecteurs humains pour repérer les cas limites. Si la génération de preuves accélère d’un ordre de grandeur, les attaquants obtiennent une chaîne plus rapide pour trouver des chemins d’exploitation, mais les défenseurs peuvent aussi industrialiser le processus d’audit, aujourd’hui assuré par de petites équipes d’ingénieurs spécialisés.
Impact sur le marché
Cette lecture place la vérification formelle, et non des budgets d’audit plus élevés, au cœur des primitives de sécurité du prochain cycle de conception des protocoles. Pour NEAR, une blockchain qui s’appuie fortement sur l’abstraction de compte et le sharding, le message est clair : le coût d’une seule vulnérabilité manquée augmente plus vite lorsque les exploits peuvent être générés et testés automatiquement. Les projets qui s’appuient encore sur des cycles d’audit conventionnels font face à une fenêtre d’exposition qui s’élargit.
Questions fréquemment posées
-
Qu’a dit le cofondateur de NEAR sur l’IA et la sécurité du code ?
Illia Polosukhin a soutenu que le piratage assisté par IA avait dépassé la revue de code manuelle traditionnelle, et que la vérification formelle était le changement structurel nécessaire pour protéger le code blockchain contre les attaques pilotées par l’IA.
-
Qu’est-ce que la vérification formelle et pourquoi Polosukhin la juge-t-il importante ?
La vérification formelle produit des preuves mathématiques de conformité du code vérifiables par machine, au lieu de dépendre de relecteurs humains pour repérer les cas limites. Polosukhin la présente comme la seule méthode capable de suivre des attaquants opérant à vitesse machine.
-
À quelle vitesse l’IA a-t-elle accéléré la génération de preuves ?
Selon Polosukhin, des tâches de génération de preuves mathématiques qui prenaient auparavant des années peuvent désormais être accomplies en quelques semaines avec l’IA, accélérant à la fois les audits défensifs et la découverte offensive d’exploits.
-
Pourquoi cela touche-t-il NEAR plus fortement que des blockchains plus simples ?
NEAR s’appuie sur l’abstraction de compte et une architecture shardée, où une seule vulnérabilité manquée s’aggrave plus vite lorsque les exploits peuvent être générés et testés automatiquement plutôt que conçus à la main.
-
Que doivent retenir les projets crypto de cet avertissement ?
Les projets qui dépendent encore de cycles d’audit conventionnels font face à une fenêtre d’exposition croissante, à mesure que le délai entre découverte d’une faille et exploit fonctionnel se raccourcit. L’argument est que la vérification formelle doit remplacer, et non compléter, la revue traditionnelle.
WuBlockchain
CoinTelegraph
CoinDesk
WatcherGuru
Crypto Rank News