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