Виталик Бутерин: Безошибочный исходный код может стать реальностью к 2030 году

Виталик Бутерин считает, что полностью безошибочный исходный код может стать реальностью к 2030 году, по крайней мере для разработчиков, ставящих безопасность превыше всего. Это мнение он высказал после спорного хардфорка Gnosis Chain в декабре 2024 года, направленного на возврат 9,4 миллиона долларов, потерянных в результате атаки на Balancer.

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

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