Сооснователь Ethereum Виталик Бутерин в ходе дискуссии в социальной сети X (бывший Twitter) высказал мнение, что вера в неизбежность ошибок в коде перестанет быть актуальной к 2030-м годам. Обсуждение было инициировано после того, как Gnosis Chain 22 декабря провела хардфорк для возврата $9,4 млн, похищенных в результате ноябрьского взлома Balancer, в ходе которого общие убытки на нескольких блокчейнах превысили $128 млн.
Бутерин подчеркнул, что формальная верификация не тождественна доказательству отсутствия ошибок, а создание «доказательно безошибочного» кода может быть невозможным, поскольку «отсутствие ошибок» подразумевает «отсутствие разрыва между замыслом и исполнением кода», а замысел является чрезвычайно сложным объектом. Тем не менее, он выразил уверенность, что разработчики, уделяющие приоритетное внимание безопасности, смогут достичь создания по-настоящему безошибочного кода в следующем десятилетии.
В качестве решения Бутерин предложил использовать многоуровневую избыточность для устранения разрывов между намерением и исполнением. Он указал на системы типов как на одну форму избыточности, а формальную верификацию конкретных утверждений о коде — как на другой уровень. Формальная верификация может выявлять такие проблемы, как целочисленные переполнения, реентерабельность и неоптимальное использование газа, которые могут ускользнуть от аудиторов.
При этом некоторые ранние сообщения от 24 декабря 2025 года о якобы сделанном Бутериным предсказании «безошибочного будущего для смарт-контрактов» не нашли официального подтверждения в его первоначальных каналах коммуникации и остались на уровне спекуляций. Рынок не продемонстрировал заметной реакции на эти неподтверждённые сообщения.
