Виталик в очередной раз резко опроверг: «ИИ-хакеры делают кибербезопасность безнадежной»: безопасность изначально скорее на стороне защитников — при условии, что подход сделан правильно. Он представляет ИИ не просто как инструмент поиска уязвимостей, а как средство, которое рассматривает «безопасность этой программы» как математическую теорему, которую можно доказать; ключ не в том, насколько сложны уравнения для доказательства, а в том, как задать определение безопасности достаточно широким, читаемым и модульным, чтобы не упустить поверхности атаки вроде протоколов сообщений, песочниц, SNARK и FHE.

Особенно стоит отметить его радикальное утверждение: формальная верификация не должна ограничиваться только базовыми модулями — нужно проверять также базы данных, сеть и кэш, то есть «все программы». Раньше это звучало как идеализм, но ИИ делает это более реализуемым.

Это не то, что добрые быстрее роют дыры, чем злые, а то, что системы изначально сложнее взломать. Без этого не продвинуться ни масштабирование, ни приватные цепочки; в ближайшие годы Ethereum будет делать ставку на этот путь. Виталик также говорит, что около 90% его чистых активов по-прежнему находятся в криптоактивах — и это само по себе является долгосрочной ставкой в пользу защитников.

#以太坊 #网络安全 #AI