💥 ВИТАЛИК БУТЕРИН: ИИ МОЖЕТ УКРЕПИТЬ КРИПТОБЕЗОПАСНОСТЬ, А НЕ ПОГУБИТЬ ЕЁ

Сооснователь Ethereum Виталик Бутерин утверждает, что хакерство с применением ИИ не обязательно означает конец криптобезопасности.

Его тезис в том, что всё более способный ИИ может также усилить оборонительную сторону за счёт формальной верификации — использования математических доказательств, чтобы проверить, соответствует ли сложное программное обеспечение заданным требованиям безопасности. Вместо того чтобы полагаться только на тестирование и ручные code review, разработчики потенциально могли бы верифицировать целые системы.

Бутерин признал, что самая трудная часть — определить, что именно означает «безопасность». Доказательство может установить только те свойства, которые включены в его спецификацию.

Исследователи Ethereum уже используют ИИ-агентов, чтобы находить и воспроизводить уязвимости, что наводит на мысль: технология становится частью как наступательной, так и оборонительной кибербезопасности.

Может ли в будущем ИИ дать разработчикам криптовалют более сильное преимущество в защите?

#ETH #AI #CyberSecurity #CryptoSecurity
#ThuyBNB
$ETH $BNB $NEAR