NEAR AI rozwija formalną weryfikację kluczowych kontraktów
NEAR AI pracuje nad zwiększeniem dostępności weryfikacji formalnej, początkowo koncentrując się na NEAR Protocol i jego kluczowych smart kontraktach. Weryfikacja formalna wykorzystuje dowody matematyczne, aby sprawdzić, czy oprogramowanie spełnia określone reguły; uzupełnia testy i przegląd kodu, ale nie może zagwarantować pełnego bezpieczeństwa.
Inicjatywa bazuje na deklarowanym przez NEAR AI pierwszym miejscu w rankingu Lean Eval v1 pod względem łącznej liczby rozwiązanych zadań. W PutnamBench system rozwiązał 672 zadania Lean. Zgłoszony koszt wyniósł około 0,17 USD za zadanie, natomiast repozytorium podaje 111,85 USD kosztów modeli dla zgłoszenia. NEAR zastrzega, że wyniki benchmarków nie odzwierciedlają pełnych kosztów ani nakładu pracy związanych z weryfikacją oprogramowania produkcyjnego.
Zastosowanie weryfikacji formalnej do wdrożonych kontraktów nadal wymaga dokładnych modeli, jasno określonych właściwości oraz dowodów zgodnych z implementacją. Gwarancje obejmują wyłącznie sprawdzone właściwości i założenia, dlatego weryfikacja formalna musi iść w parze z testami, przeglądem kodu i bezpieczeństwem operacyjnym. Inicjatywa odzwierciedla szersze zainteresowanie dowodami wspomaganymi przez AI, w tym pracami omawianymi przez Aptos Labs i współzałożyciela Ethereum Vitalika Buterina. Dla traderów NEAR jest to potencjalny długoterminowy rozwój w obszarze bezpieczeństwa, a nie zapowiedziane wdrożenie ani bezpośredni katalizator dla tokena.
Neutral
W krótkim terminie wiadomość jest neutralna dla ceny NEAR. Informuje o badaniach i wynikach testów porównawczych, a nie o wdrożeniu na żywo, zmianie protokołu, decyzji o finansowaniu czy bezpośredniej zmianie popytu na token. Inwestorzy mogą uznać te wyniki za pozytywny sygnał dla dążeń NEAR do zwiększenia bezpieczeństwa, jednak zastrzeżenia dotyczące kosztów wdrożenia produkcyjnego i ograniczeń weryfikacji zmniejszają prawdopodobieństwo natychmiastowej reakcji ceny.
W dłuższej perspektywie bardziej dostępna weryfikacja formalna mogłaby wzmocnić zaufanie do protokołu NEAR i jego ekosystemu inteligentnych kontraktów, jeśli zostanie z powodzeniem zastosowana w praktyce. Mogłoby to wspierać nastroje rynkowe i adopcję sieci, jednak streszczenia nie potwierdzają, że wdrożenie już nastąpiło, ani nie określają ilościowo jego ewentualnego wpływu na wykorzystanie sieci lub przychody. Podobnie jak w przypadku zbliżonych ogłoszeń dotyczących bezpieczeństwa i badań, wpływ na rynek będzie prawdopodobnie zależeć od dalszych działań i ogólnych warunków rynkowych; obecne informacje nie uzasadniają sklasyfikowania wiadomości jako wzrostowej ani spadkowej.