Współzałożyciel NEAR apeluje o formalną weryfikację w walce z hakerami wspomaganymi przez AI

Współzałożyciel NEAR Protocol, Illia Polosukhin, podkreślił potrzebę formalnej weryfikacji, aby zabezpieczyć kod blockchain przed atakami AI. Zauważył, że AI przyspieszyło odkrywanie luk w oprogramowaniu, wyprzedzając tradycyjne środki bezpieczeństwa. Polosukhin zaznaczył, że bezpieczeństwo cybernetyczne opierało się na przeglądach kodu przez ludzi, które stają się coraz mniej wystarczające z powodu zaawansowanych modeli AI. Zaproponował, aby deweloperzy przyjęli dowody matematyczne w celu zapewnienia integralności kodu, stwierdzając, że AI może teraz pomóc w generowaniu tych dowodów, znacznie skracając czas potrzebny z lat do tygodni. Przykładem jest projekt Tachyon, który wykorzystał weryfikację wspomaganą przez AI, aby potwierdzić, że osłonięta pula Zcash Ironwood jest wolna od błędu fałszowania, który znaleziono w jej puli Orchard. Polosukhin wezwał do przejścia na formalną weryfikację dla całego kodu internetowego, a nie tylko dla inteligentnych kontraktów. Dodatkowo NEAR uruchomił aktualizację, aby zwiększyć bezpieczeństwo i skalowalność sieci, umożliwiając użytkownikom przyjęcie kluczy kont odpornych na kwanty.

Niniejsza treść ma charakter wyłącznie informacyjny i nie stanowi porady finansowej, inwestycyjnej, prawnej ani podatkowej. Wszelkie wydarzenia, nagrody, promocje online lub powiązane informacje, o których tu mowa, nie powinny być traktowane jako rekomendacja, zachęta ani zaproszenie do kupna, sprzedaży, wymiany lub innego rodzaju obrotu aktywami kryptograficznymi. Aktywa kryptograficzne charakteryzują się dużą zmiennością i mogą prowadzić do strat. Dostępność usług, produktów i powiązanych wydarzeń WEEX może się różnić w zależności od regionu. Użytkownik jest odpowiedzialny za upewnienie się, że jego udział jest zgodny z obowiązującymi lokalnymi przepisami i regulacjami.