Виталик описывает усовершенствованную с помощью ИИ формальную верификацию как ключ к роли Ethereum в обеспечении безопасности 19 мая

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

Виталик подчеркнул, что такой подход особенно подходит для дальнейших обновлений Ethereum, включая квантоустойчивые подписи, системы доказательств STARK, консенсус с устойчивостью к византийским сбоям и ZK-EVM. Он заявил, что на фоне растущих вызовов безопасности со стороны ИИ Ethereum станет важной частью архитектуры «security core», где критически важные системы усиливаются формальными методами, а периферийные компоненты работают в песочницах с минимальными привилегиями.