Сооснователь NEAR рекомендует формальную верификацию против атак с помощью ИИ; 21 июля сеть выпустит ключи аккаунтов, устойчивые к квантовым атакам

Прогресс проекта Инциденты с безопасностью Новости индустрии ИИ

2026-07-21 00:32:51

Как сообщает Odaily, 21 июля сооснователь NEAR Protocol Илья Полосухин выступил за формальную верификацию как защиту от нарастающих угроз взлома с помощью ИИ, заявив, что традиционный процесс code review больше не является устойчивым. Полосухин предложил использовать математические доказательства, чтобы гарантировать, что поведение кода соответствует спецификациям: при этом большую часть доказательств будет генерировать ИИ, а люди — подтверждать их. В тот же день NEAR выпустила обновление, позволяющее пользователям переключаться на ключи аккаунта, устойчивые к квантовым атакам, а сеть автоматически наращивает пропускную способность по мере роста активности.

Посмотреть источник

Дисклеймер: Информация на этой странице может быть получена из источников третьих сторон и предоставляется только для ознакомления. Она не отражает взгляды или мнения Gate и не является финансовой, инвестиционной или юридической рекомендацией. Торговля виртуальными активами связана с высоким риском. Пожалуйста, не основывайте свои решения исключительно на данных этой страницы. Подробнее смотрите в Дисклеймере.

Связанные новости

16ч назад

Истинно ИИ-ускоренные взломы обгоняют традиционные проверки кода, заявил сооснователь NEAR

16ч назад

Natural привлекла $30M раунд серии A для инфраструктуры платежей AI-агента

22ч назад

Искусственный интеллект-ассистированный взлом обгоняет традиционный code review, заявил сооснователь NEAR

07-20 14:22

NEAR Protocol разворачивает в основной сети схему подписи с постквантовой криптографией, сертифицированную NIST, FIPS-204, с обновлением версии 2.13

07-20 12:11

ИИ-безопасностная стартап-компания Neo завершила раунд финансирования $100M , который возглавили a16z и Bessemer Venture Partners

Детальный анализ