эфириум Eip-8390 синк-комитет легкий клиент Zk-доказательства Altair cryptoslate.com

Недавно объединенное предложение Ethereum удаляет синк-комитет из 512 валидаторов сети, убирает его вознаграждения и делает текущий интерфейс легкого клиента Altair устаревшим, заменяя его офчейн-доказательствами с нулевым разглашением.
Черновик EIP-8390 оценивает, что удаление веса вознаграждения комитета сократит годовую эмиссию консенсуса примерно на 33 800 ETH.
Ethereum откажется от внутрипротокольного механизма, который позволяет легким клиентам отслеживать beacon chain до того, как будут определены предлагаемые сервис доказательств, интерфейс миграции и экономическая поддержка.
Синк-комитет — это выборка из 512 валидаторов, сообщения которой дают легким клиентам компактный способ отслеживать Ethereum без обработки полного набора валидаторов.
Предложение поступило в официальный репозиторий EIP 24 августа в 02:04 UTC, но его статус «Черновик» делает его дизайном для обсуждения, а не принятым обновлением. У него нет эпохи активации или привязки к дорожной карте Ethereum, и документ оставляет составление графика командам клиентов.
В ветке обсуждения автора не указано внешних рецензий в обновлении первоначального черновика.

Эмиссия снижается, но меняется компромисс по безопасности

Формула вознаграждения консенсуса Ethereum присваивает синк-комитету вес 2 в знаменателе 64. EIP-8390 удаляет этот вес без перераспределения, что приводит к сокращению эмиссии консенсуса на 2/64, или 1/32.
В черновике приводится снимок: 901 505 валидаторов и 42 328 615 ETH в стейкинге. По сравнению с оценкой примерно 1,082 млн ETH годовой эмиссии консенсуса, удаленная доля составляет примерно 33 800 ETH в год.
Расчет 1/32 не означает сокращение на 3,125% общей реализованной доходности каждого валидатора. Он применяется к эмиссии консенсуса, выделяемой на вознаграждения синк-комитета, тогда как реализованная доходность может включать другие вознаграждения консенсуса и доход от исполнительного уровня.
Altair не определяет условие slashing специально для валидатора, подписавшего вредоносное сообщение синк-комитета. EIP-7657, отдельное предложение, которое пыталось добавить такое наказание, теперь помечено как «Stagnant». В нем предупреждалось, что приложения, обеспечивающие безопасность более 512 раз по 32 ETH, или 16 384 ETH, должны комбинировать протокол легкого клиента с другими защитами.
Эта цифра была предупреждением дизайна при максимальном эффективном балансе в 32 ETH, но тем не менее она отражает озабоченность, стоящую за EIP-8390: подписи выборки помогают легким клиентам следить за Ethereum, однако вредоносные сообщения синк-комитета не несут собственного условия slashing в протоколе.
Удаление выборки заменит эту проблему подотчетности на другую зависимость. Ожидается, что легкие клиенты будут проверять доказательство с нулевым разглашением финальности Casper FFG по всему набору валидаторов.
Это доказательство станет сигналом финальности для клиентов, которые не обрабатывают полный набор валидаторов.

Легким клиентам Ethereum потребуется еще не созданная замена

EIP-8390 удалит обязанности валидаторов, сетевые сообщения, контейнеры данных легкого клиента и несколько конечных точек Beacon API. В предложении говорится, что развернутые легкие клиенты Altair, которые синхронизируются через LightClientUpdate, перестанут работать при форке.
Затронутая категория включает программное обеспечение, использующее стандартный поток обновлений Altair. Helios, который может быть встроен в кошельки и децентрализованные приложения, полагается на консенсусную конечную точку, поддерживающую API Beacon легкого клиента Ethereum. Lodestar предоставляет пакет легкого клиента для потребителей, построенный вокруг этого пути.
Nimbus предоставляет интерфейс легкого клиента для тех же объектов обновления, а клиент Ethereum IBC от Datachain конструирует заголовки из данных LightClientUpdate и FinalityUpdate, полученных через Beacon RPC.
Эти проекты являются подтвержденными примерами, и фактическое влияние форка на них будет зависеть от того, используют ли они еще удаленные интерфейсы, и какие миграции выпустят их разработчики.
Текущая спецификация Altair определяет поток обновлений, который потребляют эти реализации. EIP-8390 удаляет этот поток, не предоставляя заменяющий контракт Beacon API или спецификацию миграции клиента.
EIP-8390 утверждает, что финальность Casper FFG может быть доказана в течение одной эпохи на одном GPU и проверена за миллисекунды, но черновик не приводит воспроизводимой реализации, схемы, аппаратного профиля или эталонного теста в поддержку этого утверждения.
Одна сопоставимая общедоступная конструкция полного набора сообщает о предварительной обработке менее чем за минуту на 64-ядерном CPU без ускорения GPU и описывает части окончательной композиции доказательства как будущую или незавершенную работу. Работа демонстрирует прогресс при другой аппаратной конфигурации.
EIP не определяет сервис доказательств, его интерфейс клиента, модель надежности, операторов или финансирование. Черновик также явно не добавляет внутрипротокольного стимула для создания доказательств финальности и не предлагает никакого, хотя офчейн-финансирование или финансирование общественных благ все еще может появиться вне протокола.
Ethereum променяет один несовершенный механизм доверия на инфраструктуру, которая еще не является частью спецификации. Экономия на эмиссии конкретна в цифрах самого предложения, в то время как доступность замены, путь миграции и экономические аспекты остаются открытыми.
Продвижение EIP-8390 к активации потребует протестированного интерфейса для легких клиентов, рабочих миграций для текущих потребителей Altair и общедоступного производства доказательств, которое будет оставаться доступным, когда пользователи зависят от него.

Всегда имейте в виду, что редакции могут придерживаться предвзятых взглядов в освещении новостей.