Предложение по Ethereum может сократить выпуск на 33 800 ETH и вывести из строя все развернутые лёгкие клиенты Altair

Проект EIP-8390 упразднит комитет синхронизации Ethereum, состоящий из 512 валидаторов, и отменит его вознаграждения. Согласно оценке проекта, это сократит годовой выпуск в рамках консенсуса примерно на 33 800 ETH. Проект заменит комитет офчейн-доказательствами финальности Casper FFG с нулевым разглашением. Эти доказательства станут сигналом финальности для лёгких клиентов, которые не обрабатывают полный набор валидаторов. Предложение появилось в официальном репозитории EIPs 24 августа в 02:04 UTC. Статус Draft означает, что это проект для обсуждения, а не принятое обновление. В проекте нет ни эпохи активации, ни обязательства включить его в дорожную карту Ethereum. Определение сроков оставлено командам клиентов. В обновлении первоначального проекта не указаны внешние аудиты. Формула консенсусного вознаграждения Ethereum присваивает комитету синхронизации вес 2 при знаменателе 64. Удаление этого веса сократит выпуск в рамках консенсуса на 2/64, то есть на 1/32. В проекте указаны 901 505 валидаторов и 42 328 615 ETH в стейкинге. Проект оценивает годовой выпуск в рамках консенсуса примерно в 1,082 млн ETH. Оценка в 33 800 ETH относится к консенсусным вознаграждениям комитета синхронизации. Она не означает сокращения на 3,125% общей фактически реализованной доходности каждого валидатора. На фактическую доходность могут влиять другие консенсусные вознаграждения и доход на уровне исполнения. В Altair нет отдельного условия слешинга для валидатора, подписавшего вредоносное сообщение комитета синхронизации. Отдельный EIP-7657 стремился добавить такое наказание, но теперь имеет статус Stagnant. EIP-7657 предупреждал, что приложения, защищающие более 16 384 ETH, должны сочетать протокол лёгких клиентов с другими средствами защиты. Предложение удалит обязанности валидаторов комитета синхронизации, сетевые сообщения, контейнеры данных лёгких клиентов и несколько конечных точек Beacon API. В предложении говорится, что развернутые лёгкие клиенты Altair, синхронизирующиеся через LightClientUpdate, перестанут работать при хардфорке. Helios зависит от консенсусной конечной точки, поддерживающей Beacon API лёгких клиентов Ethereum. Lodestar предоставляет клиентский пакет лёгкого клиента, построенный вокруг того же пути обновления. Nimbus открывает интерфейс лёгкого клиента для тех же объектов обновления. IBC-клиент Ethereum от Datachain формирует заголовки из данных LightClientUpdate и FinalityUpdate, полученных через Beacon RPC. Фактическое влияние хардфорка на эти проекты будет зависеть от того, используют ли они по-прежнему удаляемые интерфейсы. Оно также будет зависеть от миграций, выпущенных их сопровождающими. EIP-8390 удаляет текущий поток обновлений, не предоставляя контракт замещающего Beacon API или спецификацию миграции клиентов. В проекте утверждается, что финальность Casper FFG можно доказать в течение одной эпохи на одном GPU. Также утверждается, что клиенты смогут проверять доказательство за миллисекунды. Однако проект не приводит воспроизводимой реализации, схемы, профиля оборудования или бенчмарка для этих утверждений. Сопоставимая публичная конструкция для полного набора сообщает о предварительной обработке менее чем за минуту на 64-ядерном CPU без ускорения GPU. В этой конструкции отдельные части формирования окончательного доказательства описаны как будущая или еще не созданная работа. EIP-8390 не определяет сервис формирования доказательств, интерфейс клиента, модель надежности, операторов или финансирование. Проект не добавляет внутрипотоковый стимул для создания доказательств финальности. Офчейн-финансирование или финансирование как общественного блага все еще может возникнуть за пределами протокола. Предложение оставляет нерешенными вопросы доступности, пути миграции и экономики замещающей системы. Продвижение EIP-8390 к активации потребует протестированного интерфейса лёгкого клиента, работающих миграций для нынешних пользователей Altair и общедоступного формирования доказательств.