Buterin: Ethereum после Hegotá сделает упор на доказательства
27 сентября Vitalik Buterin заявил, что Hegotá, апгрейд протокола после Glamsterdam, ожидаемый примерно в 2027 году, вероятно станет последним «обычным» форком Ethereum. Он определил «обычный» как такие обновления, чьи технологии останутся узнаваемыми для человека, знакомого с Ethereum в 2015 году. Будущие форки переключатся на инфраструктуру, основанную на криптографических доказательствах, формальной верификации и устойчивости к квантовым атакам.
Ethereum 2030
Архитектура proof-first: описанный Buterin сдвиг
Сегодня для полной верификации узлам нужно пересчитывать каждую транзакцию: проверять балансы и правила приложений путем повторного выполнения. Добавление узлов не увеличивает пропускную способность, потому что каждый повторяет одни и те же проверки.
Предложенная Buterin модель, изложенная в «The cryptographic world computer», переходит к доказательствам с нулевым разглашением: процессор выполняет транзакции и выдает краткое доказательство того, что правила соблюдены. Остальные узлы проверяют это доказательство быстрее, чем заново выполнять вычисления. Отдельные проверки доступности данных обеспечивают, что исходные данные транзакций остаются доступными для получения.
Что изменится к 2030 году: производительность, приватность и ограничения
В этой схеме специализированные компьютеры берут на себя разные роли и одновременно проверяют результаты друг друга. Ethereum по-прежнему решает вопрос упорядочивания, например конфликтов между двумя транзакциями, тратящими одни и те же средства. Buterin нацеливается на более широкую приватность: сокрытие проверок баланса кошелька вдобавок к суммам платежей, поскольку сейчас серверы могут выводить отслеживаемые адреса, даже если суммы скрыты.
Набросок Buterin на 2030 год предполагает финальность платежей за 8–32 секунды. Он отмечает ограничения: сложные приложения все равно столкнутся с издержками и пределами приватности. Генерация доказательств должна стать эффективной, чтобы модель была практичной.
Координация, решаемая доказательствами: уроки прошлых попыток
Предыдущие попытки распределить верификацию десятилетие назад столкнулись с проблемой: в сети не было надежного способа подтверждать корректность каждого участника. Назначение задач подмножествам валидаторов вносило задержки координации и риски на случай, если группа подведет. Доказательства дают проверяемый ответ с подтверждаемыми уликами без повторного исполнения, закрывая недостающее звено.
Zcash демонстрирует приватность в продакшене через shielded-транзакции: по состоянию на пятницу около 4,9 млн ZEC находятся в shielded-пулах. Для Ethereum снижение стоимости доказательств и координация параллельных обновлений общего состояния остаются инженерной задачей, а не финализированным пунктом дорожной карты.
Масштаб Hegotá и что дальше
Hegotá — это не форк для устойчивости к квантовым атакам. Buterin рассматривает квантово-устойчивую криптографию, инструменты формальной верификации и оптимизированный proof-of-stake как ключевые направления форков после Hegotá. Речь идет не о меньшем количестве хардфорков, а о новой цели: заменить повторные вычисления математическими доказательствами как основным механизмом доверия.
