NEAR联创: Швидкість AI-допоміжних хакерських атак випереджає традиційну перевірку коду

PANews 21 липня повідомляє, що співзасновник NEAR Protocol Illia Polosukhin заявив за повідомленням The Block: ШІ дуже сильно прискорює здатність хакерів виявляти вразливості у програмному забезпеченні, а традиційні моделі код-рев’ю вже не можуть з цим впоратися. Він зазначив, що інцидент Balancer у жовтні минулого року став початком атак хакерів за допомогою ШІ, і що стара модель, яка покладається на ручну перевірку, у епоху ШІ є вже нежиттєздатною.

Polosukhin наполягає на використанні формальної верифікації, шляхом математичного доведення забезпечуючи повну відповідність поведінки коду специфікаціям. ШІ може згенерувати більшість доведень, а людина лише перевіряє їх правильність, істотно скорочуючи час на формування доведень. Він вважає, що формальна верифікація має поширюватися не лише на смарт-контракти, а й охоплювати критичне інтернет- та мережеве програмне забезпечення. У той самий день NEAR опублікував оновлення: користувачі можуть перемикатися на ключі анти-квантових акаунтів, а мережа може автоматично розширювати обсяг ємності в міру зростання активності.