NEAR AI fait progresser la vérification formelle des contrats fondamentaux
NEAR AI s’efforce de rendre la vérification formelle plus accessible, en ciblant d’abord NEAR Protocol et ses contrats intelligents essentiels. La vérification formelle s’appuie sur des preuves mathématiques pour déterminer si un logiciel respecte des règles définies. Elle complète les tests et les revues de code, mais ne peut garantir une sécurité totale.
Cette initiative s’appuie sur la première place revendiquée par NEAR AI au classement Lean Eval v1, selon le nombre total de problèmes résolus. Sur PutnamBench, son système a résolu 672 problèmes Lean. Le coût annoncé était d’environ 0,17 dollar par problème, tandis que le dépôt indique 111,85 dollars de coûts liés aux modèles pour la soumission. NEAR précise que les résultats des benchmarks ne reflètent ni le coût total ni l’ensemble des efforts nécessaires à la vérification de logiciels en production.
L’application de la vérification formelle à des contrats déjà déployés exige toujours des modèles exacts, des propriétés clairement définies et des preuves conformes à l’implémentation. Les garanties ne couvrent que les propriétés et hypothèses vérifiées. La vérification formelle doit donc s’ajouter aux tests, aux revues de code et à la sécurité opérationnelle. Cette initiative témoigne d’un intérêt plus général pour les preuves assistées par l’IA, notamment les travaux évoqués par Aptos Labs et Vitalik Buterin, cofondateur d’Ethereum. Pour les traders de NEAR, il s’agit d’une évolution potentielle de la sécurité à long terme, et non de l’annonce d’un déploiement ni d’un catalyseur immédiat pour le jeton.
Neutral
Cette nouvelle est neutre pour le cours de NEAR à court terme. Elle fait état de recherches et de résultats de tests de performance, et non d’un déploiement en production, d’une modification du protocole, d’une décision de financement ou d’un changement direct de la demande de tokens. Les traders peuvent considérer ces résultats comme un signal positif pour les ambitions de NEAR en matière de sécurité, mais les réserves concernant les coûts de production et les limites de la vérification rendent une réaction immédiate du cours moins probable.
À plus long terme, une vérification formelle plus accessible pourrait renforcer la confiance dans le protocole de NEAR et son écosystème de contrats intelligents si elle est appliquée avec succès dans la pratique. Cela pourrait soutenir le sentiment du marché et l’adoption du réseau, mais les résumés ne démontrent pas qu’un déploiement a eu lieu et ne quantifient aucun effet sur l’utilisation ou les revenus. Comme pour les annonces similaires en matière de sécurité et de recherche, l’impact sur le marché dépendra probablement des suites données et des conditions générales du marché ; les informations disponibles ne justifient pas une classification haussière ou baissière.