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