Виталик Бутерин заявил, что прогресс в области artificial intelligence could reshape how crypto systems are attacked и защищаются, подталкивая инфраструктуру к математически проверяемому программному обеспечению.
Эссе Бутерина о рисках ИИ
Сооснователь Ethereum argued, что increasingly powerful AI models сделают поиск и эксплуатацию уязвимостей в сложном ПО значительно проще.
По словам Бутерина, баги в криптоинфраструктуре становятся ещё более тревожными, когда инструменты на базе ИИ начинают автоматизировать обнаружение уязвимостей, и эта обеспокоенность разделяется сообществом исследователей безопасности.
Он отдельно выделил инфраструктуру Ethereum (ETH), механизмы консенсуса и постквантовую криптографию как приоритетные цели для усиления защиты.
Вместо опоры на традиционные аудиты Бутерин said, что разработчикам следует внедрять формальную верификацию — подход, который математически доказывает, что код ведёт себя так, как задумано, при заданных условиях.
Также по теме: Crypto Funds Bleed $1.07B As Iran Tensions End Six-Week Inflow Run
Формальная верификация как защита
«ИИ даёт возможность писать большие объёмы кода ценой точности, а формальная верификация возвращает вам точность», — написал Бутерин.
Он возразил исследователям, которые считают, что программное обеспечение, созданное ИИ, стало принципиально ненадёжным, и представил более оптимистичную позицию.
По мнению Бутерина, сочетание написания кода с помощью ИИ и инструментов верификации со временем позволит создавать ПО, более надёжное, чем то, что разрабатывают люди без таких средств.
Он также отметил активные проекты, такие как Arklib и evm-asm, которые сосредоточены на защите криптографической инфраструктуры и программного обеспечения Ethereum Virtual Machine.
В эссе он warned, однако, что формальная верификация не является панацеей. Даже математически доказанные системы могут давать сбой, если разработчики проверяют неверные предположения или если эксплойты находятся вне проверяемого участка кода.
Послужной список Бутерина в области безопасности
Бутерин описал будущее, в котором чувствительная цифровая инфраструктура концентрируется в более компактных «защищённых ядрах» — системах, изолированных и тщательно верифицированных, в то время как менее критичные приложения работают с ограниченными правами.
Сооснователь Ethereum неоднократно возвращался к теме безопасности ИИ в этом году. В феврале он предложил распределять выгоды от роста продуктивности ИИ между скоростью и безопасностью, а в мае поддержал инструменты формальной верификации, такие как Lean, для разработки с повышенными гарантиями. Его последний пост развивает эти тезисы и формулирует более широкий вывод: математическое доказательство как наиболее надёжный ответ на инструменты атак на базе ИИ как в блокчейн-системах, так и в традиционной инфраструктуре интернета.
Read Next: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul