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

2025-12-25 03:11:35

Генерация тезисов в процессе

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

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

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

GNO3,5%

BAL2,65%

Посмотреть Оригинал

На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .