Загрузка...
По словам соучредителя Ethereum Виталика Бутерина, разработчики, уделяющие приоритетное внимание безопасности, могут рассчитывать на то, что в 2030-х годах код без ошибок станет реальностью.
После неоднозначного хардфорка Gnosis Chain, нацеленного на возврат $9,4 млн, похищенных в результате взлома Balancer, Бутерин заявил, что в 2030-х годах нельзя будет сказать, что «ошибки неизбежны, невозможно написать код без ошибок».
Соучредитель Ethereum предположил, что прорывным решением может стать многоуровневая избыточность, позволяющая отфильтровывать пробелы между замыслом и реализацией. Он указал на системы типов как на одну из форм избыточности, а на формальную проверку конкретных утверждений о коде как на другой уровень.
Формальная верификация позволяет выявить такие проблемы, как целочисленное усечение и переполнение, повторный вход и неэффективная оптимизация использования газа, которые могут ускользнуть от внимания аудиторов и тестировщиков. В то же время традиционное тестирование позволяет только проверить наличие ошибок, но не их отсутствие.
Бутерин также отметил, что в некоторых программах ошибки будут появляться и дальше, потому что в определённых случаях функциональность важнее совершенства. Но у разработчиков, которые уделяют приоритетное внимание безопасности, будут инструменты для создания действительно безошибочного кода.
Информация на сайте носит исключительно информационный и образовательный характер и не является инвестиционной рекомендацией или финансовым советом. Криптовалюты и цифровые активы связаны с высоким уровнем риска, включая возможную потерю капитала. Редакция не несёт ответственности за решения, принятые на основе опубликованных материалов. Перед принятием инвестиционных решений рекомендуется проводить собственное исследование (DYOR). Ознакомиться с редакционной политикой https://happycoin.club/about/
