Засновник NEAR радить використовувати формальну верифікацію проти атак із застосуванням ШІ; мережа випускає квантово-стійкі ключі облікового запису 21 липня

Прогрес проєкту Інциденти безпеки Новини індустрії ШІ

2026-07-21 00:32:51

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

Переглянути джерело

Застереження: інформація на цій сторінці може походити зі сторонніх джерел і надається виключно для ознайомлення. Вона не відображає позицію чи думку Gate і не є фінансовою, інвестиційною чи юридичною консультацією. Торгівля віртуальними активами пов’язана з високим ризиком. Будь ласка, не покладайтеся лише на інформацію з цієї сторінки під час прийняття рішень. Детальніше дивіться у Застереженні.

Пов’язані новини

10год тому

Хакерські атаки за допомогою ШІ випереджають традиційні перевірки коду, стверджує співзасновник NEAR

10год тому

Natural залучає $30M у раунді Серії A для інфраструктури платежів AI Agent

15год тому

Хакінг із допомогою ШІ випереджає традиційні code review — співзасновник NEAR

20год тому

NEAR Protocol розгортає на основній мережі сертифіковану NIST постквантову схему підпису FIPS-204 із оновленням до версії 2.13

22год тому

ШІ-сервіс із безпеки Neo завершив раунд фінансування $100M , який очолили a16z і Bessemer Venture Partners

Поглиблений аналіз