tl; dr: у цій статті обговорюється пропозиція щодо розподілу прав в Ethereum, надається швидкий (опінійований) огляд поточної дискусії та на кінці виділяється кілька відкритих питань.
Мета запобігання централізації, спричиненої MEV, яка підриває основні властивості Ethereum, призвела до різноманітних запропонованих схем, які змінюють спосіб побудови та запропонування блоків в мережі. Ці схеми, такі як ePBS, MCP або квитки на виконання, замінили б ринок, який базується на MEV-Boost, який ми маємо сьогодні (хоча програмне забезпечення MEV-Boost все ще може відігравати роль).
У всіх цих дизайнів є дві спільні цілі: як основна ціль, ми хочемо уникнути будь-якого стимулу для атестаторів вести себе стратегічно. Винагороди в навичках та переваги спільного розміщення створюють централізуючий тиск на мережу, який ми хочемо уникнути. Як вторинна ціль, ми хочемо зберегти «добрий» ринок будівництва. Під «ринком будівництва» ми маємо на увазі ринок, який виникає навколо обслуговування додаткової ролі, яку створюють всі ці схеми, крім ролі атестатора. «Добрий» включає навігацію в просторі компромісу між децентралізацією, ефективністю та доходами протоколу.
Під час початкових досліджень цього простору рішень ~ консенсусна позиція полягала в тому, що ми хочемо великої ступеня децентралізації серед атестаторів, навіть якщо це означає, що ринок будівництва є досить "поганим" (наприклад, кінцева гра пост 2Однак ніколи не було зрозуміло, на якому етапі ми проводимо лінію та готові мати меншу децентралізацію серед свідків для кращого ринку будівництва. Цей пост не намагається взяти тут позицію, а лише робить доступним ландшафт компромісів. Це складна проблема, і є кілька аргументів, які ми дійсно можемо вважати водонепроникними та абсолютно передбачуваними, тому цей пост слід розглядати як інтерпретацію виконаної роботи, але він безумовно може змінюватися.
З моменту виникнення родини дизайнів для одночасних пропонентів (MCP), до якої ПЛЕТІННЯ 3це перший зусилля з проектування, воно ще досить нове і спочатку має бути дороблене, у статті докладно розглядаються однопропонентні проекти та присвячується короткий розділ обговоренню КПП в кінці.
Примітка: "атестатор" використовується замість "валідатора", щоб підкреслити відносно просту роль згоди атестації блоків та участь в p2p-шарі на відміну від більш складної ролі виробництва та пропозиції блоків, яку мережа технічно відносить до того самого актора. Aтестатор і валідатор можуть вважатися приблизно взаємозамінними.
Свідки найбільше користуються стратегічною поведінкою, коли їх обирають лідерами консенсусу для пропозиції блоків решті набору свідків для певного слоту. Таким чином, більшість розроблених нами дизайнів для захисту свідків спрямовані на роль пропонента. Кожен з них використовує деяку комбінацію трьох технік:
Кожен з цих має свої обмеження:
Ця зворотна зв'язок може не підривати нашої основної мети настільки багато, але має потенціал впливати на ринок будівельників - наприклад, коли інвестиційні рішення не приймаються задовго наперед, а пропоноване правильне значення швидко змінюється з часом.
Величина такого ефекту ще не добре зрозуміла і можливо не є значущою.
З іншого боку, у нас є менш дороблений напрямок MCP, який дійсно переробляє протокол консенсусу так, що роль пропонента повністю розподіляється комітету (кожен член комітету тепер називається "пропонентом"), не надаючи привілеїв окремому акторові. Хоча MCP відкриває промінь надії на значне зміцнення гарантій, наданих підходом комітет-обмеження, зміни використання комітету в цьому випадку, ймовірно, становлять фундаментальну зміну і все ще залишають багато невизначених деталей. Тому неможливо припускати, що навколишня поведінка залишається незмінною, і потрібен значний додатковий аналіз часових стимулів, стимулів для спаму, пропускної здатності мережі та подібного. Для отримання додаткової інформації див. цей пост про порівняння BRAID та FOCIL 2, цей аналіз 1, ця панель 1і розділ в кінці публікації для більш детальної інформації.
Додатково, можна вказати на зростаючу важливість не-комерційних характеристик будівельника, таких як передбачення ціни та терпимість до ризику, для формулювання аналогічних аргументів на користь централізації через торгівлю вперед.
При дослідженні цих компромісів ми можемо зробити деякі загальні рекомендації. По-перше, використання комітету для обмеження пропонентів, схоже, не має глибокого компромісу (можливо, широкі стимули до часу й складності, але ці здаються менш важливими, ніж інші згадані динаміки), при цьому забезпечуючи перевагу забезпечення опору цензурі та зменшення впливу петлі зворотного зв'язку eprop або bprop MEV, в залежності від того, якого актора ми виберемо для запуску механізму розподілу. Тому ми повинні використовувати щось схоже на FOCIL у будь-якій схемі. У майбутньому, ми, сподіваємося, знайдемо, що напрямок MCP приносить плоди ще більш привабливого комітету, який потім може зайняти місце FOCIL.
Введення ролі eprop, схоже, неминуче. Є кілька причин для цього. Окрім більшості пропозицій, пов'язаних з роллю eprop, ми можемо розглянути поточний протокол, який неявно не вводить цю роль, а замість цього виникла органічно на позапротокольному ринку (MEV-Boost), що свідчить про те, що стимули призводять до виникнення спеціалізованої ролі навіть якщо дизайн протоколу не передбачає цього. Це залишає нас з трьома важливими виборами для створення ролі eprop: хто розподіляє права eprop (eprop або bprop), коли учасники повинні приймати "інвестиційні рішення" (ставки, стейкінг, купівля квитків тощо) і як обирається eprop?
Розглядаючи, хто і коли приймає рішення, ми приходимо до наступних діаграм:
eprop обробляє механізм розподілу
bprop відповідає за механізм розподілу
Перший варіант, зазначений зліва, показує світ, в якому ми залишаємо якомога більше ролей на епропі. Залишається вибір щодо визначення моменту, зокрема, моменту прийняття інвестиційних рішень відносно виділених слотів. Налаштування часу дозволить нам навігувати двома силами, що негативно впливають на структуру ринку будівельників. Ще більш раннє запускання призводить до згаданих вище негативних впливів на ринок будівельників (таких як концентрація та втрата прибутку), тоді як менша затримка загрожує створенням позитивних петель зворотного зв'язку для інкумбентів, хоча не зовсім зрозуміло, якого масштабу може бути така перевага. Виходячи з факторів, які ми розглянули вище, цей важкий простір дизайну епроп найкраще ізолює бпроп. Звичайно, можуть бути й інші відповідні взаємодії, які ми ще не досліджували.
Крім того, ми могли б залишити розподіл прав на eprop bprop. У цьому світі bprop візьме на себе такі ролі, як визначення найвищої ставки на аукціоні або включення повідомлень про купівлю квитків на виконання. Налаштування таймінгу в такому світі дозволяє нам обирати між тим, щоб пожертвувати «вільністю від стратегії» (тобто децентралізацією атестатора) заради концентрації ринку забудовників.
Аукціон блоків проти аукціонів слотів
The обговорення аукціонів блоку проти слоту в ePBS 1 можна розглядати як дискусію про запуск механізму розподілу без затримки (блоковий аукціон) проти з невеликою затримкою (аукціон слотів). Стаття за посиланням надає відносно вичерпний огляд, але ми хотіли б додати два моменти щодо цього «фазового переходу»
Діаграми вище зафіксовують лише напрямок різних передбачених ефектів, але ступінь наявності цих ефектів природно залежить від типу механізму розподілу. Суд ще не виніс вироку у цьому питанні, але є деякі відповідні роботи, що дозволяють нам розрізняти між багатьма можливими конструкціями:
(Flashbots) стверджує, що механізми розподілу, що мають більшу еластичність у постачанні права на пропозицію, дозволяють більш різноманітний ринок. Це пояснює, чому моделі, які передбачають фіксовану кількість квитків, такий як цей 3 прогнозує єдиного власника всіх квитків, тоді як система Ethereum PoS наразі підтримує різноманітні суб'єкти.
Наш висновок з цього полягає в тому, що, якщо хтось бажає, щоб ринок будівництва був мінімально концентрованим, можна досягти успіху, розподіливши права на пропозицію якомога ширше, але це супроводжується втратою ефективності та доходів. Мати механізм розподілу, що сприяє децентралізації ринку, має на меті пом'якшити витрати, пов'язані з вимогою приймати рішення про інвестиції за більш ранніми строками.
Загалом, ми стверджували, що хочемо уникнути концентрації ринку та найняти комітети, щоб зменшити можливість для будь-якого окремого суб'єкта підривати нейтральність ринку блокового простору (наприклад, шляхом цензури або випередження конкуруючих угод). Більш конкретне занепокоєння полягає в тому, що якщо суб'єкт знає, що він володіє правами пропозиції щодо послідовних блоків, він зможе та стимулюватиметься до вжиття додаткових дій, які негативно впливають на роботу ринків. Наприклад, якщо будівельник знає, що він буде виробляти два блоки поспіль (з високою ймовірністю), він може цензурувати деякі угоди в першому блоці, знаючи, що він може більш вигідно виконати їх в наступному (див. Ось 1докладніше).
Ми хочемо уникнути цього типу динаміки з двох причин:
Ми могли спробувати вирішити цю проблему, використовуючи наступні підходи:
Пункти 1 та 3 вже обговорені вище, а реалізація 2 переважно залишила б інші обговорення без змін.
Як згадувалося раніше, Multiple Concurrent Proposers можна розглядати як властивість дизайну, яка доводить використання комітетів до крайнощів. Замість того, щоб комітет обмежував одного актора, як це намагаються зробити дизайнери списку включення (або, як стверджується інакше, залишав спеціального актора з «останнім поглядом»), МКП мав би комітет акторів «порівну» будувати блок або, принаймні, діяти одночасно. Найголовнішою конструкцією МКП є BRAID 3яка все ще знаходиться на стадії визначення деталей консенсусу, і ще не була запропонована конкретна схема упорядкування.
У певному сенсі МКП ідеально вписується в те, про що йшлося вище. MCP закликає до можливості обирати кілька пропозицій на блок, але не визначає, коли повинні прийматися інвестиційні рішення будівельниками або як повинні бути розподілені права пропозиції. Поділ між eprops і bprops також не обов'язково слід сприймати як належне в цій моделі. Дехто може стверджувати, що розподіл пропозицій у межах слота між суб'єктами може достатньо зменшити стимули MEV, що призначення тестувальників для цього завдання не призведе до вторинного ринку. \
Якщо йдеться про комітети, використання комітетів знижує вплив стимулів MEV, за винятком загальної колузії, тому наслідки запитання будівельникам зробити інвестиційні рішення ближче до слоту, ймовірно, зменшуються, і нам не доведеться зазнавати стільки "поганості ринку", про яку ми говоримо разом з прийняттям рішень про інвестиції заздалегідь. Додаткова перевага MCP перед рішеннями на основі комітетів, які обмежують пропонентів, полягає в тому, що MCP покращує гарантії живості, оскільки жоден окремий пропонент не може спричинити пропущений слот.
З огляду на це, MCP/BRAID є як фундаментальною, так і на даний момент недостатньо визначеною зміною з багатьма невідомими аспектами, які потрібно вирішити. Наприклад, бути останнім пропонувальником може забезпечити деякі інформаційні переваги, що можуть створити нові стимули гри в часі і намірену дезкоординацію серед одночасних пропонувальників може призвести до неефективності, такої як включення дубльованих транзакцій в слоти. Деякі з цих питань були обговорені докладніше в ...Остання панель 1.
Головною метою цього поста було визначення простору компромісів. Це можна узагальнити наступним чином:
Звичайно, є багато відкритих питань, і, можливо, я не знаю найкращих питань, які можна запитати. Ось кілька питань, які, на мою думку, є важливими:
Ця стаття перепечатана з [Opening bracketколективний]. Усі авторські права належать оригінальному автору [Квінт та @Christophrobot]. Якщо є зауваження до цього повторного видання, будь ласка, зв'яжіться з Gate Learnкоманда, і вони оперативно займуться цим.
Відмова від відповідальності: Погляди та думки, висловлені в цій статті, належать виключно автору і не є жодною інвестиційною порадою.
Переклади статей на інші мови здійснюються командою Gate Learn. Якщо не зазначено інше, заборонено копіювання, поширення або плагіат перекладених статей.
Поділіться
tl; dr: у цій статті обговорюється пропозиція щодо розподілу прав в Ethereum, надається швидкий (опінійований) огляд поточної дискусії та на кінці виділяється кілька відкритих питань.
Мета запобігання централізації, спричиненої MEV, яка підриває основні властивості Ethereum, призвела до різноманітних запропонованих схем, які змінюють спосіб побудови та запропонування блоків в мережі. Ці схеми, такі як ePBS, MCP або квитки на виконання, замінили б ринок, який базується на MEV-Boost, який ми маємо сьогодні (хоча програмне забезпечення MEV-Boost все ще може відігравати роль).
У всіх цих дизайнів є дві спільні цілі: як основна ціль, ми хочемо уникнути будь-якого стимулу для атестаторів вести себе стратегічно. Винагороди в навичках та переваги спільного розміщення створюють централізуючий тиск на мережу, який ми хочемо уникнути. Як вторинна ціль, ми хочемо зберегти «добрий» ринок будівництва. Під «ринком будівництва» ми маємо на увазі ринок, який виникає навколо обслуговування додаткової ролі, яку створюють всі ці схеми, крім ролі атестатора. «Добрий» включає навігацію в просторі компромісу між децентралізацією, ефективністю та доходами протоколу.
Під час початкових досліджень цього простору рішень ~ консенсусна позиція полягала в тому, що ми хочемо великої ступеня децентралізації серед атестаторів, навіть якщо це означає, що ринок будівництва є досить "поганим" (наприклад, кінцева гра пост 2Однак ніколи не було зрозуміло, на якому етапі ми проводимо лінію та готові мати меншу децентралізацію серед свідків для кращого ринку будівництва. Цей пост не намагається взяти тут позицію, а лише робить доступним ландшафт компромісів. Це складна проблема, і є кілька аргументів, які ми дійсно можемо вважати водонепроникними та абсолютно передбачуваними, тому цей пост слід розглядати як інтерпретацію виконаної роботи, але він безумовно може змінюватися.
З моменту виникнення родини дизайнів для одночасних пропонентів (MCP), до якої ПЛЕТІННЯ 3це перший зусилля з проектування, воно ще досить нове і спочатку має бути дороблене, у статті докладно розглядаються однопропонентні проекти та присвячується короткий розділ обговоренню КПП в кінці.
Примітка: "атестатор" використовується замість "валідатора", щоб підкреслити відносно просту роль згоди атестації блоків та участь в p2p-шарі на відміну від більш складної ролі виробництва та пропозиції блоків, яку мережа технічно відносить до того самого актора. Aтестатор і валідатор можуть вважатися приблизно взаємозамінними.
Свідки найбільше користуються стратегічною поведінкою, коли їх обирають лідерами консенсусу для пропозиції блоків решті набору свідків для певного слоту. Таким чином, більшість розроблених нами дизайнів для захисту свідків спрямовані на роль пропонента. Кожен з них використовує деяку комбінацію трьох технік:
Кожен з цих має свої обмеження:
Ця зворотна зв'язок може не підривати нашої основної мети настільки багато, але має потенціал впливати на ринок будівельників - наприклад, коли інвестиційні рішення не приймаються задовго наперед, а пропоноване правильне значення швидко змінюється з часом.
Величина такого ефекту ще не добре зрозуміла і можливо не є значущою.
З іншого боку, у нас є менш дороблений напрямок MCP, який дійсно переробляє протокол консенсусу так, що роль пропонента повністю розподіляється комітету (кожен член комітету тепер називається "пропонентом"), не надаючи привілеїв окремому акторові. Хоча MCP відкриває промінь надії на значне зміцнення гарантій, наданих підходом комітет-обмеження, зміни використання комітету в цьому випадку, ймовірно, становлять фундаментальну зміну і все ще залишають багато невизначених деталей. Тому неможливо припускати, що навколишня поведінка залишається незмінною, і потрібен значний додатковий аналіз часових стимулів, стимулів для спаму, пропускної здатності мережі та подібного. Для отримання додаткової інформації див. цей пост про порівняння BRAID та FOCIL 2, цей аналіз 1, ця панель 1і розділ в кінці публікації для більш детальної інформації.
Додатково, можна вказати на зростаючу важливість не-комерційних характеристик будівельника, таких як передбачення ціни та терпимість до ризику, для формулювання аналогічних аргументів на користь централізації через торгівлю вперед.
При дослідженні цих компромісів ми можемо зробити деякі загальні рекомендації. По-перше, використання комітету для обмеження пропонентів, схоже, не має глибокого компромісу (можливо, широкі стимули до часу й складності, але ці здаються менш важливими, ніж інші згадані динаміки), при цьому забезпечуючи перевагу забезпечення опору цензурі та зменшення впливу петлі зворотного зв'язку eprop або bprop MEV, в залежності від того, якого актора ми виберемо для запуску механізму розподілу. Тому ми повинні використовувати щось схоже на FOCIL у будь-якій схемі. У майбутньому, ми, сподіваємося, знайдемо, що напрямок MCP приносить плоди ще більш привабливого комітету, який потім може зайняти місце FOCIL.
Введення ролі eprop, схоже, неминуче. Є кілька причин для цього. Окрім більшості пропозицій, пов'язаних з роллю eprop, ми можемо розглянути поточний протокол, який неявно не вводить цю роль, а замість цього виникла органічно на позапротокольному ринку (MEV-Boost), що свідчить про те, що стимули призводять до виникнення спеціалізованої ролі навіть якщо дизайн протоколу не передбачає цього. Це залишає нас з трьома важливими виборами для створення ролі eprop: хто розподіляє права eprop (eprop або bprop), коли учасники повинні приймати "інвестиційні рішення" (ставки, стейкінг, купівля квитків тощо) і як обирається eprop?
Розглядаючи, хто і коли приймає рішення, ми приходимо до наступних діаграм:
eprop обробляє механізм розподілу
bprop відповідає за механізм розподілу
Перший варіант, зазначений зліва, показує світ, в якому ми залишаємо якомога більше ролей на епропі. Залишається вибір щодо визначення моменту, зокрема, моменту прийняття інвестиційних рішень відносно виділених слотів. Налаштування часу дозволить нам навігувати двома силами, що негативно впливають на структуру ринку будівельників. Ще більш раннє запускання призводить до згаданих вище негативних впливів на ринок будівельників (таких як концентрація та втрата прибутку), тоді як менша затримка загрожує створенням позитивних петель зворотного зв'язку для інкумбентів, хоча не зовсім зрозуміло, якого масштабу може бути така перевага. Виходячи з факторів, які ми розглянули вище, цей важкий простір дизайну епроп найкраще ізолює бпроп. Звичайно, можуть бути й інші відповідні взаємодії, які ми ще не досліджували.
Крім того, ми могли б залишити розподіл прав на eprop bprop. У цьому світі bprop візьме на себе такі ролі, як визначення найвищої ставки на аукціоні або включення повідомлень про купівлю квитків на виконання. Налаштування таймінгу в такому світі дозволяє нам обирати між тим, щоб пожертвувати «вільністю від стратегії» (тобто децентралізацією атестатора) заради концентрації ринку забудовників.
Аукціон блоків проти аукціонів слотів
The обговорення аукціонів блоку проти слоту в ePBS 1 можна розглядати як дискусію про запуск механізму розподілу без затримки (блоковий аукціон) проти з невеликою затримкою (аукціон слотів). Стаття за посиланням надає відносно вичерпний огляд, але ми хотіли б додати два моменти щодо цього «фазового переходу»
Діаграми вище зафіксовують лише напрямок різних передбачених ефектів, але ступінь наявності цих ефектів природно залежить від типу механізму розподілу. Суд ще не виніс вироку у цьому питанні, але є деякі відповідні роботи, що дозволяють нам розрізняти між багатьма можливими конструкціями:
(Flashbots) стверджує, що механізми розподілу, що мають більшу еластичність у постачанні права на пропозицію, дозволяють більш різноманітний ринок. Це пояснює, чому моделі, які передбачають фіксовану кількість квитків, такий як цей 3 прогнозує єдиного власника всіх квитків, тоді як система Ethereum PoS наразі підтримує різноманітні суб'єкти.
Наш висновок з цього полягає в тому, що, якщо хтось бажає, щоб ринок будівництва був мінімально концентрованим, можна досягти успіху, розподіливши права на пропозицію якомога ширше, але це супроводжується втратою ефективності та доходів. Мати механізм розподілу, що сприяє децентралізації ринку, має на меті пом'якшити витрати, пов'язані з вимогою приймати рішення про інвестиції за більш ранніми строками.
Загалом, ми стверджували, що хочемо уникнути концентрації ринку та найняти комітети, щоб зменшити можливість для будь-якого окремого суб'єкта підривати нейтральність ринку блокового простору (наприклад, шляхом цензури або випередження конкуруючих угод). Більш конкретне занепокоєння полягає в тому, що якщо суб'єкт знає, що він володіє правами пропозиції щодо послідовних блоків, він зможе та стимулюватиметься до вжиття додаткових дій, які негативно впливають на роботу ринків. Наприклад, якщо будівельник знає, що він буде виробляти два блоки поспіль (з високою ймовірністю), він може цензурувати деякі угоди в першому блоці, знаючи, що він може більш вигідно виконати їх в наступному (див. Ось 1докладніше).
Ми хочемо уникнути цього типу динаміки з двох причин:
Ми могли спробувати вирішити цю проблему, використовуючи наступні підходи:
Пункти 1 та 3 вже обговорені вище, а реалізація 2 переважно залишила б інші обговорення без змін.
Як згадувалося раніше, Multiple Concurrent Proposers можна розглядати як властивість дизайну, яка доводить використання комітетів до крайнощів. Замість того, щоб комітет обмежував одного актора, як це намагаються зробити дизайнери списку включення (або, як стверджується інакше, залишав спеціального актора з «останнім поглядом»), МКП мав би комітет акторів «порівну» будувати блок або, принаймні, діяти одночасно. Найголовнішою конструкцією МКП є BRAID 3яка все ще знаходиться на стадії визначення деталей консенсусу, і ще не була запропонована конкретна схема упорядкування.
У певному сенсі МКП ідеально вписується в те, про що йшлося вище. MCP закликає до можливості обирати кілька пропозицій на блок, але не визначає, коли повинні прийматися інвестиційні рішення будівельниками або як повинні бути розподілені права пропозиції. Поділ між eprops і bprops також не обов'язково слід сприймати як належне в цій моделі. Дехто може стверджувати, що розподіл пропозицій у межах слота між суб'єктами може достатньо зменшити стимули MEV, що призначення тестувальників для цього завдання не призведе до вторинного ринку. \
Якщо йдеться про комітети, використання комітетів знижує вплив стимулів MEV, за винятком загальної колузії, тому наслідки запитання будівельникам зробити інвестиційні рішення ближче до слоту, ймовірно, зменшуються, і нам не доведеться зазнавати стільки "поганості ринку", про яку ми говоримо разом з прийняттям рішень про інвестиції заздалегідь. Додаткова перевага MCP перед рішеннями на основі комітетів, які обмежують пропонентів, полягає в тому, що MCP покращує гарантії живості, оскільки жоден окремий пропонент не може спричинити пропущений слот.
З огляду на це, MCP/BRAID є як фундаментальною, так і на даний момент недостатньо визначеною зміною з багатьма невідомими аспектами, які потрібно вирішити. Наприклад, бути останнім пропонувальником може забезпечити деякі інформаційні переваги, що можуть створити нові стимули гри в часі і намірену дезкоординацію серед одночасних пропонувальників може призвести до неефективності, такої як включення дубльованих транзакцій в слоти. Деякі з цих питань були обговорені докладніше в ...Остання панель 1.
Головною метою цього поста було визначення простору компромісів. Це можна узагальнити наступним чином:
Звичайно, є багато відкритих питань, і, можливо, я не знаю найкращих питань, які можна запитати. Ось кілька питань, які, на мою думку, є важливими:
Ця стаття перепечатана з [Opening bracketколективний]. Усі авторські права належать оригінальному автору [Квінт та @Christophrobot]. Якщо є зауваження до цього повторного видання, будь ласка, зв'яжіться з Gate Learnкоманда, і вони оперативно займуться цим.
Відмова від відповідальності: Погляди та думки, висловлені в цій статті, належать виключно автору і не є жодною інвестиційною порадою.
Переклади статей на інші мови здійснюються командою Gate Learn. Якщо не зазначено інше, заборонено копіювання, поширення або плагіат перекладених статей.