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

Ключевая идея не в том, чтобы соревноваться с атакующим в том, кто первым найдёт уязвимость, а в том, чтобы код по самой своей природе был более устойчив к атакам. Если ИИ может помогать доказывать сложные математические теоремы, то он же способен превращать утверждение «эта программа безопасна» в проверяемое машинами математическое доказательство.

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

Он также отметил, что особенно для блокчейнов с возможностями масштабирования и обеспечения приватности без такого базового слоя будущего нет: в ближайшие годы Ethereum будет двигаться в этом направлении.

#以太坊 #AI #网络安全 $ETH