NEAR AI avansează verificarea formală a contractelor de bază
NEAR AI lucrează pentru a face verificarea formală mai accesibilă, vizând inițial NEAR Protocol și contractele sale inteligente de bază. Verificarea formală folosește demonstrații matematice pentru a verifica dacă software-ul respectă reguli definite; aceasta completează testarea și revizuirea codului, dar nu poate garanta securitatea deplină.
Inițiativa se bazează pe locul întâi despre care NEAR AI a raportat că l-a obținut în clasamentul Lean Eval v1, în funcție de numărul total de probleme rezolvate. Pe PutnamBench, sistemul său a rezolvat 672 de probleme Lean. Costul raportat a fost de aproximativ 0,17 USD per problemă, în timp ce depozitul indică 111,85 USD drept costuri ale modelelor pentru trimitere. NEAR avertizează că rezultatele benchmarkurilor nu reflectă costul sau efortul total necesar pentru verificarea software-ului de producție.
Aplicarea verificării formale la contractele implementate necesită în continuare modele exacte, proprietăți definite clar și demonstrații corespunzătoare implementării. Garanțiile acoperă doar proprietățile și ipotezele verificate, astfel că verificarea formală trebuie să fie însoțită de testare, revizuirea codului și securitate operațională. Inițiativa reflectă interesul mai larg pentru demonstrații asistate de AI, inclusiv lucrări discutate de Aptos Labs și de Vitalik Buterin, cofondatorul Ethereum. Pentru traderii NEAR, este o posibilă evoluție de securitate pe termen lung, nu o implementare anunțată sau un catalizator imediat pentru token.
Neutral
Știrea este neutră pentru prețul NEAR pe termen scurt. Ea prezintă cercetări și rezultate de benchmark, nu o implementare efectivă, o modificare a protocolului, o decizie de finanțare sau o schimbare directă a cererii pentru token. Traderii ar putea interpreta rezultatele drept un semnal pozitiv pentru obiectivele NEAR în materie de securitate, însă rezervele privind costurile de producție și limitele verificării fac mai puțin probabilă o reacție imediată a prețului.
Pe termen mai lung, verificarea formală mai accesibilă ar putea consolida încrederea în protocolul NEAR și în ecosistemul său de contracte inteligente, dacă este aplicată cu succes în practică. Acest lucru ar putea susține sentimentul pieței și adoptarea rețelei, însă rezumatele nu confirmă că implementarea a avut loc și nici nu cuantifică vreun efect asupra utilizării sau veniturilor. Ca și în cazul unor anunțuri similare despre securitate și cercetare, impactul asupra pieței va depinde probabil de pașii următori și de condițiile generale ale pieței; informațiile disponibile nu justifică o clasificare ca fiind optimistă sau pesimistă.