![IOSG Ventures: огляд останніх досягнень і випадків використання EigenLayer у сфері «повторного застави»] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-2be3745338-dd1a6f) -6d2ef1)
Джерело: EigenLayer
У листопаді минулого року ми представили EigenLayer у цій статті «EigenLayer: перенесення довіри на рівні Ethereum до проміжного ПЗ». Протягом майже року компанія EigenLayer опублікувала свою білу книгу, завершила раунд фінансування серії A на 50 мільйонів доларів і запустила першу фазу основної мережі. Протягом цього періоду спільнота Ethereum також проводила широкі дискусії навколо EigenLayer та його варіантів використання. Ця стаття буде відслідковувати та сортувати ці дискусії.
фон
В екосистемі Ethereum деякі служби проміжного програмного забезпечення (такі як оракули) не повністю покладаються на логіку on-chain, тому вони не можуть безпосередньо покладатися на консенсус і безпеку Ethereum і потребують перенаправлення довірчої мережі. Звичайний підхід полягає в тому, щоб спочатку керувати проектом, потім запроваджувати символічні стимули для залучення учасників системи та поступово досягати децентралізації.
У цьому є принаймні дві труднощі. По-перше, запровадження механізму стимулювання вимагає додаткових витрат: альтернативних витрат учасників, які купують токени для участі в стейкінгу, і операційних витрат сторони проекту для підтримки вартості токенів. По-друге, навіть якщо вищезазначені витрати будуть оплачені і децентралізована мережа буде побудована, її безпека та стабільність все ще невідомі. Для стартап-проектів ці два пункти особливо складні.
Ідея EigenLayer полягає в тому, щоб забезпечити економічну безпеку для цього проміжного програмного забезпечення (Actively Validated Services, AVS) шляхом переставлення існуючих учасників Ethereum. Якщо ці повторні застави працюють чесно, вони можуть бути винагороджені, але якщо вони чинять зло, їхні початкові застави Ethereum будуть втрачені.
Переваги цього: по-перше, стороні проекту не потрібно самому керувати новою довірчою мережею, а доручити її валідаторам Ethereum, максимально зменшуючи капітальні витрати; по-друге, економічна безпека набору валідаторів Ethereum дуже висока. solid , так що безпека також певною мірою гарантована. З точки зору заставників Ethereum, повторна застава забезпечує їм додатковий дохід.Поки немає суб’єктивного зловмисного наміру, загальний ризик можна контролювати.
Срірам, засновник EigenLayer, згадав три випадки використання та моделі довіри EigenLayer у Twitter і подкастах:
Економічна довіра. Таким чином, повторне використання стейкінгу 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
EigenDA — це флагманський продукт, запущений EigenLayer. Рішення походить від Danksharding, рішення для розширення Ethereum. Серед них вибірка доступності даних (DAS) також широко використовується в проектах DA, таких як Celestia та Avail. У цьому розділі ми коротко ознайомимося з DAS, а потім розглянемо впровадження EigenDA та його інновації.
THE
Джерело: Dankrad Feist
Як інтерфейсне рішення для Danksharding EIP-4844 представляє «транзакцію з переносом блобів», кожна транзакція передасть додаткові 125 Кб даних. У контексті маршруту розширення шардингу даних нещодавно додані дані, безсумнівно, збільшать навантаження на вузли. Отже, чи є спосіб для вузла завантажити лише невелику частину даних і також перевірити, що всі дані доступні?
Те, що DAS робить, це дозволяє вузлам випадково відбирати невелику частину даних кілька разів. Кожна успішна вибірка підвищує впевненість вузла в тому, що дані доступні, і після досягнення певного заданого рівня дані вважаються доступними. Однак зловмисник все ще може приховати невелику частину даних - нам також потрібна певна відмовостійкість.
DAS використовує кодування стирання (Erasure Coding). Основна ідея кодування зі стиранням полягає в тому, щоб розділити дані на кілька блоків, а потім закодувати ці блоки, генеруючи додаткові зайві блоки. Ці надлишкові блоки містять частину інформації вихідних блоків даних, так що, коли деякі блоки даних втрачені або пошкоджені, втрачені блоки даних можна відновити за допомогою надлишкових блоків. Таким чином, кодування стирання забезпечує резервування та надійність DAS.
Крім того, нам також потрібно перевірити, чи правильно закодовані отримані надлишкові блоки, оскільки вихідні дані не можна реконструювати за допомогою неправильного надлишкового блоку. Danksharding використовує зобов’язання KZG (Kate-Zaverucha-Goldberg). KZG Commitment — це метод перевірки полінома, який може підтвердити, що значення полінома в певній позиції відповідає вказаному значенню.
Пристрій перевірки вибирає поліном p(x) і використовує p(x) для обчислення зобов’язань для кожного блоку даних, який називається C1, C2, ..., Cm. Пристрій перевірки опублікує зобов’язання разом із блоком даних. Щоб перевірити кодування, верифікатор може випадковим чином відібрати t точок x 1, x 2, ..., xt і попросити перевіряючого відкрити зобов'язання в цих точках: p(x 1), p(x 2), ... , p(xt). Використовуючи інтерполяцію Лагранжа, верифікатор може реконструювати поліном p(x) з цих t точок. Верифікатор тепер може повторно обчислити зобов’язання C 1', C 2', ..., Cm', використовуючи реконструйований поліном p(x) і блок даних, і переконатися, що вони відповідають опублікованим зобов’язанням C 1, C 2, ... , Cm match.
Коротше кажучи, використовуючи зобов’язання KZG, верифікаторам потрібна лише невелика кількість балів, щоб перевірити правильність усього кодування. Таким чином ми отримуємо повний DAS.
Як
Джерело: EigenLayer
EigenLayer запозичує ідеї з DAS і застосовує їх до EigenDA.
По-перше, вузли EigenDA повторно закладаються та реєструються в контракті EigenLayer.
По-друге, після отримання даних секвенсор ділить дані на кілька блоків, використовує кодування стирання для генерації надлишкових блоків і обчислює зобов’язання KZG, що відповідає кожному блоку даних. Sequencer оприлюднює зобов’язання KZG щодо контракту EigenDA один за одним як свідок.
Згодом секвенсор розподіляє блоки даних разом із їхніми зобов’язаннями KZG кожному вузлу EigenDA по одному. Після того як вузол отримує зобов’язання KZG, він порівнює його з зобов’язанням KZG у контракті EigenDA.Після підтвердження його правильності блок даних зберігається та підписується.
Після цього секвенсор збирає ці підписи, генерує агреговані підписи та публікує їх у контракті EigenDA, а контракт EigenDA перевіряє підписи. Коли перевірка підпису правильна, весь процес завершено.
У наведеному вище процесі вузол EigenDA лише стверджує, що зберіг блок даних за допомогою підписів. Нам також потрібен спосіб переконатися, що вузли EigenDA не брешуть. EigenDA використовує підтвердження зберігання.
Ідея доказу опіки полягає в тому, щоб поставити «бомбу» в дані, як тільки вузол підпише її, вона буде скорочена. Для того, щоб реалізувати підтвердження депонування, необхідно розробити: секретне значення для розрізнення різних вузлів DA для запобігання шахрайству; функцію, специфічну для вузла DA, яка приймає дані DA та секретне значення як вхідні дані, а також наявність або відсутність бомби як вихід. Якщо вузол не зберігає повні дані, він не може обчислити функцію. У своєму блозі Данкрад поділився більш детальною інформацією про докази умовного депонування.
Джерело: EigenLayer
Якщо є відкладений вузол, будь-хто може подати підтвердження до контракту EigenDA, і контракт перевірить підтвердження, і якщо перевірку пройдено, відкладений вузол буде оштрафований.
З точки зору апаратних вимог, зобов’язання KZG обчислювати 32 Мбайт даних за 1 секунду вимагає приблизно 32-64 ядерних процесорів, але ця вимога стосується лише сторони секвенсора і не накладає тягаря на вузол EigenDA. У тестовій мережі EigenDA пропускна здатність 100 вузлів EigenDA досягла 15 МБ/с, тоді як попит на пропускну здатність вузла для завантаження становив лише 0,3 МБ/с (набагато нижче, ніж вимоги для роботи валідаторів Ethereum).
Підводячи підсумок, ми бачимо, що EigenDA досягає розмежування доступності даних і консенсусу, а розповсюдження блоків даних більше не обмежується вузьким місцем протоколу консенсусу та низькою пропускною здатністю мережі P2P. Оскільки EigenDA еквівалентно безкоштовній їзді на консенсусі Ethereum: процес Sequencer, який видає зобов’язання KZG і сукупні підписи, перевіряє підписи за допомогою смарт-контрактів і карає зловмисні вузли, все це відбувається в Ethereum, і Ethereum надає гарантії консенсусу, тому в цьому немає потреби. щоб перезавантажити мережу довіри.
Проблеми DAS
В даний час сама 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.
![IOSG Ventures: Огляд останніх досягнень EigenLayer і випадків використання у сфері «повторного застави»] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-acfbe6d8dc-dd1a6f-6d2ef1)
Джерело: EigenLayer
EigenLayer запропонував MEV-Boost++ для оновлення MEV-Boost і представив частину Proposer у блоці.Пропонент може включити будь-яку транзакцію в частину Proposer. Той, хто пропонує, може одночасно створити альтернативний блок B-alt і запропонувати цей альтернативний блок B-alt, коли реле не випускає Builder_part. Ця гнучкість не тільки забезпечує стійкість до цензури, але й вирішує проблему живучості реле.
Джерело: Dankrad Feist
Це узгоджується з дизайном рівня протоколу — метою crList, запропонованою ePBS, тобто ми повинні гарантувати, що широке коло пропонентів може брати участь у вирішенні складу блоку для досягнення стійкості до цензури.
Порогове шифрування
У рішенні MEV, заснованому на пороговому шифруванні, група розподілених вузлів керує ключами шифрування та дешифрування. Користувачі шифрують транзакції, які розшифровуються та виконуються лише після того, як транзакція включена в блок.
Проте порогове шифрування базується на припущенні чесності більшості. Якщо більшість вузлів поводяться зле, це може призвести до того, що розшифровані транзакції не будуть включені в блок. Ті, хто пропонує повторні ставки, можуть прийняти надійне зобов’язання щодо зашифрованої транзакції, щоб забезпечити її включення до блоку. Якщо пропонент не включає розшифровану транзакцію, її буде скорочено. Звичайно, якщо зловмисна більшість вузлів не випускає ключ дешифрування, пропонент може запропонувати порожній блок.
Довгостроковий аукціон Blockspace
Довгострокові аукціони блоків дозволяють покупцям блоків заздалегідь резервувати майбутні блоки для валідатора. Валідатори, які беруть участь у повторних ставках, можуть брати надійні зобов’язання, і їх буде втрачено, якщо вони не включать транзакцію покупця після закінчення терміну її дії. Ця гарантія доступу до блокового простору має кілька практичних випадків використання. Наприклад, оракул повинен надавати ціни в певний період часу; Arbitrum випускає дані L2 в Ethereum L1 кожні 1-3 хвилини, Optimism кожні 30 секунд - 1 хвилину і т.д.
##PEPC
Джерело: Barnabé Monnot
Давайте повернемося до PEPC (зобов’язання пропонента на основі протоколу), яке нещодавно широко обговорювалося спільнотою Ethereum. PEPC насправді є просуванням або узагальненням ePBS.
Давайте по черзі розіб'ємо цей логічний ланцюжок.
По-перше, візьмемо як приклад позапротокольний PBS MEV-Boost. Наразі MEV-Boost покладається на механізм скорочення на рівні протоколу Ethereum, тобто якщо пропонент підписує два різні заголовки блоку на однаковій висоті блоку, їх поріжуть.. Оскільки пропоненту потрібно підписати заголовок блоку, поданий ретранслятором, це еквівалентно формуванню зв’язку між заголовком блоку та пропонентом, тому ретранслятор має підстави вважати, що буде запропоновано блок конструктора. Інакше пропонент буде лише змушений відмовитися від слота або запропонувати інший блок (що призведе до розсічення). У цей час зобов’язання інвестора гарантується економічною безпекою ставки/слешінгу.
*Приблизно, важливим принципом у розробці ePBS є «безпека публікації чесних будівельників», яка гарантує, що блоки, опубліковані чесними будівельниками, будуть запропоновані. Як PBS у рамках протоколу, ePBS буде включено в консенсусний рівень Ethereum і гарантовано протоколом.
PEPC є подальшим розширенням ePBS. ePBS обіцяє, що «блок розробника буде запропоновано». Якщо це питання пошириться на часткові блокові аукціони, паралельні блокові аукціони, майбутні блокові аукціони тощо, ми зможемо дозволити пропонентам робити більше речей, а рівень протоколу гарантує, що ці речі виконуються правильно.
Між PEPC і EigenLayer існує тонкий зв’язок. Неважко виявити, що є певна подібність між згаданими вище варіантами використання PEPC і сценаріями використання виробника блоків EigenLayer. Однак важлива відмінність між EigenLayer і PEPC полягає в тому, що заявники, які беруть участь у повторній заставі, все ще можуть теоретично порушити свої зобов’язання, хоча вони будуть фінансово покарані; у той час як PEPC зосереджується на «дотримання протоколу», тобто на протоколі На блоці реалізовано шар Mandatory.Якщо обіцянку неможливо виконати, блок буде недійсним.
(PS: З грубого погляду легко з’ясувати, що EigenDA схожий на Danksharding, а MEV-Boost++ — на ePBS. Ці дві служби схожі на опційну версію дизайну рівня протоколу. У порівнянні з рівнем протоколу , це швидше ринкове рішення. , йти в ногу з тим, що Ethereum збирається робити в майбутньому, і підтримувати вирівнювання Ethereum шляхом переставлення).
Не перевантажуйте Ethereum Consensus?
Кілька місяців тому статтю Віталіка «Don’t Overload Ethereum Consensus» більшість вважала критикою Restaking. Автор вважає, що це лише нагадування або застереження щодо підтримки соціального консенсусу, і акцент робиться на соціальному консенсусі, а не на запереченні повторної застави.
У зародковому стані Ethereum атака DAO викликала величезні суперечки, і в спільноті виникла гаряча дискусія щодо того, чи варто проводити хардфорк. Сьогодні екосистема Ethereum, включаючи Rollup, вже містить величезну кількість програм. Тому дуже важливо уникати серйозних розбіжностей у суспільстві та підтримувати послідовність соціального консенсусу.
Герміона створює успішний рівень 2 і стверджує, що, оскільки її рівень 2 є найбільшим, він за своєю суттю є найбезпечнішим, оскільки якщо є помилка, яка спричиняє крадіжку коштів, втрати будуть настільки великими, що спільнота не матиме вибору але форк для повернення коштів користувачів. Високий ризик.
Наведена вище цитата з оригінального тексту є гарним прикладом. Сьогодні загальний TVL L2 перевищує 10 мільярдів доларів США.Якщо виникне проблема, вона буде надзвичайно залученою. У цей час, якщо спільнота запропонує реалізувати хардфорк і відкотити статус, це неминуче викличе величезну суперечку. Припустімо, що у нас з вами є велика сума грошей, як ми виберемо – повернути гроші чи поважати незмінність блокчейну? Думка Віталіка полягає в тому, що проекти, які покладаються на Ethereum, повинні належним чином керувати ризиками, а не намагатися завоювати соціальний консенсус Ethereum і сильно пов’язувати життя та смерть проекту з Ethereum.
Повертаючись до обговорення EigenLayer, фокус управління ризиками полягає в тому, що AVS має визначити об’єктивні, ланцюгові та приписувані правила скорочення, щоб уникнути розбіжностей. Наприклад, подвійне підписання блоків на Ethereum; підписання недійсних блоків іншого ланцюга в легкому крос-ланцюжковому мосту на основі вузлів; доказ EigenDA, про який говорилося вище, і так далі. Це та подібні є чіткими правилами конфіскації.
Висновок
Джерело: EigenLayer
Очікується, що EigenLayer завершить запуск основної мережі на початку наступного року та випустить свій флагманський продукт EigenDA. Багато інфраструктурних проектів оголосили про співпрацю з EigenLayer. Ми обговорювали EigenDA, MEV і PEPC вище, і існує багато цікавих дискусій навколо різних випадків використання. Повторна застава стає одним із домінуючих наративів на ринку. Ми будемо продовжувати стежити за прогресом EigenLayer і ділитися будь-якими думками!
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
IOSG Ventures: огляд останніх досягнень і випадків використання EigenLayer у сфері «повторного застави»
Автор оригіналу: Jiawei, IOSG Ventures
![IOSG Ventures: огляд останніх досягнень і випадків використання EigenLayer у сфері «повторного застави»] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-2be3745338-dd1a6f) -6d2ef1)
Джерело: EigenLayer
У листопаді минулого року ми представили EigenLayer у цій статті «EigenLayer: перенесення довіри на рівні Ethereum до проміжного ПЗ». Протягом майже року компанія EigenLayer опублікувала свою білу книгу, завершила раунд фінансування серії A на 50 мільйонів доларів і запустила першу фазу основної мережі. Протягом цього періоду спільнота Ethereum також проводила широкі дискусії навколо EigenLayer та його варіантів використання. Ця стаття буде відслідковувати та сортувати ці дискусії.
фон
В екосистемі Ethereum деякі служби проміжного програмного забезпечення (такі як оракули) не повністю покладаються на логіку on-chain, тому вони не можуть безпосередньо покладатися на консенсус і безпеку Ethereum і потребують перенаправлення довірчої мережі. Звичайний підхід полягає в тому, щоб спочатку керувати проектом, потім запроваджувати символічні стимули для залучення учасників системи та поступово досягати децентралізації.
У цьому є принаймні дві труднощі. По-перше, запровадження механізму стимулювання вимагає додаткових витрат: альтернативних витрат учасників, які купують токени для участі в стейкінгу, і операційних витрат сторони проекту для підтримки вартості токенів. По-друге, навіть якщо вищезазначені витрати будуть оплачені і децентралізована мережа буде побудована, її безпека та стабільність все ще невідомі. Для стартап-проектів ці два пункти особливо складні.
Ідея EigenLayer полягає в тому, щоб забезпечити економічну безпеку для цього проміжного програмного забезпечення (Actively Validated Services, AVS) шляхом переставлення існуючих учасників Ethereum. Якщо ці повторні застави працюють чесно, вони можуть бути винагороджені, але якщо вони чинять зло, їхні початкові застави Ethereum будуть втрачені.
Переваги цього: по-перше, стороні проекту не потрібно самому керувати новою довірчою мережею, а доручити її валідаторам Ethereum, максимально зменшуючи капітальні витрати; по-друге, економічна безпека набору валідаторів Ethereum дуже висока. solid , так що безпека також певною мірою гарантована. З точки зору заставників Ethereum, повторна застава забезпечує їм додатковий дохід.Поки немає суб’єктивного зловмисного наміру, загальний ризик можна контролювати.
Срірам, засновник EigenLayer, згадав три випадки використання та моделі довіри EigenLayer у Twitter і подкастах:
Учасники системи
![IOSG Ventures: огляд останніх досягнень і випадків використання EigenLayer у сфері «повторного застави»] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-c0a688f2e8-dd1a6f -6d2ef1)
Джерело: IOSG Ventures
EigenLayer є відкритим ринком, який об’єднує трьох основних гравців.
*Перезастава. Якщо ви маєте доступ до ставок Ethereum, ви можете взяти участь, передавши облікові дані для зняття в EigenLayer, щоб взяти участь у повторному ставленні, або просто внести LST, наприклад stETH, щоб взяти участь. Рестейкери також можуть делегувати свої дії операторам, якщо вони не можуть самостійно запустити вузол AVS.
Маючи на увазі ці основні поняття, давайте розглянемо конкретні випадки використання EigenLayer.
EigenDA
EigenDA — це флагманський продукт, запущений EigenLayer. Рішення походить від Danksharding, рішення для розширення Ethereum. Серед них вибірка доступності даних (DAS) також широко використовується в проектах DA, таких як Celestia та Avail. У цьому розділі ми коротко ознайомимося з DAS, а потім розглянемо впровадження EigenDA та його інновації.
Джерело: Dankrad Feist
Як інтерфейсне рішення для Danksharding EIP-4844 представляє «транзакцію з переносом блобів», кожна транзакція передасть додаткові 125 Кб даних. У контексті маршруту розширення шардингу даних нещодавно додані дані, безсумнівно, збільшать навантаження на вузли. Отже, чи є спосіб для вузла завантажити лише невелику частину даних і також перевірити, що всі дані доступні?
Те, що DAS робить, це дозволяє вузлам випадково відбирати невелику частину даних кілька разів. Кожна успішна вибірка підвищує впевненість вузла в тому, що дані доступні, і після досягнення певного заданого рівня дані вважаються доступними. Однак зловмисник все ще може приховати невелику частину даних - нам також потрібна певна відмовостійкість.
DAS використовує кодування стирання (Erasure Coding). Основна ідея кодування зі стиранням полягає в тому, щоб розділити дані на кілька блоків, а потім закодувати ці блоки, генеруючи додаткові зайві блоки. Ці надлишкові блоки містять частину інформації вихідних блоків даних, так що, коли деякі блоки даних втрачені або пошкоджені, втрачені блоки даних можна відновити за допомогою надлишкових блоків. Таким чином, кодування стирання забезпечує резервування та надійність DAS.
Крім того, нам також потрібно перевірити, чи правильно закодовані отримані надлишкові блоки, оскільки вихідні дані не можна реконструювати за допомогою неправильного надлишкового блоку. Danksharding використовує зобов’язання KZG (Kate-Zaverucha-Goldberg). KZG Commitment — це метод перевірки полінома, який може підтвердити, що значення полінома в певній позиції відповідає вказаному значенню.
Пристрій перевірки вибирає поліном p(x) і використовує p(x) для обчислення зобов’язань для кожного блоку даних, який називається C1, C2, ..., Cm. Пристрій перевірки опублікує зобов’язання разом із блоком даних. Щоб перевірити кодування, верифікатор може випадковим чином відібрати t точок x 1, x 2, ..., xt і попросити перевіряючого відкрити зобов'язання в цих точках: p(x 1), p(x 2), ... , p(xt). Використовуючи інтерполяцію Лагранжа, верифікатор може реконструювати поліном p(x) з цих t точок. Верифікатор тепер може повторно обчислити зобов’язання C 1', C 2', ..., Cm', використовуючи реконструйований поліном p(x) і блок даних, і переконатися, що вони відповідають опублікованим зобов’язанням C 1, C 2, ... , Cm match.
Коротше кажучи, використовуючи зобов’язання KZG, верифікаторам потрібна лише невелика кількість балів, щоб перевірити правильність усього кодування. Таким чином ми отримуємо повний DAS.
Джерело: EigenLayer
EigenLayer запозичує ідеї з DAS і застосовує їх до EigenDA.
По-перше, вузли EigenDA повторно закладаються та реєструються в контракті EigenLayer.
По-друге, після отримання даних секвенсор ділить дані на кілька блоків, використовує кодування стирання для генерації надлишкових блоків і обчислює зобов’язання KZG, що відповідає кожному блоку даних. Sequencer оприлюднює зобов’язання KZG щодо контракту EigenDA один за одним як свідок.
Згодом секвенсор розподіляє блоки даних разом із їхніми зобов’язаннями KZG кожному вузлу EigenDA по одному. Після того як вузол отримує зобов’язання KZG, він порівнює його з зобов’язанням KZG у контракті EigenDA.Після підтвердження його правильності блок даних зберігається та підписується.
Після цього секвенсор збирає ці підписи, генерує агреговані підписи та публікує їх у контракті EigenDA, а контракт EigenDA перевіряє підписи. Коли перевірка підпису правильна, весь процес завершено.
У наведеному вище процесі вузол EigenDA лише стверджує, що зберіг блок даних за допомогою підписів. Нам також потрібен спосіб переконатися, що вузли EigenDA не брешуть. EigenDA використовує підтвердження зберігання.
Ідея доказу опіки полягає в тому, щоб поставити «бомбу» в дані, як тільки вузол підпише її, вона буде скорочена. Для того, щоб реалізувати підтвердження депонування, необхідно розробити: секретне значення для розрізнення різних вузлів DA для запобігання шахрайству; функцію, специфічну для вузла DA, яка приймає дані DA та секретне значення як вхідні дані, а також наявність або відсутність бомби як вихід. Якщо вузол не зберігає повні дані, він не може обчислити функцію. У своєму блозі Данкрад поділився більш детальною інформацією про докази умовного депонування.
Джерело: EigenLayer
Якщо є відкладений вузол, будь-хто може подати підтвердження до контракту EigenDA, і контракт перевірить підтвердження, і якщо перевірку пройдено, відкладений вузол буде оштрафований.
З точки зору апаратних вимог, зобов’язання KZG обчислювати 32 Мбайт даних за 1 секунду вимагає приблизно 32-64 ядерних процесорів, але ця вимога стосується лише сторони секвенсора і не накладає тягаря на вузол 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.
![IOSG Ventures: Огляд останніх досягнень EigenLayer і випадків використання у сфері «повторного застави»] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-acfbe6d8dc-dd1a6f-6d2ef1)
Джерело: EigenLayer
EigenLayer запропонував MEV-Boost++ для оновлення MEV-Boost і представив частину Proposer у блоці.Пропонент може включити будь-яку транзакцію в частину Proposer. Той, хто пропонує, може одночасно створити альтернативний блок B-alt і запропонувати цей альтернативний блок B-alt, коли реле не випускає Builder_part. Ця гнучкість не тільки забезпечує стійкість до цензури, але й вирішує проблему живучості реле.
Джерело: Dankrad Feist
Це узгоджується з дизайном рівня протоколу — метою crList, запропонованою ePBS, тобто ми повинні гарантувати, що широке коло пропонентів може брати участь у вирішенні складу блоку для досягнення стійкості до цензури.
Порогове шифрування
У рішенні MEV, заснованому на пороговому шифруванні, група розподілених вузлів керує ключами шифрування та дешифрування. Користувачі шифрують транзакції, які розшифровуються та виконуються лише після того, як транзакція включена в блок.
Проте порогове шифрування базується на припущенні чесності більшості. Якщо більшість вузлів поводяться зле, це може призвести до того, що розшифровані транзакції не будуть включені в блок. Ті, хто пропонує повторні ставки, можуть прийняти надійне зобов’язання щодо зашифрованої транзакції, щоб забезпечити її включення до блоку. Якщо пропонент не включає розшифровану транзакцію, її буде скорочено. Звичайно, якщо зловмисна більшість вузлів не випускає ключ дешифрування, пропонент може запропонувати порожній блок.
Довгостроковий аукціон Blockspace
Довгострокові аукціони блоків дозволяють покупцям блоків заздалегідь резервувати майбутні блоки для валідатора. Валідатори, які беруть участь у повторних ставках, можуть брати надійні зобов’язання, і їх буде втрачено, якщо вони не включать транзакцію покупця після закінчення терміну її дії. Ця гарантія доступу до блокового простору має кілька практичних випадків використання. Наприклад, оракул повинен надавати ціни в певний період часу; Arbitrum випускає дані L2 в Ethereum L1 кожні 1-3 хвилини, Optimism кожні 30 секунд - 1 хвилину і т.д.
##PEPC
Джерело: Barnabé Monnot
Давайте повернемося до PEPC (зобов’язання пропонента на основі протоколу), яке нещодавно широко обговорювалося спільнотою Ethereum. PEPC насправді є просуванням або узагальненням ePBS.
Давайте по черзі розіб'ємо цей логічний ланцюжок.
Між PEPC і EigenLayer існує тонкий зв’язок. Неважко виявити, що є певна подібність між згаданими вище варіантами використання PEPC і сценаріями використання виробника блоків EigenLayer. Однак важлива відмінність між EigenLayer і PEPC полягає в тому, що заявники, які беруть участь у повторній заставі, все ще можуть теоретично порушити свої зобов’язання, хоча вони будуть фінансово покарані; у той час як PEPC зосереджується на «дотримання протоколу», тобто на протоколі На блоці реалізовано шар Mandatory.Якщо обіцянку неможливо виконати, блок буде недійсним.
(PS: З грубого погляду легко з’ясувати, що EigenDA схожий на Danksharding, а MEV-Boost++ — на ePBS. Ці дві служби схожі на опційну версію дизайну рівня протоколу. У порівнянні з рівнем протоколу , це швидше ринкове рішення. , йти в ногу з тим, що Ethereum збирається робити в майбутньому, і підтримувати вирівнювання Ethereum шляхом переставлення).
Не перевантажуйте Ethereum Consensus?
Кілька місяців тому статтю Віталіка «Don’t Overload Ethereum Consensus» більшість вважала критикою Restaking. Автор вважає, що це лише нагадування або застереження щодо підтримки соціального консенсусу, і акцент робиться на соціальному консенсусі, а не на запереченні повторної застави.
У зародковому стані Ethereum атака DAO викликала величезні суперечки, і в спільноті виникла гаряча дискусія щодо того, чи варто проводити хардфорк. Сьогодні екосистема Ethereum, включаючи Rollup, вже містить величезну кількість програм. Тому дуже важливо уникати серйозних розбіжностей у суспільстві та підтримувати послідовність соціального консенсусу.
Герміона створює успішний рівень 2 і стверджує, що, оскільки її рівень 2 є найбільшим, він за своєю суттю є найбезпечнішим, оскільки якщо є помилка, яка спричиняє крадіжку коштів, втрати будуть настільки великими, що спільнота не матиме вибору але форк для повернення коштів користувачів. Високий ризик.
Наведена вище цитата з оригінального тексту є гарним прикладом. Сьогодні загальний TVL L2 перевищує 10 мільярдів доларів США.Якщо виникне проблема, вона буде надзвичайно залученою. У цей час, якщо спільнота запропонує реалізувати хардфорк і відкотити статус, це неминуче викличе величезну суперечку. Припустімо, що у нас з вами є велика сума грошей, як ми виберемо – повернути гроші чи поважати незмінність блокчейну? Думка Віталіка полягає в тому, що проекти, які покладаються на Ethereum, повинні належним чином керувати ризиками, а не намагатися завоювати соціальний консенсус Ethereum і сильно пов’язувати життя та смерть проекту з Ethereum.
Повертаючись до обговорення EigenLayer, фокус управління ризиками полягає в тому, що AVS має визначити об’єктивні, ланцюгові та приписувані правила скорочення, щоб уникнути розбіжностей. Наприклад, подвійне підписання блоків на Ethereum; підписання недійсних блоків іншого ланцюга в легкому крос-ланцюжковому мосту на основі вузлів; доказ EigenDA, про який говорилося вище, і так далі. Це та подібні є чіткими правилами конфіскації.
Висновок
Джерело: EigenLayer
Очікується, що EigenLayer завершить запуск основної мережі на початку наступного року та випустить свій флагманський продукт EigenDA. Багато інфраструктурних проектів оголосили про співпрацю з EigenLayer. Ми обговорювали EigenDA, MEV і PEPC вище, і існує багато цікавих дискусій навколо різних випадків використання. Повторна застава стає одним із домінуючих наративів на ринку. Ми будемо продовжувати стежити за прогресом EigenLayer і ділитися будь-якими думками!