L'intelligence artificielle décuple la capacité des hackers à trouver des vulnérabilités logicielles plus rapidement que la sécurité traditionnelle ne peut les corriger, selon Illia Polosukhin, co-fondateur de NEAR Protocol, qui estime que les développeurs devraient se tourner vers les preuves mathématiques pour sécuriser leur code.

"Je dirais qu'en octobre dernier — je pense que Balancer a été le premier — c'est à ce moment-là que le piratage assisté par l'IA a commencé", a déclaré Polosukhin lundi lors d'un entretien avec Gareth Jenkinson dans le podcast The Starting Block de The Block.

Polosukhin a expliqué que jusqu'à présent, la cybersécurité impliquait principalement que des "personnes intelligentes" examinent le code en espérant que personne de plus intelligent ne découvre ce qu'elles avaient manqué. Cette approche était déjà imparfaite avant l'avènement de l'IA, a-t-il dit, mais les modèles plus récents et plus performants la rendent encore moins viable.

"Nous avons besoin d'une autre façon de penser", a déclaré Polosukhin. "Ce n'est pas comme si, 'Oh, nous allons tout examiner avec un meilleur modèle et espérer que le prochain meilleur modèle ne le trouvera pas.'"

Sa solution proposée est la vérification formelle qui prouve mathématiquement que le code "fait ce qu'il est censé faire". Ce processus a été historiquement coûteux, lent et exigeant en main-d'œuvre, mais Polosukhin a déclaré que l'IA peut désormais aider à générer la majeure partie de la preuve nécessaire, qui peut ensuite être vérifiée de manière indépendante.

"Vous n'avez pas besoin de vous fier à l'IA car l'IA ne fait que produire la preuve", a-t-il dit. "Vous vérifiez simplement que la preuve est correcte."

Une initiative récente de Zcash est un exemple de ce que Polosukhin décrit. Le projet Tachyon a utilisé la vérification assistée par l'IA pour produire une preuve mathématique que le pool blindé Ironwood de Zcash ne peut pas contenir le même type de bug de contrefaçon indétectable qui a été trouvé dans son pool Orchard le mois dernier.

Le projet Tachyon a déclaré que les avancées dans la génération de preuves assistée par l'IA ont réduit un travail qui prenait auparavant des années à quelques semaines. 

Polosukhin soutient également que cette approche devrait à terme dépasser les contrats intelligents pour s'appliquer aux logiciels internet et de mise en réseau critiques.

"Nous devons fondamentalement passer à la construction de code blockchain — et honnêtement, de tout le code sur internet — pour qu'il soit formellement vérifié", a-t-il déclaré.

Parallèlement, lundi, NEAR a déployé une mise à niveau visant à préparer le réseau aux demandes émergentes en matière de sécurité et de scalabilité. Les utilisateurs peuvent désormais passer à des clés de compte résistantes aux quantums, tandis que le réseau peut automatiquement étendre sa capacité à mesure que l'activité augmente.