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

"Я б сказав, що минулого жовтня — Balancer, здається, був першим — саме тоді розпочався хакінг за допомогою ШІ", — сказав Полосухін у понеділок в інтерв'ю з Гаретом Дженкінсоном на подкасті The Starting Block від The Block.

Полосухін зазначив, що кібербезпека до цього моменту здебільшого полягала в тому, що "розумні люди" переглядали код і сподівалися, що ніхто розумніший не знайде те, що вони пропустили. Цей підхід вже був недосконалим до появи ШІ, сказав він, але новіші та більш досконалі моделі роблять його ще менш стійким.

"Нам потрібен інший спосіб мислення", — сказав Полосухін. "Це не так, що 'О, ми перевіримо все за допомогою кращої моделі і сподіватимемося, що наступна краща модель цього не знайде'".

Його запропоноване рішення — це формальна верифікація, яка математично доводить, що код "робить те, що заявлено". Цей процес історично був дорогим, повільним і трудомістким, але Полосухін сказав, що ШІ тепер може допомогти згенерувати більшу частину необхідного доказу, який потім може бути незалежно перевірений.

"Вам не потрібно покладатися на ШІ, тому що ШІ лише генерує доказ", — сказав він. "Ви просто перевіряєте, що доказ правильний".

Недавня ініціатива Zcash є прикладом того, що описує Полосухін. Проект Tachyon використав верифікацію за допомогою ШІ для створення математичного доказу того, що захищений пул Ironwood від Zcash не може містити такого ж типу невиявленого багу підробки, який був знайдений у його пулі Orchard минулого місяця.

Проект Tachyon заявив, що досягнення в генерації доказів за допомогою ШІ скоротили роботу, яка раніше займала роки, до кількох тижнів. 

Полосухін також стверджує, що цей підхід з часом повинен вийти за межі смарт-контрактів до критичного програмного забезпечення для інтернету та мереж.

"Нам потрібно фундаментально перейти до побудови коду блокчейну — і, чесно кажучи, всього коду в інтернеті — таким чином, щоб він був формально верифікований", — сказав він.

Окремо в понеділок NEAR випустив оновлення, спрямоване на підготовку мережі до нових вимог до безпеки та масштабованості. Користувачі тепер можуть переходити на квантово-стійкі ключі облікового запису, тоді як мережа може автоматично розширювати свою пропускну здатність у міру зростання активності.