Illia Polosukhin, cofondateur de NEAR Protocol, a souligné la menace croissante du piratage assisté par l'IA, qui dépasse les méthodes traditionnelles de revue de code. Polosukhin a noté que l'IA accélère considérablement la découverte des vulnérabilités logicielles, rendant obsolètes les modèles de revue manuelle. Il a cité l'incident Balancer d'octobre dernier comme un moment clé pour les attaques pilotées par l'IA. Pour y faire face, Polosukhin préconise l'adoption de la vérification formelle, où des preuves mathématiques garantissent que le comportement du code correspond aux spécifications. L'IA peut générer ces preuves, que les humains vérifient ensuite, réduisant ainsi le temps nécessaire à leur production. Il suggère d'étendre la vérification formelle au-delà des contrats intelligents aux logiciels critiques d'internet et de réseau. Parallèlement, NEAR a publié une mise à jour permettant aux utilisateurs de passer à des clés de compte résistantes au quantique et permettant au réseau de s'adapter automatiquement à l'augmentation de l'activité.