Le co-fondateur de NEAR plaide pour la vérification formelle pour lutter contre le piratage assisté par l'IA

Le co-fondateur du protocole NEAR, Illia Polosukhin, a souligné la nécessité de la vérification formelle pour sécuriser le code blockchain contre le piratage par l'IA. Il a noté que l'IA a accéléré la découverte des vulnérabilités logicielles, dépassant les mesures de sécurité traditionnelles. Polosukhin a mis en avant que la cybersécurité s'est appuyée sur des revues de code humaines, qui deviennent de plus en plus inadéquates en raison des modèles d'IA avancés. Il a proposé que les développeurs adoptent des preuves mathématiques pour garantir l'intégrité du code, affirmant que l'IA peut désormais aider à générer ces preuves, réduisant considérablement le temps requis, passant de plusieurs années à quelques semaines. Un exemple est le projet Tachyon, qui a utilisé la vérification assistée par l'IA pour confirmer que le pool protégé Ironwood de Zcash est exempt d'un bug de contrefaçon trouvé dans son pool Orchard. Polosukhin a appelé à un passage vers la vérification formelle pour tout le code Internet, pas seulement pour les contrats intelligents. De plus, NEAR a lancé une mise à jour pour améliorer la sécurité et l'évolutivité du réseau, permettant aux utilisateurs d'adopter des clés de compte résistantes aux quantiques.

Avertissement : Ce contenu est fourni à des fins de communication et d'information générale uniquement et ne constitue en aucun cas un conseil financier, d'investissement, juridique ou fiscal. Les événements, récompenses, événements en ligne ou toute information mentionnée dans ce document ne doivent pas être considérés comme une recommandation, une sollicitation ou une invitation à acheter, vendre, échanger ou traiter de quelque manière que ce soit des actifs crypto, ni à utiliser un quelconque service. Les actifs crypto sont très volatils et peuvent entraîner des pertes. Les services et événements en ligne de WEEX peuvent ne pas être disponibles dans toutes les régions et sont soumis aux lois, réglementations et conditions d'éligibilité applicables. Il vous appartient de veiller à ce que votre utilisation des services WEEX respecte la législation locale et d'évaluer soigneusement les risques avant de participer à toute activité liée aux cryptomonnaies.