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

Ключевая логика такова: если ИИ способен доказывать такие сложные утверждения, как уравнения Навье—Стокса или Великая теорема Ферма, то он также сможет доказать в виде математической теоремы «что эта программа безопасна». Главная трудность не в том, что код слишком сложный, а в том, что определение «безопасности» нельзя делать слишком узким — иначе окажутся игнорируемыми поверхность атаки и протокол сообщений, и песочницы (sandbox), и сеть, и кеш, и базы данных.

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

$ETH

#以太坊 #网络安全 #AI