Эфириум-один из соучредителей Виталик Бутерин недавно поделился интересным техническим прогнозом: утверждение о том, что "уязвимости неизбежны, а в коде обязательно есть баги", возможно, уже не будет актуальным к 2030-м годам.

Его мнение очень реалистично — сейчас действительно существует множество программного обеспечения с уязвимостями, но это не связано с невозможностью технологий, а скорее с тем, что в многих сценариях быстрые итерации и улучшение функций важнее, чем абсолютная правильность кода. Компании и разработчики часто идут на компромисс между этими двумя аспектами.

Но что если действительно потребуется код без уязвимостей? Виталик считает, что будущие технологические средства смогут обеспечить это. Особенно это важно для экосистемы Web3 — смарт-контракты связаны с безопасностью средств, и абсолютная надежность кода перестает быть роскошью, а становится необходимостью.

От формальной верификации до AI-помощи в аудитах, от оптимизации компиляторов до защиты во время выполнения — в области блокчейна уже накапливаются такие технические инструменты. Возможно, к 2030-м годам мы действительно увидим переопределение баланса между безопасностью и функциональностью.