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