В прошлом году EigenLayer опубликовала свой официальный документ, завершила раунд финансирования серии A на сумму 50 миллионов долларов и запустила первую фазу своей основной сети. В течение этого периода сообщество Ethereum также провело обширные дискуссии вокруг EigenLayer и вариантов его использования. Эта статья будет отслеживать и сортировать эти обсуждения.
фон
В экосистеме Ethereum некоторые службы промежуточного программного обеспечения (например, машины-оракулы) не полностью полагаются на логику цепочки, поэтому они не могут напрямую полагаться на консенсус и безопасность Ethereum, и им необходимо перенаправить сеть доверия. Обычный подход заключается в том, чтобы сначала запустить проект, затем ввести символические стимулы для привлечения участников системы и постепенно добиться децентрализации.
При этом есть как минимум две трудности. Во-первых, внедрение механизма стимулирования требует дополнительных затрат: стоимость возможности для участников приобрести токены для участия в залоге и операционные затраты для стороны проекта на поддержание стоимости токенов. Во-вторых, даже если вышеуказанные затраты будут оплачены и построена децентрализованная сеть, ее безопасность и устойчивость все еще неизвестны. Эти два пункта особенно сложны для стартап-проектов.
Идея EigenLayer состоит в том, чтобы обеспечить экономическую безопасность этого промежуточного программного обеспечения (Actively Validated Services, AVS) путем повторного захвата существующими участниками Ethereum. Если эти перезалогодатели будут работать честно, они могут быть вознаграждены, а если они совершат зло, первоначальный залог Ethereum будет утрачен.
Преимущества этого: во-первых, участнику проекта не нужно самостоятельно управлять новой сетью доверия, а передать ее валидаторам Ethereum, максимально сокращая капитальные затраты; во-вторых, экономическая безопасность набора валидаторов Ethereum очень высока. твердое, так что безопасность также в определенной степени гарантирована. С точки зрения залогодателей Ethereum, повторное залогирование обеспечивает им дополнительный доход.Пока нет субъективного злого умысла, общий риск можно контролировать.
Шрирам, основатель EigenLayer, однажды упомянул в Твиттере и подкастах три варианта использования и модели доверия EigenLayer:
Экономический трест. То есть повторное использование ставок Ethereum, размещение токенов более высокой стоимости означает более надежную экономическую безопасность, как обсуждалось выше.
Децентрализованное доверие. Вредоносное поведение некоторых сервисов (например, разглашение секретов) не может быть объяснено, что делает невозможным использование механизма удаления. Должна быть достаточно децентрализованная, независимая группа, делающая что-то, чтобы защититься от риска сговора и сговора.
Обязательства валидатора Ethereum. Производители блоков берут на себя определенные надежные обязательства, используя обещанные риски в качестве залога. Ниже мы приведем несколько примеров для дальнейшей иллюстрации.
участников системы
EigenLayer служит открытым рынком, объединяющим трех основных игроков.
Перезалог. Если у вас есть возможность делать ставки на Ethereum, вы можете участвовать в повторной ставке, передав учетные данные для вывода средств в EigenLayer или просто внеся LST, например stETH, для участия. Если повторно заинтересованная сторона не может самостоятельно управлять узлом AVS, она также может делегировать свое воздействие оператору.
оператор. Оператор принимает делегирование от повторных заинтересованных сторон и запускает узел AVS. Они свободны выбирать, какие AVS обслуживать. После того как вы предоставите услугу AVS, вам необходимо принять определенные ею правила сокращения.
АВС. AVS, как покупатель/потребитель, должен платить перезакладчикам и получать экономическую безопасность, которую они обеспечивают.
Учитывая эти базовые концепции, давайте рассмотрим конкретные случаи использования EigenLayer.
ЭйгенДА
EigenDA — флагманский продукт, выпущенный EigenLayer.Решение основано на Danksharding, решении для расширения Ethereum. Среди них выборка доступности данных (DAS) также широко используется в проектах DA, таких как Celestia и Avail. В этой главе мы кратко познакомимся с DAS, а затем рассмотрим, как реализован EigenDA и его нововведения.
ОН
В качестве внешнего решения для Danksharding EIP-4844 представляет «транзакцию с переносом BLOB-объектов», каждая транзакция будет содержать дополнительные 125 КБ данных. В контексте расширения сегментирования данных вновь добавленные данные, несомненно, увеличат нагрузку на узлы. Итак, есть ли способ заставить узел загружать только небольшую часть данных, а также проверять, что все данные доступны?
Что делает DAS, так это позволяет узлам случайным образом выбирать небольшую часть данных несколько раз. Каждая успешная выборка повышает уверенность узла в доступности данных. При достижении определенного предустановленного уровня данные считаются доступными. Однако злоумышленник все же может скрыть небольшую часть данных — нам тоже нужна некая отказоустойчивость.
DAS использует стирающее кодирование (Erasure Coding). Основная идея стирающего кодирования заключается в разделении данных на фрагменты и последующем кодировании этих фрагментов для создания дополнительных избыточных фрагментов. Эти избыточные блоки содержат часть информации исходных блоков данных, поэтому в случае потери или повреждения некоторых блоков данных потерянные блоки данных можно восстановить с помощью избыточных блоков. Таким образом, стирающее кодирование обеспечивает избыточность и надежность DAS.
Кроме того, нам также необходимо проверить, правильно ли закодированы полученные избыточные блоки, поскольку исходные данные невозможно восстановить с помощью неправильного избыточного блока. Данкшардинг использует обязательства KZG (Кейт-Заверуча-Гольдберг). KZG Commitment — это метод проверки полинома, который может доказать, что значение полинома в определенной позиции соответствует указанному значению.
Доказывающий выбирает полином p(x) и использует p(x) для расчета обязательств для каждого блока данных, называемого C1, C2,..., Cm. Доказывающая программа опубликует обязательство вместе с блоком данных. Чтобы проверить кодировку, верификатор может случайным образом выбрать t точек x1, x2, ..., xt и попросить проверяющего открыть обязательства в этих точках: p(x1), p(x2), ..., p(xt ). . Используя лагранжеву интерполяцию, верификатор может восстановить полином p(x) по этим t точкам. Теперь верификатор может использовать восстановленный полином p(x) и блоки данных для повторного расчета обязательств C1', C2',..., Cm' и проверки их соответствия опубликованным обязательствам C1, C2,..., Cm.
Короче говоря, используя обязательства KZG, верификаторам требуется лишь небольшое количество баллов для проверки правильности всей кодировки. Таким образом, мы получаем полный DAS.
Как
EigenLayer заимствует идеи у DAS и применяет их к EigenDA.
Сначала узлы EigenDA перезакладываются и регистрируются в контракте EigenLayer.
Во-вторых, после того как секвенсор получает данные, он делит их на несколько блоков, использует коды стирания для создания избыточных блоков и вычисляет обязательство KZG, соответствующее каждому блоку данных. Sequencer публикует обязательства KZG по контракту EigenDA в качестве свидетеля.
Впоследствии Sequencer распределяет блоки данных вместе с их обязательствами KZG по каждому узлу EigenDA один за другим. После того как узел получает обязательство KZG, он сравнивает его с обязательством KZG в контракте EigenDA, сохраняет блок данных после подтверждения его правильности и подписывает его.
После этого Sequencer собирает эти подписи, генерирует агрегированные подписи и публикует их в контракте EigenDA, а контракт EigenDA проверяет подписи. После того как проверка подписи верна, весь процесс завершается.
В описанном выше процессе узел EigenDA утверждает, что сохранил блок данных только посредством подписей. Нам также нужен способ гарантировать, что узел EigenDA не лжет. EigenDA принимает доказательство хранения.
Идея доказательства хранения состоит в том, чтобы заложить в данные «бомбу», и как только узел их подпишет, они будут уничтожены. Чтобы реализовать доказательство условного депонирования, необходимо разработать: секретное значение для различения разных узлов DA во избежание мошенничества; функцию, специфичную для узла DA, принимающую данные DA и секретное значение в качестве входных данных, а также наличие или отсутствие бомбы как результат. Если узел не сохраняет полные данные, он не сможет вычислить функцию. Данкрад поделился более подробной информацией о Proof of Escrow в своем блоге.
Если появится ленивый узел, любой может отправить подтверждение контракту EigenDA, и контракт проверит доказательство. Если проверка пройдет, ленивый узел будет наказан.
Что касается требований к оборудованию, обязательство KZG по вычислению 32 МБ данных за 1 секунду требует примерно 32-64 ядерных процессоров, но это требование касается только стороны Sequencer и не будет налагать нагрузку на узел EigenDA. В тестовой сети EigenDA пропускная способность 100 узлов EigenDA достигла 15 МБ/с, тогда как потребность в пропускной способности загрузки узлов составила всего 0,3 МБ/с (намного ниже требований для запуска валидаторов Ethereum).
**Подводя итог, мы видим, что EigenDA реализовала разделение доступности данных и консенсуса, и распространение блоков данных больше не ограничивается узким местом протокола консенсуса и низкой пропускной способностью P2P-сети. Потому что EigenDA эквивалентен бесплатному использованию консенсуса Ethereum: процесс выдачи Sequencer обязательств KZG и агрегированных подписей, проверки подписей с помощью смарт-контрактов и удаления вредоносных узлов — все это происходит в Ethereum, а Ethereum предоставляет гарантии консенсуса, поэтому нет необходимо перезагрузить доверительную сеть. **
Проблемы DAS
В настоящее время DAS как технология имеет некоторые ограничения. Мы должны предположить, что злонамеренный контрагент попытается любыми возможными способами обмануть легкие узлы, заставив их принять ложные данные. Шрирам заявил следующее в своем твиттере.
Чтобы один узел имел достаточно высокую вероятность доступности данных, необходимо выполнить следующие требования:
Случайная выборка: Каждый узел должен независимо и случайным образом отобрать несколько образцов для отбора проб, при этом контрагент не знает, кто какие образцы запросил. Таким образом, контрагент не может соответствующим образом изменить стратегию, чтобы обмануть узлы.
Параллельная выборка: DAS должен выполняться несколькими узлами одновременно, что делает невозможным для злоумышленника отличить выборку одного узла от выборки других узлов.
Выборка частных IP-адресов: означает использование анонимного IP-адреса для каждого запрашиваемого блока данных. В противном случае злоумышленник может идентифицировать различные узлы, выполняющие выборку, и выборочно предоставлять узлам запрошенные части, не предоставляя другие части данных.
Мы можем позволить нескольким легким узлам выполнять случайную выборку для обеспечения параллелизма и случайности, но в настоящее время не существует хорошего способа обеспечить выборку частных IP-адресов. Таким образом, векторы атак на DAS все еще существуют, поэтому DAS в настоящее время предоставляет лишь слабые гарантии. Эти вопросы продолжают активно решаться.
EigenLayer и MEV
Шрирам рассказал об использовании EigenLayer в стеке MEV на саммите MEVconomics. Сосредоточив внимание на криптоэкономических примитивах, таких как ставки и слэши, предлагающие могут реализовать следующие четыре характеристики, которые представляют собой третий пункт, упомянутый выше — вариант использования обязательства валидатора.
Активация по событию
Такие протоколы, как Gelato, позволяют реагировать на определенные события в сети. То есть непрерывный мониторинг событий в цепочке, и как только событие происходит, запускаются некоторые предопределенные операции.Эти задачи обычно выполняются сторонними слушателями/исполнителями.
Его называют «третьей стороной», потому что между слушателем/исполнителем и предлагающим, который фактически обрабатывает пространство блока, нет связи. Предположим, что слушатель/исполнитель инициирует транзакцию, но (по какой-то причине) не включен в блок предлагающим. Это не может быть атрибутировано и, следовательно, не может принести детерминированные экономические гарантии.
Если эта услуга предоставляется участвующими предлагающими, они могут взять на себя надежные обязательства по запуску операций, и если эти транзакции не будут окончательно включены в блок, предлагающий будет сокращен. Это обеспечивает более сильные гарантии, чем сторонние прослушиватели/исполнители.
В практических приложениях (например, в протоколах кредитования) одной из целей установления уровня избыточного обеспечения является покрытие колебаний цен в определенном временном диапазоне. Это связано с временным окном перед ликвидацией: более высокий коэффициент избыточного обеспечения означает более длительный буферный период. Если большая часть транзакций использует реактивную стратегию, управляемую событиями, и имеет надежные гарантии, предоставляемые предлагающими, то (для высоколиквидных активов) волатильность уровня избыточного обеспечения может быть ограничена несколькими интервалами блоков, тем самым уменьшая избыточное обеспечение. - уровень обеспечения и повышение эффективности капитала.
Аукцион частичной блокировки
В текущей конструкции MEV-Boost предлагающий полностью передает пространство блока строителю и может только пассивно получать и предлагать весь блок, представленный строителем. По сравнению с более широко распространенными предлагающими, существует лишь горстка разработчиков, и они могут вступать в сговор с целью цензуры и вымогательства конкретных транзакций, поскольку предлагающие не могут включать транзакции, которые им нужны, в MEV-Boost.
EigenLayer предлагает MEV-Boost++ для обновления MEV-Boost, вводит часть предложения в блок, и предлагающий может включать любую транзакцию в часть предложения. Предлагающий также может одновременно построить альтернативный блок B-alt и предложить этот альтернативный блок B-alt, если реле не освобождает Builder_part. Такая гибкость обеспечивает устойчивость к цензуре и одновременно решает проблему жизнеспособности реле.
Это согласуется с дизайном уровня протокола — целью crList, предложенной ePBS, то есть нам необходимо обеспечить, чтобы широкий круг предлагающих мог участвовать в принятии решения о составе блока для достижения устойчивости к цензуре.
Пороговое шифрование
В решении MEV, основанном на пороговом шифровании, группа распределенных узлов управляет ключами шифрования и дешифрования. Пользователи шифруют транзакции, которые расшифровываются и выполняются только после включения транзакции в блок.
Однако пороговое шифрование основано на предположении о честности большинства. Если большинство узлов действуют злонамеренно, это может привести к тому, что расшифрованные транзакции не будут включены в блок. Предлагающие повторную ставку могут взять на себя надежные обязательства по зашифрованной транзакции, чтобы гарантировать ее включение в блок. Если предлагающий не включает расшифрованную транзакцию, она будет сокращена. Конечно, если злонамеренное большинство узлов не выдает ключ дешифрования, предлагающий может предложить пустой блок.
Долгосрочный аукцион блоков
Долгосрочные аукционы блочного пространства позволяют покупателям блочного пространства заранее зарезервировать будущее блочное пространство для валидатора. Валидаторы, которые участвуют в рестейкинге, могут взять на себя заслуживающие доверия обязательства и будут лишены прав, если не включат транзакцию покупателя по истечении срока ее действия. Эта гарантия доступа к блочному пространству имеет несколько практических вариантов использования. Например, оракулу необходимо подавать цены за определенный период времени; Arbitrum выпускает данные L2 в Ethereum L1 каждые 1-3 минуты, Optimism каждые 30 секунд — 1 минуту и т. д.
#PEPC
Давайте вернемся к PEPC (Protocol-enforced Proposer Commitment), который недавно широко обсуждался в сообществе Ethereum. PEPC на самом деле является продвижением или обобщением ePBS.
Давайте разберем эту логическую цепочку по порядку.
Во-первых, в качестве примера возьмем PBS MEV-Boost вне протокола. В настоящее время MEV-Boost использует механизм слэшинга на уровне протокола Ethereum, то есть, если предлагающий подписывает два разных заголовка блока на одной и той же высоте блока, они будут порезанный. Поскольку предлагающий должен подписать заголовок блока, отправленный ретранслятором, что эквивалентно привязке между заголовком блока и предлагающим, поэтому у ретранслятора есть основания полагать, что блок строителя будет предложен. В противном случае предлагающего можно будет только заставить отказаться от слота или предложить другой блок (что приведет к косой черте). На этом этапе обязательство предлагающего обеспечивается экономической безопасностью ставок/сокращений.
*Приблизительно важным принципом при разработке ePBS является «безопасность публикаций честных разработчиков», которая гарантирует, что блоки, опубликованные честными разработчиками, будут предложены. Как PBS в протоколе, ePBS будет включен в консенсусный уровень Ethereum и гарантирован протоколом.
PEPC — это дальнейшее продвижение ePBS. ePBS обещает, что «блок строителя будет предложен». Если этот вопрос распространится на аукционы частичных блоков, аукционы параллельных блоков, аукционы будущих блоков и т. д., мы можем позволить предлагающим делать больше вещей - и уровень протокола гарантирует что эти вещи сделаны правильно.
Между PEPC и EigenLayer существует тонкая связь. Нетрудно обнаружить, что между вышеупомянутыми вариантами использования PEPC и вариантами использования производителей блоков EigenLayer есть некоторое сходство. Однако важное различие между EigenLayer и PEPC заключается в том, что предлагающие, участвующие в повторном залоге, теоретически все равно могут нарушить свои обязательства, хотя и будут подвергнуты финансовому наказанию; в то время как PEPC фокусируется на «принудительном протоколе», то есть обязательном исполнении. на уровне протокола.Если обещание не может быть выполнено, блок будет недействителен.
(PS: При грубом взгляде легко обнаружить, что EigenDA похож на Danksharding, а MEV-Boost++ похож на ePBS. Эти два сервиса похожи на добровольную версию конструкции уровня протокола. По сравнению с уровнем протокола , это более быстрое рыночное решение. , идти в ногу с тем, что Ethereum собирается делать в будущем, и поддерживать согласованность Ethereum посредством повторной ставки).
Не перегружайте консенсус Ethereum?
Несколько месяцев назад статья Виталика «Не перегружайте консенсус Ethereum» была воспринята большинством как критика рестейкинга. Автор считает, что это всего лишь напоминание или предупреждение о необходимости поддерживать социальный консенсус. Основное внимание уделяется социальному согласию, а не отказу от повторных обещаний.
В зачаточном состоянии Ethereum атака DAO вызвала огромные споры, и в сообществе шла горячая дискуссия о том, следует ли проводить хард-форк. Сегодня экосистема Ethereum, включая Rollup, уже содержит огромное количество приложений. Поэтому очень важно избегать возникновения больших разногласий внутри сообщества и поддерживать последовательность социального консенсуса.
Гермиона создает успешный уровень 2 и утверждает, что, поскольку ее уровень 2 является самым большим, он по своей сути и наиболее безопасен, потому что, если произойдет ошибка, которая приведет к краже средств, потери будут настолько велики, что у сообщества не будет выбора. но форк для возврата средств пользователей Высокий риск.
Приведенная выше цитата из оригинала является хорошим примером. Сегодня общая ТВЛ Л2 превышает десятки миллиардов долларов.Если и возникнет проблема, то она потребует немалого. В настоящее время, если сообщество предложит провести хард-форк и откатить состояние, это неизбежно вызовет огромные споры. Если предположить, что у нас с вами на нем большая сумма денег, как мы выберем — вернуть деньги или опасаться неизменности блокчейна? Точка зрения Виталика такова: проекты, которые полагаются на Эфириум, должны правильно управлять рисками и не должны пытаться завоевать социальный консенсус Эфириума и прочно связывать жизнь и смерть проекта с Эфириумом.
Возвращаясь к обсуждению EigenLayer, суть управления рисками заключается в том, что AVS необходимо определить объективные, внутрисетевые и атрибутивные правила сокращения, чтобы избежать разногласий. Например, двойное подписание блоков на Ethereum; подписание недействительного блока другой цепочки в кросс-чейн мосте на основе легких узлов; EigenDA Escrow Proof, обсуждавшееся выше, и многое другое. Это четкие правила конфискации.
Заключение
Ожидается, что EigenLayer завершит запуск основной сети в начале следующего года и выпустит свой флагманский продукт EigenDA. Многие инфраструктурные проекты заявили о сотрудничестве с EigenLayer. Выше мы обсуждали EigenDA, MEV и PEPC, и вокруг различных вариантов использования ведется много интересных дискуссий. Перезалог становится одним из доминирующих нарративов на рынке. Мы продолжим следить за развитием EigenLayer и делиться любыми мнениями!
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
EigenLayer: Replenishment представляет революцию доверия в промежуточном программном обеспечении
Источник: IOSG Ventures.
В прошлом году EigenLayer опубликовала свой официальный документ, завершила раунд финансирования серии A на сумму 50 миллионов долларов и запустила первую фазу своей основной сети. В течение этого периода сообщество Ethereum также провело обширные дискуссии вокруг EigenLayer и вариантов его использования. Эта статья будет отслеживать и сортировать эти обсуждения.
фон
В экосистеме Ethereum некоторые службы промежуточного программного обеспечения (например, машины-оракулы) не полностью полагаются на логику цепочки, поэтому они не могут напрямую полагаться на консенсус и безопасность Ethereum, и им необходимо перенаправить сеть доверия. Обычный подход заключается в том, чтобы сначала запустить проект, затем ввести символические стимулы для привлечения участников системы и постепенно добиться децентрализации.
При этом есть как минимум две трудности. Во-первых, внедрение механизма стимулирования требует дополнительных затрат: стоимость возможности для участников приобрести токены для участия в залоге и операционные затраты для стороны проекта на поддержание стоимости токенов. Во-вторых, даже если вышеуказанные затраты будут оплачены и построена децентрализованная сеть, ее безопасность и устойчивость все еще неизвестны. Эти два пункта особенно сложны для стартап-проектов.
Идея EigenLayer состоит в том, чтобы обеспечить экономическую безопасность этого промежуточного программного обеспечения (Actively Validated Services, AVS) путем повторного захвата существующими участниками Ethereum. Если эти перезалогодатели будут работать честно, они могут быть вознаграждены, а если они совершат зло, первоначальный залог Ethereum будет утрачен.
Преимущества этого: во-первых, участнику проекта не нужно самостоятельно управлять новой сетью доверия, а передать ее валидаторам Ethereum, максимально сокращая капитальные затраты; во-вторых, экономическая безопасность набора валидаторов Ethereum очень высока. твердое, так что безопасность также в определенной степени гарантирована. С точки зрения залогодателей Ethereum, повторное залогирование обеспечивает им дополнительный доход.Пока нет субъективного злого умысла, общий риск можно контролировать.
Шрирам, основатель EigenLayer, однажды упомянул в Твиттере и подкастах три варианта использования и модели доверия EigenLayer:
участников системы
EigenLayer служит открытым рынком, объединяющим трех основных игроков.
Учитывая эти базовые концепции, давайте рассмотрим конкретные случаи использования EigenLayer.
ЭйгенДА
EigenDA — флагманский продукт, выпущенный EigenLayer.Решение основано на Danksharding, решении для расширения Ethereum. Среди них выборка доступности данных (DAS) также широко используется в проектах DA, таких как Celestia и Avail. В этой главе мы кратко познакомимся с DAS, а затем рассмотрим, как реализован EigenDA и его нововведения.
В качестве внешнего решения для Danksharding EIP-4844 представляет «транзакцию с переносом BLOB-объектов», каждая транзакция будет содержать дополнительные 125 КБ данных. В контексте расширения сегментирования данных вновь добавленные данные, несомненно, увеличат нагрузку на узлы. Итак, есть ли способ заставить узел загружать только небольшую часть данных, а также проверять, что все данные доступны?
Что делает DAS, так это позволяет узлам случайным образом выбирать небольшую часть данных несколько раз. Каждая успешная выборка повышает уверенность узла в доступности данных. При достижении определенного предустановленного уровня данные считаются доступными. Однако злоумышленник все же может скрыть небольшую часть данных — нам тоже нужна некая отказоустойчивость.
DAS использует стирающее кодирование (Erasure Coding). Основная идея стирающего кодирования заключается в разделении данных на фрагменты и последующем кодировании этих фрагментов для создания дополнительных избыточных фрагментов. Эти избыточные блоки содержат часть информации исходных блоков данных, поэтому в случае потери или повреждения некоторых блоков данных потерянные блоки данных можно восстановить с помощью избыточных блоков. Таким образом, стирающее кодирование обеспечивает избыточность и надежность DAS.
Кроме того, нам также необходимо проверить, правильно ли закодированы полученные избыточные блоки, поскольку исходные данные невозможно восстановить с помощью неправильного избыточного блока. Данкшардинг использует обязательства KZG (Кейт-Заверуча-Гольдберг). KZG Commitment — это метод проверки полинома, который может доказать, что значение полинома в определенной позиции соответствует указанному значению.
Доказывающий выбирает полином p(x) и использует p(x) для расчета обязательств для каждого блока данных, называемого C1, C2,..., Cm. Доказывающая программа опубликует обязательство вместе с блоком данных. Чтобы проверить кодировку, верификатор может случайным образом выбрать t точек x1, x2, ..., xt и попросить проверяющего открыть обязательства в этих точках: p(x1), p(x2), ..., p(xt ). . Используя лагранжеву интерполяцию, верификатор может восстановить полином p(x) по этим t точкам. Теперь верификатор может использовать восстановленный полином p(x) и блоки данных для повторного расчета обязательств C1', C2',..., Cm' и проверки их соответствия опубликованным обязательствам C1, C2,..., Cm.
Короче говоря, используя обязательства KZG, верификаторам требуется лишь небольшое количество баллов для проверки правильности всей кодировки. Таким образом, мы получаем полный DAS.
EigenLayer заимствует идеи у DAS и применяет их к EigenDA.
Сначала узлы EigenDA перезакладываются и регистрируются в контракте EigenLayer.
Во-вторых, после того как секвенсор получает данные, он делит их на несколько блоков, использует коды стирания для создания избыточных блоков и вычисляет обязательство KZG, соответствующее каждому блоку данных. Sequencer публикует обязательства KZG по контракту EigenDA в качестве свидетеля.
Впоследствии Sequencer распределяет блоки данных вместе с их обязательствами KZG по каждому узлу EigenDA один за другим. После того как узел получает обязательство KZG, он сравнивает его с обязательством KZG в контракте EigenDA, сохраняет блок данных после подтверждения его правильности и подписывает его.
После этого Sequencer собирает эти подписи, генерирует агрегированные подписи и публикует их в контракте EigenDA, а контракт EigenDA проверяет подписи. После того как проверка подписи верна, весь процесс завершается.
В описанном выше процессе узел EigenDA утверждает, что сохранил блок данных только посредством подписей. Нам также нужен способ гарантировать, что узел EigenDA не лжет. EigenDA принимает доказательство хранения.
Идея доказательства хранения состоит в том, чтобы заложить в данные «бомбу», и как только узел их подпишет, они будут уничтожены. Чтобы реализовать доказательство условного депонирования, необходимо разработать: секретное значение для различения разных узлов DA во избежание мошенничества; функцию, специфичную для узла DA, принимающую данные DA и секретное значение в качестве входных данных, а также наличие или отсутствие бомбы как результат. Если узел не сохраняет полные данные, он не сможет вычислить функцию. Данкрад поделился более подробной информацией о Proof of Escrow в своем блоге.
Если появится ленивый узел, любой может отправить подтверждение контракту EigenDA, и контракт проверит доказательство. Если проверка пройдет, ленивый узел будет наказан.
Что касается требований к оборудованию, обязательство KZG по вычислению 32 МБ данных за 1 секунду требует примерно 32-64 ядерных процессоров, но это требование касается только стороны Sequencer и не будет налагать нагрузку на узел EigenDA. В тестовой сети EigenDA пропускная способность 100 узлов EigenDA достигла 15 МБ/с, тогда как потребность в пропускной способности загрузки узлов составила всего 0,3 МБ/с (намного ниже требований для запуска валидаторов Ethereum).
**Подводя итог, мы видим, что EigenDA реализовала разделение доступности данных и консенсуса, и распространение блоков данных больше не ограничивается узким местом протокола консенсуса и низкой пропускной способностью P2P-сети. Потому что EigenDA эквивалентен бесплатному использованию консенсуса Ethereum: процесс выдачи Sequencer обязательств KZG и агрегированных подписей, проверки подписей с помощью смарт-контрактов и удаления вредоносных узлов — все это происходит в Ethereum, а Ethereum предоставляет гарантии консенсуса, поэтому нет необходимо перезагрузить доверительную сеть. **
В настоящее время DAS как технология имеет некоторые ограничения. Мы должны предположить, что злонамеренный контрагент попытается любыми возможными способами обмануть легкие узлы, заставив их принять ложные данные. Шрирам заявил следующее в своем твиттере.
Чтобы один узел имел достаточно высокую вероятность доступности данных, необходимо выполнить следующие требования:
Мы можем позволить нескольким легким узлам выполнять случайную выборку для обеспечения параллелизма и случайности, но в настоящее время не существует хорошего способа обеспечить выборку частных IP-адресов. Таким образом, векторы атак на DAS все еще существуют, поэтому DAS в настоящее время предоставляет лишь слабые гарантии. Эти вопросы продолжают активно решаться.
EigenLayer и MEV
Шрирам рассказал об использовании EigenLayer в стеке MEV на саммите MEVconomics. Сосредоточив внимание на криптоэкономических примитивах, таких как ставки и слэши, предлагающие могут реализовать следующие четыре характеристики, которые представляют собой третий пункт, упомянутый выше — вариант использования обязательства валидатора.
Активация по событию
Такие протоколы, как Gelato, позволяют реагировать на определенные события в сети. То есть непрерывный мониторинг событий в цепочке, и как только событие происходит, запускаются некоторые предопределенные операции.Эти задачи обычно выполняются сторонними слушателями/исполнителями.
Его называют «третьей стороной», потому что между слушателем/исполнителем и предлагающим, который фактически обрабатывает пространство блока, нет связи. Предположим, что слушатель/исполнитель инициирует транзакцию, но (по какой-то причине) не включен в блок предлагающим. Это не может быть атрибутировано и, следовательно, не может принести детерминированные экономические гарантии.
Если эта услуга предоставляется участвующими предлагающими, они могут взять на себя надежные обязательства по запуску операций, и если эти транзакции не будут окончательно включены в блок, предлагающий будет сокращен. Это обеспечивает более сильные гарантии, чем сторонние прослушиватели/исполнители.
В практических приложениях (например, в протоколах кредитования) одной из целей установления уровня избыточного обеспечения является покрытие колебаний цен в определенном временном диапазоне. Это связано с временным окном перед ликвидацией: более высокий коэффициент избыточного обеспечения означает более длительный буферный период. Если большая часть транзакций использует реактивную стратегию, управляемую событиями, и имеет надежные гарантии, предоставляемые предлагающими, то (для высоколиквидных активов) волатильность уровня избыточного обеспечения может быть ограничена несколькими интервалами блоков, тем самым уменьшая избыточное обеспечение. - уровень обеспечения и повышение эффективности капитала.
Аукцион частичной блокировки
В текущей конструкции MEV-Boost предлагающий полностью передает пространство блока строителю и может только пассивно получать и предлагать весь блок, представленный строителем. По сравнению с более широко распространенными предлагающими, существует лишь горстка разработчиков, и они могут вступать в сговор с целью цензуры и вымогательства конкретных транзакций, поскольку предлагающие не могут включать транзакции, которые им нужны, в MEV-Boost.
EigenLayer предлагает MEV-Boost++ для обновления MEV-Boost, вводит часть предложения в блок, и предлагающий может включать любую транзакцию в часть предложения. Предлагающий также может одновременно построить альтернативный блок B-alt и предложить этот альтернативный блок B-alt, если реле не освобождает Builder_part. Такая гибкость обеспечивает устойчивость к цензуре и одновременно решает проблему жизнеспособности реле.
Это согласуется с дизайном уровня протокола — целью crList, предложенной ePBS, то есть нам необходимо обеспечить, чтобы широкий круг предлагающих мог участвовать в принятии решения о составе блока для достижения устойчивости к цензуре.
Пороговое шифрование
В решении MEV, основанном на пороговом шифровании, группа распределенных узлов управляет ключами шифрования и дешифрования. Пользователи шифруют транзакции, которые расшифровываются и выполняются только после включения транзакции в блок.
Однако пороговое шифрование основано на предположении о честности большинства. Если большинство узлов действуют злонамеренно, это может привести к тому, что расшифрованные транзакции не будут включены в блок. Предлагающие повторную ставку могут взять на себя надежные обязательства по зашифрованной транзакции, чтобы гарантировать ее включение в блок. Если предлагающий не включает расшифрованную транзакцию, она будет сокращена. Конечно, если злонамеренное большинство узлов не выдает ключ дешифрования, предлагающий может предложить пустой блок.
Долгосрочный аукцион блоков
Долгосрочные аукционы блочного пространства позволяют покупателям блочного пространства заранее зарезервировать будущее блочное пространство для валидатора. Валидаторы, которые участвуют в рестейкинге, могут взять на себя заслуживающие доверия обязательства и будут лишены прав, если не включат транзакцию покупателя по истечении срока ее действия. Эта гарантия доступа к блочному пространству имеет несколько практических вариантов использования. Например, оракулу необходимо подавать цены за определенный период времени; Arbitrum выпускает данные L2 в Ethereum L1 каждые 1-3 минуты, Optimism каждые 30 секунд — 1 минуту и т. д.
#PEPC
Давайте вернемся к PEPC (Protocol-enforced Proposer Commitment), который недавно широко обсуждался в сообществе Ethereum. PEPC на самом деле является продвижением или обобщением ePBS.
Давайте разберем эту логическую цепочку по порядку.
Между PEPC и EigenLayer существует тонкая связь. Нетрудно обнаружить, что между вышеупомянутыми вариантами использования PEPC и вариантами использования производителей блоков EigenLayer есть некоторое сходство. Однако важное различие между EigenLayer и PEPC заключается в том, что предлагающие, участвующие в повторном залоге, теоретически все равно могут нарушить свои обязательства, хотя и будут подвергнуты финансовому наказанию; в то время как PEPC фокусируется на «принудительном протоколе», то есть обязательном исполнении. на уровне протокола.Если обещание не может быть выполнено, блок будет недействителен.
(PS: При грубом взгляде легко обнаружить, что EigenDA похож на Danksharding, а MEV-Boost++ похож на ePBS. Эти два сервиса похожи на добровольную версию конструкции уровня протокола. По сравнению с уровнем протокола , это более быстрое рыночное решение. , идти в ногу с тем, что Ethereum собирается делать в будущем, и поддерживать согласованность Ethereum посредством повторной ставки).
Не перегружайте консенсус Ethereum?
Несколько месяцев назад статья Виталика «Не перегружайте консенсус Ethereum» была воспринята большинством как критика рестейкинга. Автор считает, что это всего лишь напоминание или предупреждение о необходимости поддерживать социальный консенсус. Основное внимание уделяется социальному согласию, а не отказу от повторных обещаний.
В зачаточном состоянии Ethereum атака DAO вызвала огромные споры, и в сообществе шла горячая дискуссия о том, следует ли проводить хард-форк. Сегодня экосистема Ethereum, включая Rollup, уже содержит огромное количество приложений. Поэтому очень важно избегать возникновения больших разногласий внутри сообщества и поддерживать последовательность социального консенсуса.
Гермиона создает успешный уровень 2 и утверждает, что, поскольку ее уровень 2 является самым большим, он по своей сути и наиболее безопасен, потому что, если произойдет ошибка, которая приведет к краже средств, потери будут настолько велики, что у сообщества не будет выбора. но форк для возврата средств пользователей Высокий риск.
Приведенная выше цитата из оригинала является хорошим примером. Сегодня общая ТВЛ Л2 превышает десятки миллиардов долларов.Если и возникнет проблема, то она потребует немалого. В настоящее время, если сообщество предложит провести хард-форк и откатить состояние, это неизбежно вызовет огромные споры. Если предположить, что у нас с вами на нем большая сумма денег, как мы выберем — вернуть деньги или опасаться неизменности блокчейна? Точка зрения Виталика такова: проекты, которые полагаются на Эфириум, должны правильно управлять рисками и не должны пытаться завоевать социальный консенсус Эфириума и прочно связывать жизнь и смерть проекта с Эфириумом.
Возвращаясь к обсуждению EigenLayer, суть управления рисками заключается в том, что AVS необходимо определить объективные, внутрисетевые и атрибутивные правила сокращения, чтобы избежать разногласий. Например, двойное подписание блоков на Ethereum; подписание недействительного блока другой цепочки в кросс-чейн мосте на основе легких узлов; EigenDA Escrow Proof, обсуждавшееся выше, и многое другое. Это четкие правила конфискации.
Заключение
Ожидается, что EigenLayer завершит запуск основной сети в начале следующего года и выпустит свой флагманский продукт EigenDA. Многие инфраструктурные проекты заявили о сотрудничестве с EigenLayer. Выше мы обсуждали EigenDA, MEV и PEPC, и вокруг различных вариантов использования ведется много интересных дискуссий. Перезалог становится одним из доминирующих нарративов на рынке. Мы продолжим следить за развитием EigenLayer и делиться любыми мнениями!