В ноябре прошлого года мы представили EigenLayer в этой статье «EigenLayer: введение доверия на уровне Ethereum в промежуточное программное обеспечение». В прошлом году EigenLayer опубликовала свой официальный документ, завершила раунд финансирования серии A на сумму 50 миллионов долларов и запустила первую фазу своей основной сети. В течение этого периода сообщество Ethereum также провело обширные дискуссии вокруг EigenLayer и вариантов его использования. Эта статья будет отслеживать и сортировать эти обсуждения.
фон
В экосистеме Ethereum некоторые службы промежуточного программного обеспечения (например, оракулы) не полностью полагаются на логику цепочки, поэтому они не могут напрямую полагаться на консенсус и безопасность Ethereum и должны перенаправить сеть доверия. Обычный подход заключается в том, чтобы сначала запустить проект, затем ввести символические стимулы для привлечения участников системы и постепенно добиться децентрализации.
При этом есть как минимум две трудности. Во-первых, внедрение механизма стимулирования требует дополнительных затрат: альтернативных затрат участников, приобретающих токены для участия в стейкинге, и операционных затрат стороны проекта на поддержание стоимости токенов. Во-вторых, даже если вышеупомянутые затраты будут оплачены и построена децентрализованная сеть, ее безопасность и устойчивость все еще неизвестны. Для стартап-проектов эти два момента особенно сложны.
Идея EigenLayer состоит в том, чтобы обеспечить экономическую безопасность этого промежуточного программного обеспечения (Actively Validated Services, AVS) путем повторного захвата существующими участниками Ethereum. Если эти перезалогодатели будут работать честно, они могут быть вознаграждены, но если они совершат зло, их первоначальный залог в Ethereum будет утрачен.
Преимущества этого: во-первых, участнику проекта не нужно самостоятельно управлять новой сетью доверия, а передать ее верификатору Ethereum, что максимально снижает капитальные затраты; во-вторых, экономическая безопасность верификатора Ethereum. Набор очень сильный, так что безопасность также в определенной степени гарантирована. С точки зрения залогодателей Ethereum, повторный залог обеспечивает им дополнительный доход.Пока нет субъективного злого умысла, общий риск можно контролировать.
Шрирам, основатель EigenLayer, однажды упомянул в Твиттере и подкастах три варианта использования и модели доверия EigenLayer:
Экономическое доверие. То есть повторное использование ставок Ethereum, размещение токенов более высокой стоимости означает более надежную экономическую безопасность, как обсуждалось выше.
Децентрализованное доверие. Вредоносное поведение некоторых сервисов (например, разглашение секретов) не может быть объяснено, что делает невозможным использование механизма удаления. Должна быть достаточно децентрализованная, независимая группа, делающая что-то, чтобы защититься от риска сговора и сговора.
Обязательства валидатора Ethereum. Производители блоков берут на себя определенные надежные обязательства, используя обещанные риски в качестве залога. Ниже мы приведем несколько примеров для дальнейшей иллюстрации.
Участники системы
![IOSG Ventures: взгляд на последние достижения и варианты использования EigenLayer в области «перезалога»] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-c0a688f2e8-dd1a6f -6d2ef1)
Источник: IOSG Ventures.
EigenLayer действует как открытый рынок, объединяющий трех крупных игроков.
Перезалогодатели. Если у вас есть возможность делать ставки на Ethereum, вы можете участвовать в повторной ставке, передав учетные данные для вывода средств в EigenLayer или просто внеся LST, например stETH, для участия. Если повторно заинтересованная сторона не может самостоятельно управлять узлом AVS, она также может делегировать свое воздействие оператору.
оператор. Оператор принимает делегирование от повторных заинтересованных сторон и запускает узел AVS. Они свободны выбирать, какие AVS обслуживать. После того как вы предоставите услуги AVS, вам необходимо принять определенные ею правила сокращения.
*авс. Как сторона спроса/потребитель, AVS должна платить повторным стейкерам и получать экономическую безопасность, которую они обеспечивают.
Учитывая эти базовые концепции, давайте рассмотрим конкретные случаи использования EigenLayer.
ЭйгенДА
EigenDA — флагманский продукт, выпущенный EigenLayer.Решение основано на Danksharding, решении для расширения Ethereum. Среди них выборка доступности данных (DAS) также широко используется в проектах DA, таких как Celestia и Avail. В этой главе мы даем краткое введение в DAS, а затем рассмотрим реализацию EigenDA и ее нововведения.
![IOSG Ventures: взгляд на последние достижения и варианты использования EigenLayer в области «перезалога»] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-7417ebaed1-dd1a6f -6d2ef1)
Источник: Данкрад Файст.
В качестве внешнего решения для Danksharding EIP-4844 представляет «транзакцию с переносом BLOB-объектов». Каждая транзакция будет содержать дополнительные данные размером около 125 КБ. В контексте расширения шардинга данных новые данные, несомненно, увеличат нагрузку на узлы. Итак, есть ли способ заставить узел загружать только небольшую часть данных, а также проверять, что все данные доступны?
Что делает DAS, так это позволяет узлам случайным образом выбирать небольшую часть данных несколько раз. Каждая успешная выборка увеличивает уверенность узла в доступности данных, и как только достигается определенный заданный уровень, данные считаются доступными. Однако злоумышленник все же может скрыть небольшую часть данных — нам тоже нужна некая отказоустойчивость.
DAS использует стирающее кодирование (Erasure Coding). Основная идея стирающего кодирования заключается в разделении данных на фрагменты и последующем кодировании этих фрагментов для создания дополнительных избыточных фрагментов. Эти избыточные блоки содержат часть информации исходных блоков данных, поэтому в случае потери или повреждения некоторых блоков данных потерянные блоки данных можно восстановить с помощью избыточных блоков. Таким образом, стирающее кодирование обеспечивает избыточность и надежность DAS.
Кроме того, нам также необходимо проверить, правильно ли закодированы полученные избыточные блоки, поскольку исходные данные невозможно восстановить с использованием неправильных избыточных блоков. Данкшардинг принимает на себя обязательства KZG (Кейт-Заверуха-Гольдберг). Обязательство KZG — это метод проверки полинома путем доказательства того, что его значение в определенном месте соответствует указанному числовому значению.
Доказывающий выбирает полином p(x) и использует p(x) для вычисления обязательств для каждого блока данных, называемого C 1 , C 2 , ..., Cm. Доказывающая программа опубликует обязательство вместе с блоком данных. Чтобы проверить кодировку, верификатор может случайным образом выбрать t точек x 1, x 2, ..., xt и попросить проверяющего открыть обязательства в этих точках: p(x 1), p(x 2), ... , р(хт). Используя лагранжеву интерполяцию, верификатор может восстановить полином p(x) по этим t точкам. Теперь верификатор может пересчитать обязательства C 1', C 2', ..., Cm', используя восстановленный полином p(x) и блок данных, и проверить, соответствуют ли они опубликованным обязательствам C 1, C 2, ... , См совпадает.
Короче говоря, используя обязательства KZG, верификатору нужен лишь небольшой набор точек для проверки правильности всей кодировки. Таким образом, мы получаем полный DAS.
Как
Источник: EigenLayer
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 в своем блоге.
Источник: EigenLayer
Если появится ленивый узел, любой может отправить подтверждение контракту EigenDA, и контракт проверит доказательство. Если проверка пройдет, ленивый узел будет наказан.
Что касается аппаратных требований, KZG обещает около 32-64 ядер ЦП для расчета 32 МБ данных за 1 секунду, но это требование касается только стороны Sequencer и не будет нагружать ноду EigenDA. В тестовой сети EigenDA пропускная способность 100 узлов EigenDA достигла 15 МБ/с, тогда как потребность в пропускной способности загрузки узлов составляет всего 0,3 МБ/с (намного ниже требований для запуска валидаторов Ethereum).
Подводя итог, мы видим, что EigenDA обеспечивает разделение доступности данных и консенсуса, а распространение блоков данных больше не ограничивается узким местом протокола консенсуса и низкой пропускной способностью P2P-сети. Потому что EigenDA эквивалентен бесплатному использованию консенсуса Ethereum: процесс выдачи Sequencer обязательств KZG и агрегированных подписей, проверка подписей с помощью смарт-контрактов и наказание вредоносных узлов — все это происходит в Ethereum, а Ethereum предоставляет гарантии консенсуса, поэтому в этом нет необходимости. Перезагрузить сеть доверия.
Проблемы ДАС
В настоящее время DAS как технология имеет некоторые ограничения. Мы должны предположить, что злонамеренный контрагент попытается любыми возможными способами обмануть легкие узлы, заставив их принять ложные данные. Шрирам заявил следующее в своем твиттере.
Чтобы один узел имел достаточно высокую вероятность доступности данных, необходимо выполнить следующие требования:
Случайная выборка: Каждый узел должен самостоятельно и случайным образом отобрать кучу образцов для отбора проб, при этом контрагент не знает, кто какие образцы запросил. Таким образом, контрагент не может соответствующим образом изменить свою стратегию, чтобы обмануть узлы.
Параллельная выборка: DAS должен выполняться несколькими узлами одновременно, что делает невозможным для злоумышленника отличить выборку одного узла от выборки других узлов.
Выборка частного IP-адреса: означает использование анонимного IP-адреса для каждого запрашиваемого блока данных. В противном случае злоумышленник может идентифицировать различные узлы, выполняющие выборку, и выборочно предоставлять узлам запрошенные части, не предоставляя другие части данных.
Мы можем разрешить нескольким легким узлам выполнять случайную выборку для обеспечения параллелизма и случайности, но в настоящее время не существует хорошего способа обеспечить выборку частных IP-адресов. Таким образом, векторы атак на DAS все еще существуют, поэтому DAS в настоящее время предоставляет лишь слабые гарантии. Эти вопросы продолжают активно решаться.
Собственный слой и MEV
![IOSG Ventures: список последних достижений EigenLayer и вариантов использования в области «перезалога»] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-56389daf61-dd1a6f-6d2ef1 )
Источник: EigenLayer
Шрирам рассказал об использовании EigenLayer в стеке MEV на саммите MEVconomics. Сосредоточив внимание на криптоэкономических примитивах, таких как ставки и слэши, предлагающие могут реализовать следующие четыре характеристики, которые представляют собой третий пункт, упомянутый выше — вариант использования обязательства валидатора.
Активация по событию
Такие протоколы, как Gelato, позволяют реагировать на определенные события в сети. То есть непрерывный мониторинг событий в цепочке, и как только событие происходит, запускаются некоторые предопределенные операции.Эти задачи обычно выполняются сторонними слушателями/исполнителями.
Его называют «третьей стороной», потому что между слушателем/исполнителем и предлагающим, который фактически обрабатывает пространство блока, нет связи. Предположим, что слушатель/исполнитель инициирует транзакцию, но (по какой-то причине) не включен в блок предлагающим. Это не может быть атрибутировано и, следовательно, не может принести детерминированные экономические гарантии.
Если эта услуга предоставляется предлагающими, которые участвуют в рестейке, они могут взять на себя заслуживающие доверия обязательства по запуску операций, а если эти транзакции не включены в блок, предлагающий сокращается. Это обеспечивает более сильные гарантии по сравнению со сторонними прослушивателями/исполнителями.
В практических приложениях (например, в кредитных соглашениях) одной из целей установления ставки чрезмерного обеспечения является покрытие колебаний цен в определенном временном диапазоне. Это связано с временным окном перед ликвидацией, где более высокий коэффициент чрезмерного обеспечения означает более длительный буферный период. Если в большинстве транзакций применяется стратегия реагирования, управляемая событиями, с надежными гарантиями, предоставляемыми предлагающим, то (для ликвидных активов) волатильность коэффициента избыточного обеспечения может быть ограничена несколькими интервалами блоков, тем самым снижая уровень избыточного обеспечения и повышая эффективность капитала. .
Аукцион частичной блокировки
В текущей конструкции MEV-Boost предлагающий полностью передает пространство блока строителю и может только пассивно получать и предлагать весь блок, представленный строителем. По сравнению с более широко распространенными предлагающими, существует лишь горстка разработчиков, и они могут вступать в сговор с целью цензуры и вымогательства конкретных транзакций, поскольку предлагающие не могут включать транзакции, которые им нужны, в MEV-Boost.
Источник: EigenLayer
EigenLayer предлагает MEV-Boost++ для обновления MEV-Boost, вводит часть предложения в блок, и предлагающий может включать любую транзакцию в часть предложения. Предлагающий также может одновременно построить альтернативный блок B-alt и предложить этот альтернативный блок B-alt, если реле не освобождает Builder_part. Такая гибкость обеспечивает устойчивость к цензуре при решении проблемы жизнеспособности реле.
Источник: Данкрад Файст.
Это согласуется с дизайном уровня протокола — целью crList, предложенной ePBS, то есть нам необходимо обеспечить, чтобы широкий круг предлагающих мог участвовать в принятии решения о составе блока для достижения устойчивости к цензуре.
Пороговое шифрование
В решении MEV, основанном на пороговом шифровании, группа распределенных узлов управляет ключами шифрования и дешифрования. Пользователи шифруют транзакции, которые расшифровываются и выполняются только после включения транзакции в блок.
Однако пороговое шифрование основано на предположении о честности большинства. Если большинство узлов являются вредоносными, это может привести к тому, что расшифрованная транзакция не будет включена в блок. Предлагающие повторную транзакцию могут надежно зафиксировать зашифрованные транзакции, чтобы гарантировать их включение в блоки. Если предлагающий не включает расшифрованную транзакцию, она будет сокращена. Конечно, если злонамеренное большинство не выдает ключ дешифрования, то предлагающий может предложить пустой блок.
Долгосрочный аукцион Blockspace
Долгосрочные аукционы блочного пространства позволяют покупателям блочного пространства заранее зарезервировать будущее блочное пространство для валидатора. Валидаторы, которые участвуют в рестейкинге, могут взять на себя заслуживающие доверия обязательства и будут лишены прав, если не включат транзакцию покупателя по истечении срока ее действия. Эта гарантия доступа к блочному пространству имеет несколько практических вариантов использования. Например, машине оракула необходимо подавать цены за определенный период времени; 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 является самым большим, он по своей сути и наиболее безопасен, потому что если произойдет ошибка, которая приведет к краже средств, потери будут настолько велики, что у сообщества не будет выбора. но сделать форк для восстановления средств пользователей. Высокий риск.
Приведенная выше цитата из оригинального текста является хорошим примером. Сегодня общая ТВЛ L2 превышает 10 миллиардов долларов США.Если и возникнет проблема, то она будет крайне масштабной. В настоящее время, если сообщество предложит провести хард-форк и откатить статус, это неизбежно вызовет огромные споры. Предположим, у нас с вами на нем большая сумма денег, как мы выберем — вернуть деньги или уважать неизменность блокчейна? Точка зрения Виталика такова: проекты, которые полагаются на Эфириум, должны правильно управлять рисками и не должны пытаться завоевать социальный консенсус Эфириума и прочно связывать жизнь и смерть проекта с Эфириумом.
Возвращаясь к обсуждению EigenLayer, суть управления рисками заключается в том, что AVS необходимо определить объективные, внутрисетевые и атрибутивные правила сокращения, чтобы избежать разногласий. Например, двойное подписание блоков на Ethereum; подписание недействительного блока другой цепочки в кросс-чейн мосте на основе легких узлов; EigenDA Escrow Proof, обсуждавшееся выше, и многое другое. Это четкие правила конфискации.
Заключение
Источник: EigenLayer
Ожидается, что EigenLayer завершит запуск основной сети в начале следующего года и выпустит свой флагманский продукт EigenDA. Многие инфраструктурные проекты заявили о сотрудничестве с EigenLayer. Выше мы обсуждали EigenDA, MEV и PEPC, и вокруг различных вариантов использования ведется много интересных дискуссий. Перезалог становится одним из доминирующих нарративов на рынке. Мы продолжим следить за развитием EigenLayer и делиться любыми мнениями!
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
IOSG Ventures: обзор последних достижений EigenLayer и вариантов использования в области «перестейкинга»
Автор оригинала: Цзявэй, IOSG Ventures
Источник: EigenLayer
В ноябре прошлого года мы представили EigenLayer в этой статье «EigenLayer: введение доверия на уровне Ethereum в промежуточное программное обеспечение». В прошлом году EigenLayer опубликовала свой официальный документ, завершила раунд финансирования серии A на сумму 50 миллионов долларов и запустила первую фазу своей основной сети. В течение этого периода сообщество Ethereum также провело обширные дискуссии вокруг EigenLayer и вариантов его использования. Эта статья будет отслеживать и сортировать эти обсуждения.
фон
В экосистеме Ethereum некоторые службы промежуточного программного обеспечения (например, оракулы) не полностью полагаются на логику цепочки, поэтому они не могут напрямую полагаться на консенсус и безопасность Ethereum и должны перенаправить сеть доверия. Обычный подход заключается в том, чтобы сначала запустить проект, затем ввести символические стимулы для привлечения участников системы и постепенно добиться децентрализации.
При этом есть как минимум две трудности. Во-первых, внедрение механизма стимулирования требует дополнительных затрат: альтернативных затрат участников, приобретающих токены для участия в стейкинге, и операционных затрат стороны проекта на поддержание стоимости токенов. Во-вторых, даже если вышеупомянутые затраты будут оплачены и построена децентрализованная сеть, ее безопасность и устойчивость все еще неизвестны. Для стартап-проектов эти два момента особенно сложны.
Идея EigenLayer состоит в том, чтобы обеспечить экономическую безопасность этого промежуточного программного обеспечения (Actively Validated Services, AVS) путем повторного захвата существующими участниками Ethereum. Если эти перезалогодатели будут работать честно, они могут быть вознаграждены, но если они совершат зло, их первоначальный залог в Ethereum будет утрачен.
Преимущества этого: во-первых, участнику проекта не нужно самостоятельно управлять новой сетью доверия, а передать ее верификатору Ethereum, что максимально снижает капитальные затраты; во-вторых, экономическая безопасность верификатора Ethereum. Набор очень сильный, так что безопасность также в определенной степени гарантирована. С точки зрения залогодателей Ethereum, повторный залог обеспечивает им дополнительный доход.Пока нет субъективного злого умысла, общий риск можно контролировать.
Шрирам, основатель EigenLayer, однажды упомянул в Твиттере и подкастах три варианта использования и модели доверия EigenLayer:
Участники системы
![IOSG Ventures: взгляд на последние достижения и варианты использования EigenLayer в области «перезалога»] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-c0a688f2e8-dd1a6f -6d2ef1)
Источник: IOSG Ventures.
EigenLayer действует как открытый рынок, объединяющий трех крупных игроков.
Учитывая эти базовые концепции, давайте рассмотрим конкретные случаи использования EigenLayer.
ЭйгенДА
EigenDA — флагманский продукт, выпущенный EigenLayer.Решение основано на Danksharding, решении для расширения Ethereum. Среди них выборка доступности данных (DAS) также широко используется в проектах DA, таких как Celestia и Avail. В этой главе мы даем краткое введение в DAS, а затем рассмотрим реализацию EigenDA и ее нововведения.
![IOSG Ventures: взгляд на последние достижения и варианты использования EigenLayer в области «перезалога»] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-7417ebaed1-dd1a6f -6d2ef1)
Источник: Данкрад Файст.
В качестве внешнего решения для Danksharding EIP-4844 представляет «транзакцию с переносом BLOB-объектов». Каждая транзакция будет содержать дополнительные данные размером около 125 КБ. В контексте расширения шардинга данных новые данные, несомненно, увеличат нагрузку на узлы. Итак, есть ли способ заставить узел загружать только небольшую часть данных, а также проверять, что все данные доступны?
Что делает DAS, так это позволяет узлам случайным образом выбирать небольшую часть данных несколько раз. Каждая успешная выборка увеличивает уверенность узла в доступности данных, и как только достигается определенный заданный уровень, данные считаются доступными. Однако злоумышленник все же может скрыть небольшую часть данных — нам тоже нужна некая отказоустойчивость.
DAS использует стирающее кодирование (Erasure Coding). Основная идея стирающего кодирования заключается в разделении данных на фрагменты и последующем кодировании этих фрагментов для создания дополнительных избыточных фрагментов. Эти избыточные блоки содержат часть информации исходных блоков данных, поэтому в случае потери или повреждения некоторых блоков данных потерянные блоки данных можно восстановить с помощью избыточных блоков. Таким образом, стирающее кодирование обеспечивает избыточность и надежность DAS.
Кроме того, нам также необходимо проверить, правильно ли закодированы полученные избыточные блоки, поскольку исходные данные невозможно восстановить с использованием неправильных избыточных блоков. Данкшардинг принимает на себя обязательства KZG (Кейт-Заверуха-Гольдберг). Обязательство KZG — это метод проверки полинома путем доказательства того, что его значение в определенном месте соответствует указанному числовому значению.
Доказывающий выбирает полином p(x) и использует p(x) для вычисления обязательств для каждого блока данных, называемого C 1 , C 2 , ..., Cm. Доказывающая программа опубликует обязательство вместе с блоком данных. Чтобы проверить кодировку, верификатор может случайным образом выбрать t точек x 1, x 2, ..., xt и попросить проверяющего открыть обязательства в этих точках: p(x 1), p(x 2), ... , р(хт). Используя лагранжеву интерполяцию, верификатор может восстановить полином p(x) по этим t точкам. Теперь верификатор может пересчитать обязательства C 1', C 2', ..., Cm', используя восстановленный полином p(x) и блок данных, и проверить, соответствуют ли они опубликованным обязательствам C 1, C 2, ... , См совпадает.
Короче говоря, используя обязательства KZG, верификатору нужен лишь небольшой набор точек для проверки правильности всей кодировки. Таким образом, мы получаем полный DAS.
Источник: EigenLayer
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 в своем блоге.
Источник: EigenLayer
Если появится ленивый узел, любой может отправить подтверждение контракту EigenDA, и контракт проверит доказательство. Если проверка пройдет, ленивый узел будет наказан.
Что касается аппаратных требований, KZG обещает около 32-64 ядер ЦП для расчета 32 МБ данных за 1 секунду, но это требование касается только стороны Sequencer и не будет нагружать ноду EigenDA. В тестовой сети EigenDA пропускная способность 100 узлов EigenDA достигла 15 МБ/с, тогда как потребность в пропускной способности загрузки узлов составляет всего 0,3 МБ/с (намного ниже требований для запуска валидаторов Ethereum).
Подводя итог, мы видим, что EigenDA обеспечивает разделение доступности данных и консенсуса, а распространение блоков данных больше не ограничивается узким местом протокола консенсуса и низкой пропускной способностью P2P-сети. Потому что EigenDA эквивалентен бесплатному использованию консенсуса Ethereum: процесс выдачи Sequencer обязательств KZG и агрегированных подписей, проверка подписей с помощью смарт-контрактов и наказание вредоносных узлов — все это происходит в Ethereum, а Ethereum предоставляет гарантии консенсуса, поэтому в этом нет необходимости. Перезагрузить сеть доверия.
В настоящее время DAS как технология имеет некоторые ограничения. Мы должны предположить, что злонамеренный контрагент попытается любыми возможными способами обмануть легкие узлы, заставив их принять ложные данные. Шрирам заявил следующее в своем твиттере.
Чтобы один узел имел достаточно высокую вероятность доступности данных, необходимо выполнить следующие требования:
Мы можем разрешить нескольким легким узлам выполнять случайную выборку для обеспечения параллелизма и случайности, но в настоящее время не существует хорошего способа обеспечить выборку частных IP-адресов. Таким образом, векторы атак на DAS все еще существуют, поэтому DAS в настоящее время предоставляет лишь слабые гарантии. Эти вопросы продолжают активно решаться.
Собственный слой и MEV
![IOSG Ventures: список последних достижений EigenLayer и вариантов использования в области «перезалога»] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-56389daf61-dd1a6f-6d2ef1 )
Источник: EigenLayer
Шрирам рассказал об использовании EigenLayer в стеке MEV на саммите MEVconomics. Сосредоточив внимание на криптоэкономических примитивах, таких как ставки и слэши, предлагающие могут реализовать следующие четыре характеристики, которые представляют собой третий пункт, упомянутый выше — вариант использования обязательства валидатора.
Активация по событию
Такие протоколы, как Gelato, позволяют реагировать на определенные события в сети. То есть непрерывный мониторинг событий в цепочке, и как только событие происходит, запускаются некоторые предопределенные операции.Эти задачи обычно выполняются сторонними слушателями/исполнителями.
Его называют «третьей стороной», потому что между слушателем/исполнителем и предлагающим, который фактически обрабатывает пространство блока, нет связи. Предположим, что слушатель/исполнитель инициирует транзакцию, но (по какой-то причине) не включен в блок предлагающим. Это не может быть атрибутировано и, следовательно, не может принести детерминированные экономические гарантии.
Если эта услуга предоставляется предлагающими, которые участвуют в рестейке, они могут взять на себя заслуживающие доверия обязательства по запуску операций, а если эти транзакции не включены в блок, предлагающий сокращается. Это обеспечивает более сильные гарантии по сравнению со сторонними прослушивателями/исполнителями.
В практических приложениях (например, в кредитных соглашениях) одной из целей установления ставки чрезмерного обеспечения является покрытие колебаний цен в определенном временном диапазоне. Это связано с временным окном перед ликвидацией, где более высокий коэффициент чрезмерного обеспечения означает более длительный буферный период. Если в большинстве транзакций применяется стратегия реагирования, управляемая событиями, с надежными гарантиями, предоставляемыми предлагающим, то (для ликвидных активов) волатильность коэффициента избыточного обеспечения может быть ограничена несколькими интервалами блоков, тем самым снижая уровень избыточного обеспечения и повышая эффективность капитала. .
Аукцион частичной блокировки
В текущей конструкции MEV-Boost предлагающий полностью передает пространство блока строителю и может только пассивно получать и предлагать весь блок, представленный строителем. По сравнению с более широко распространенными предлагающими, существует лишь горстка разработчиков, и они могут вступать в сговор с целью цензуры и вымогательства конкретных транзакций, поскольку предлагающие не могут включать транзакции, которые им нужны, в MEV-Boost.
Источник: EigenLayer
EigenLayer предлагает MEV-Boost++ для обновления MEV-Boost, вводит часть предложения в блок, и предлагающий может включать любую транзакцию в часть предложения. Предлагающий также может одновременно построить альтернативный блок B-alt и предложить этот альтернативный блок B-alt, если реле не освобождает Builder_part. Такая гибкость обеспечивает устойчивость к цензуре при решении проблемы жизнеспособности реле.
Источник: Данкрад Файст.
Это согласуется с дизайном уровня протокола — целью crList, предложенной ePBS, то есть нам необходимо обеспечить, чтобы широкий круг предлагающих мог участвовать в принятии решения о составе блока для достижения устойчивости к цензуре.
Пороговое шифрование
В решении MEV, основанном на пороговом шифровании, группа распределенных узлов управляет ключами шифрования и дешифрования. Пользователи шифруют транзакции, которые расшифровываются и выполняются только после включения транзакции в блок.
Однако пороговое шифрование основано на предположении о честности большинства. Если большинство узлов являются вредоносными, это может привести к тому, что расшифрованная транзакция не будет включена в блок. Предлагающие повторную транзакцию могут надежно зафиксировать зашифрованные транзакции, чтобы гарантировать их включение в блоки. Если предлагающий не включает расшифрованную транзакцию, она будет сокращена. Конечно, если злонамеренное большинство не выдает ключ дешифрования, то предлагающий может предложить пустой блок.
Долгосрочный аукцион Blockspace
Долгосрочные аукционы блочного пространства позволяют покупателям блочного пространства заранее зарезервировать будущее блочное пространство для валидатора. Валидаторы, которые участвуют в рестейкинге, могут взять на себя заслуживающие доверия обязательства и будут лишены прав, если не включат транзакцию покупателя по истечении срока ее действия. Эта гарантия доступа к блочному пространству имеет несколько практических вариантов использования. Например, машине оракула необходимо подавать цены за определенный период времени; 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 является самым большим, он по своей сути и наиболее безопасен, потому что если произойдет ошибка, которая приведет к краже средств, потери будут настолько велики, что у сообщества не будет выбора. но сделать форк для восстановления средств пользователей. Высокий риск.
Приведенная выше цитата из оригинального текста является хорошим примером. Сегодня общая ТВЛ L2 превышает 10 миллиардов долларов США.Если и возникнет проблема, то она будет крайне масштабной. В настоящее время, если сообщество предложит провести хард-форк и откатить статус, это неизбежно вызовет огромные споры. Предположим, у нас с вами на нем большая сумма денег, как мы выберем — вернуть деньги или уважать неизменность блокчейна? Точка зрения Виталика такова: проекты, которые полагаются на Эфириум, должны правильно управлять рисками и не должны пытаться завоевать социальный консенсус Эфириума и прочно связывать жизнь и смерть проекта с Эфириумом.
Возвращаясь к обсуждению EigenLayer, суть управления рисками заключается в том, что AVS необходимо определить объективные, внутрисетевые и атрибутивные правила сокращения, чтобы избежать разногласий. Например, двойное подписание блоков на Ethereum; подписание недействительного блока другой цепочки в кросс-чейн мосте на основе легких узлов; EigenDA Escrow Proof, обсуждавшееся выше, и многое другое. Это четкие правила конфискации.
Заключение
Источник: EigenLayer
Ожидается, что EigenLayer завершит запуск основной сети в начале следующего года и выпустит свой флагманский продукт EigenDA. Многие инфраструктурные проекты заявили о сотрудничестве с EigenLayer. Выше мы обсуждали EigenDA, MEV и PEPC, и вокруг различных вариантов использования ведется много интересных дискуссий. Перезалог становится одним из доминирующих нарративов на рынке. Мы продолжим следить за развитием EigenLayer и делиться любыми мнениями!