NEAR AI просуває формальну верифікацію ключових контрактів
NEAR AI працює над тим, щоб зробити формальну верифікацію доступнішою, спочатку зосередившись на NEAR Protocol і його ключових смартконтрактах. Формальна верифікація використовує математичні доведення, щоб перевірити, чи відповідає програмне забезпечення визначеним правилам. Вона доповнює тестування та перевірку коду, але не може гарантувати повну безпеку.
Ця робота спирається на заявлене NEAR AI перше місце в рейтингу Lean Eval v1 за загальною кількістю розв’язаних задач. На PutnamBench система розв’язала 672 задачі Lean. Заявлена вартість становила близько 0,17 долара за задачу, тоді як у репозиторії зазначено 111,85 долара витрат на моделі для цієї подачі. NEAR застерігає, що результати бенчмарків не відображають повних витрат і зусиль, необхідних для верифікації програмного забезпечення, що використовується у виробничому середовищі.
Застосування формальної верифікації до розгорнутих контрактів і надалі потребує точних моделей, чітко визначених властивостей і доведень, що відповідають реалізації. Гарантії поширюються лише на перевірені властивості та припущення, тому формальна верифікація має доповнювати тестування, перевірку коду й операційну безпеку. Ініціатива відображає ширший інтерес до доведень за допомогою ШІ, зокрема до робіт, які обговорювали Aptos Labs і співзасновник Ethereum Віталік Бутерін. Для трейдерів NEAR це потенційний довгостроковий розвиток у сфері безпеки, а не оголошене розгортання чи безпосередній каталізатор для токена.
Neutral
У короткостроковій перспективі новина є нейтральною для ціни NEAR. У ній ідеться про дослідження та результати порівняльного тестування, а не про запуск у робочому середовищі, зміну протоколу, рішення щодо фінансування чи безпосередню зміну попиту на токен. Трейдери можуть сприйняти ці результати як позитивний сигнал щодо прагнень NEAR у сфері безпеки, однак застереження щодо витрат на впровадження у виробничому середовищі та обмежень верифікації знижують імовірність негайної реакції ціни.
У довгостроковій перспективі доступніша формальна верифікація могла б зміцнити довіру до протоколу NEAR та його екосистеми смартконтрактів, якщо її успішно застосують на практиці. Це могло б підтримати ринкові настрої та поширення мережі, але в коротких викладах не підтверджено, що впровадження вже відбулося, і не наведено кількісної оцінки впливу на використання чи доходи. Як і у випадку з подібними оголошеннями про безпеку та дослідження, вплив на ринок, імовірно, залежатиме від подальших кроків і загальних ринкових умов; наявної інформації недостатньо, щоб класифікувати новину як бичачу чи ведмежу.