У понеділок співзасновник NEAR Protocol Ілля Полозухін в інтерв’ю The Block заявив, що ШІ тепер дає змогу хакерам швидше знаходити вразливості в програмному забезпеченні, ніж традиційні процеси безпеки встигають їх виправляти. Полозухін стверджував, що традиційний підхід — коли досвідчені розробники вручну перевіряють код — більше не є життєздатним з огляду на можливості новіших моделей ШІ. Він запропонував формальну верифікацію, яка математично доводить, що код «робить те, що обіцяє», як ефективніший варіант. Хоча історично це було дорого й трудомістко, тепер ШІ може допомогти згенерувати більшість потрібних доведень, які потім можна незалежно перевірити. Ініціатива Tachyon від Zcash продемонструвала цей підхід: із використанням ШІ-асистованої верифікації вона підготувала математичне доведення за тижні, а не за роки.

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

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

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

07-20 14:22

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

07-20 12:11

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

07-20 11:07

Інституційні інвестори просуваються далі від аудитів, коли сигнали довіри не спрацьовують: звіт Hacken за 2 квартал

07-20 11:06

Віталік Бутерін закликає сповільнити розвиток ШІ на передовій і пропонує шлях інтеграції людини та машини

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

Акції Alphabet зростають на 3% завдяки звіту про розробку замороженого ШІ-чипа v2

Oliver Grant07-20 14:15