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.

Ce contenu est fourni à titre informatif uniquement et ne constitue pas un conseil financier, d'investissement, juridique ou fiscal. Les événements, récompenses, promotions en ligne ou informations mentionnées ici ne doivent pas être considérés comme une recommandation, une sollicitation ou une invitation à acheter, vendre, trader ou effectuer toute autre opération sur des actifs crypto. Les actifs crypto sont très volatils et peuvent entraîner des pertes. La disponibilité des services, produits et événements liés à WEEX peut varier selon les régions. Veuillez vous assurer que votre participation respecte les lois et réglementations locales applicables.