Один з найбільших ризиків для Ethereum L1 - централізація доказу участі на основі економічних тиску. Якщо участь у основних механізмах доказу участі має економію масштабів, це природно призводить до домінування великих вкладників та виходу зігнорованих вкладників для приєднання до великих пулів. Це призводить до вищого ризику 51% атак, цензури транзакцій та інших криз. Крім ризику централізації, також існують ризики видобутку вартості: невелика група захоплює вартість, яка інакше потрапила б до користувачів Ethereum.
Протягом останнього року наше розуміння цих ризиків значно зросло. Добре зрозуміло, що існують два ключових місця, де існує цей ризик: (i) побудова блоків та (ii) забезпечення капіталу заручників. Більші актори можуть дозволити собі запускати більш складні алгоритми («вилучення MEV») для генерації блоків, що дає їм вищий дохід за блок. Дуже великі актори також можуть більш ефективно вирішувати проблему того, що їх капітал заблоковано, випускаючи його іншим у вигляді ліквідного жетона заручників (LST). Окрім прямих питань малих та великих заручників, існує також питання про те, чи є (або буде) протокол Ethereum.занадто багато заставленої Ethereum.
Скердж, дорожня карта на 2023 рік
Цього року було значні прогреси у блок-будівництві, зокрема зближення на «списки включення комітетів плюс деякі цілеспрямовані рішення для упорядкування» як ідеального рішення, а також значні дослідження з економіки Proof of Stake, включаючи ідеї, такі як двохрівневі моделі стейкингу і зниження емісії для обмеження відсотка ETH, який може бути стейкнутий.
Сьогодні будівництво блоку Ethereum в основному здійснюється шляхом розділення поза протоколом з пропозитором-будівельником.MEVBoost. Коли валідатор отримує можливість запропонувати блок, він передає роботу з вибору вмісту блоку на аукціон спеціалізованим суб'єктам, які називаються будівельниками. Завдання вибору вмісту блоку, що максимізує дохід, дуже економічне: потрібні спеціалізовані алгоритми, щоб визначити, які транзакції включати, щоб витягти якомога більше цінності з ончейн-фінансових гаджетів і транзакцій користувачів, що взаємодіють з ними (це те, що називається «видобутком MEV»). Валідаторам залишається відносно економія на масштабі, легке завдання «тупої труби» — прослуховування пропозицій і прийняття найвищої пропозиції, а також інші обов'язки, такі як атестація.
Стилізована діаграма того, що робить MEVBoost: спеціалізовані будівельники беруть на себе завдання у червоному, а стейкери беруть на себе завдання у синьому.
Існує кілька версій цього, включаючи "розділення пропонента-будівельника«(PBS)» та «розділення атестанта-пропонента» (APS). Різниця між ними полягає в дрібних деталях щодо того, які обов'язки покладаються на кожного з двох акторів: приблизно в PBS валідатори все ще пропонують блоки, але отримують дані від будівельників, а в APS весь слот стає відповідальністю будівельника. Останнім часом APS віддається перевага перед PBS, оскільки це ще більше зменшує стимули для пропонентів співпрацювати з будівельниками. Зверніть увагу, що APS застосовуватиметься лише до виконавчих блоків, які містять транзакції; консенсусні блоки, які містять дані, пов'язані з доказом власності, такі як атестації, все ще будуть випадково призначені валідаторам.
Це розділення влади допомагає зберегти децентралізацію валідаторів, але воно має один важливий кошт: актори, які виконують "спеціалізовані" завдання, легко можуть стати дуже централізованими. Ось побудова блоку Ethereum сьогодні:
Два актори обирають вміст приблизно 88% блоків Ethereum. Що, якщо ці два актори вирішать зцензурувати транзакцію? Відповідь не така погана, як може здатися: вони не можуть переорганізувати блоки, тому вам не потрібно 51% цензури, щоб уникнути включення транзакції зовсім: вам потрібно 100%. З 88% цензурою користувачеві потрібно буде чекати в середньому 9 слотів для включення (технічно в середньому 114 секунд, замість 6 секундів). Для деяких випадків використання, очікування двох або навіть п'яти хвилин для певних транзакцій цілком припустимо. Але для інших випадків використання, наприклад ліквідації defi, навіть можливість затримки включення транзакції іншої особи на кілька блоків є значним ризиком маніпулювання ринком.
Стратегії, які можуть використовувати блочні будівельники для максимізації доходів, також можуть мати інші негативні наслідки для користувачів. A “атака-сендвіч"може призвести до значних втрат для користувачів, які роблять обмін токенів, через велику різницю в цінах. Транзакції, які використовуються для цих атак, забивають ланцюг, що призводить до збільшення цін на газ для інших користувачів."
Лідируюче рішення полягає в подальшому розбитті завдання з виробництва блоків: ми передаємо завдання вибору транзакцій назад пропозиції (тобто учаснику), а будівельник може лише вибирати порядок та вставляти деякі власні транзакції. Це те, що списки включеннястремитися зробити.
У момент T випадково обраний стейкер створює список включень, список транзакцій, які є дійсними на основі поточного стану блокчейну на той момент. У момент T+1 будується блок будівельником блоку, можливо, обраним за допомогою механізму аукціону всередині протоколу заздалегідь. Цей блок повинен містити кожну транзакцію у списку включень, але вони можуть вибрати порядок та додати свої власні транзакції.
Пропозиції зі списком включення, які забезпечують вибір вилки (FOCIL), передбачають комітет декількох творців списків включень на блок. Щоб затримати транзакцію на один блок, k з k творців списків включень (наприклад, k = 16) мусили б цензурувати транзакцію. Поєднання FOCIL з остаточним пропонентом, обраним на аукціоні, який повинен включати списки включень, але може перепорядковувати та додавати нові транзакції, часто називається «FOCIL + APS».
Інший підхід до проблеми - це схеми з декількома одночасними пропонентами (MCP), такі як КОСИЧОК. BRAID намагається уникнути розбиття ролі пропонента блока на частину з низькими економічними масштабами та частину з високими економічними масштабами, а замість цього намагається розподілити процес виробництва блока серед багатьох акторів таким чином, що кожному пропоненту потрібно мати середню кількість складності для максимізації свого доходу. MCP працює шляхом використання k паралельних пропонентів, які генерують списки транзакцій, а потім використовують детермінований алгоритм (наприклад, упорядковування за найвищою до найнижчої комісією) для вибору порядку.
BRAID не ставить за мету досягнути оптимальності роботи блок-пропозерів, які виконують стандартне програмне забезпечення. Існують дві прості причини, чому це неможливо зробити:
У BRAID атестатори все ще можуть бути відокремлені і виконуватися як функціональність без розуму.
Помимо этих двух крайностей, существует спектр возможных дизайнов между ними. Например, вы можете аукционировать роль, которая имеет только право добавлять к блоку, но не переупорядочивать или вставлять в начало. Вы даже можете позволить им добавлять или вставлять в начало, но не вставлять посередине или переупорядочивать. Привлекательность этих техник заключается в том, что победители рынка аукционов являются імовірнобутидуже концентрований, тому зменшення їхньої влади має багато переваг.
Одна з технологій, яка є вирішальною для успішної реалізації багатьох з цих проектів (конкретно, БРЕЙД або версії APS, де є суворі обмеження на можливості, що виставляються на аукціон) - це зашифровані мемпули. Зашифровані мемпули - це технологія, при якій користувачі передають свої транзакції у зашифрованому вигляді, разом з якимось доказом їх дійсності, і транзакції включаються до блоків у зашифрованому вигляді, не розголошуючи блокувальникові вміст. Вміст транзакцій розкривається пізніше.
Основна проблема при впровадженні зашифрованих мемпулів полягає в тому, щоб придумати дизайн, який гарантує, що всі транзакції будуть розкриті пізніше: проста схема "commit and reveal" не працює, тому що, якщо розкриття є добровільним, акт вибору розкривати чи не розкривати сам по собі є свого роду впливом "останнього рушія" на блок, який може бути використаний. Двома провідними методами для цього є: (i) розшифрування за порогом, та (ii) затримка шифрування, примітив, тісно пов'язаний з функції перевірки затримки (VDFs).
Ми можемо розглядати всі перераховані вище схеми як різні способи розподілу повноважень, пов'язаних зі стейкінгом, розташовані в діапазоні від нижчої економії на масштабі («тупа труба») до більш високої економії на масштабі («дружня до спеціалізації»). До 2021 року всі ці повноваження були об'єднані в один актор:
Основна головоломка полягає в наступному: будь-який значущий авторитет, який залишається в руках стейкерів, є авторитетом, який може в кінцевому підсумку виявитися «актуальним для MEV». Ми хочемо, щоб децентралізований набір суб'єктів мав якомога більше повноважень; Це означає, що (i) передача великої кількості повноважень в руки стейкерів і (ii) забезпечення максимальної децентралізації стейкерів, а це означає, що у них мало стимулів для консолідації, обумовлених економією на масштабі. У цій напрузі важко орієнтуватися.
Однією з особливих проблем є багатоблоковий MEV: у деяких випадках переможці аукціонів можуть заробити ще більше грошей, якщо вони захоплюють кілька слотів поспіль і не дозволяють будь-які транзакції, пов'язані з MEV, у блоках, крім останнього, який вони контролюють. Якщо списки включення змушують їх це робити, то вони можуть спробувати обійти це, взагалі не публікуючи жодного блоку під час цих слотів. Можна було б скласти безумовні списки включень, які безпосередньо стають блоком, якщо будівельник його не надає, але це робить список включень важливим для MEVТут рішення може включати в себе певний компроміс, який передбачає прийняття певного низького ступеня стимулювання хабарників для включення транзакцій до списку включення, і сподівається, що цього недостатньо для масового аутсорсингу.
Ми можемо розглядати FOCIL + APS наступним чином. Стейкери продовжують мати повноваження щодо лівої частини спектра, тоді як права частина спектра продовжує продаватися на аукціоні найвищому пропоненту.
BRAID досить відрізняється. Частина «staker» більша, але вона розбивається на дві частини: легкі стейкери та важкі стейкери. Тим часом, оскільки транзакції упорядковані у порядку спадання пріоритетної комісії, вибір на вершині блоку фактично продається на аукціоні через ринок комісій, у схемі, яку можна порівняти з ...закріплений PBS.
Зверніть увагу, що безпека BRAID сильно залежить від зашифрованих мемпулів; в іншому випадку механізм аукціону верхньої частини блоку стає вразливим до атак, спрямованих на крадіжку стратегії (по суті: копіювання транзакцій інших людей, заміна адреси одержувача і оплата 0,01% вищої комісії). Ця потреба у приватності перед включенням також є причиною того, чому втілені ПБС настільки складно реалізувати.
На кінець, більш «агресивні» версії FOCIL + APS, наприклад, варіант, де APS лише визначає кінець блоку, виглядають так:
Основним залишається завдання (i) працювати над укріпленням різних пропозицій та аналізувати їх наслідки, та (ii) поєднати цей аналіз з розумінням цілей спільноти Ethereum щодо того, які форми централізації вона терпить. Також потрібно виконати роботу над кожною окремою пропозицією, такою як:
Додатково варто зазначити, що ці різні пропозиції не обов'язково є несумісними відгалуженнями на дорозі один від одного. Наприклад, впровадження FOCIL + APS легко може слугувати першим кроком до впровадження BRAID. Дійсна консервативна стратегія була б «чекати та бачити», де ми спочатку впроваджуємо рішення, де влада стейкерів обмежена, а більшість влади виставлена на аукціон, а потім повільно збільшуємо владу стейкерів з часом, коли ми дізнаємося більше про операцію ринку MEV в реальній мережі.
Існує позитивна взаємодія між вирішенням одного вузького місця централізації стейкінгу та вирішенням інших. Щоб провести аналогію, уявіть собі світ, де створення власної компанії вимагало вирощування власної їжі, виготовлення власних комп'ютерів і власної армії. У цьому світі могло існувати лише кілька компаній. Вирішення однієї з трьох проблем допомогло б ситуації, але незначно. Розв'язання двох задач допомогло б більш ніж удвічі більше, ніж розв'язання однієї. І розв'язання трьох завдань було б набагато кориснішим у три рази кориснішим – якщо ви індивідуальний підприємець, або 3/3 проблем вирішені, або у вас немає шансів.
Зокрема, централізаційні обмеження для стейкінгу є такими:
Вирішення будь-якої з чотирьох проблем збільшує вигоди від вирішення будь-якої з інших.
Крім того, існують взаємодії між конвеєром побудови блоку та дизайном одиночного слоту фінальності, особливо в контексті спроби скоротити час слоту. Багато дизайнів конвеєра побудови блоку призводять до збільшення часу слоту. Багато конвеєрів побудови блоку включають ролі для атестаторів на різних етапах процесу. З цієї причини варто одночасно думати про конвеєри побудови блоку та одиночну слотову фінальність.
Сьогодні, близько 30% постачання ETH активно стейкують. Цього досить, щоб захистити Ethereum від атак на 51%. Якщо відсоток ETH, який заставляється, значно зросте, дослідники стурбовані іншим сценарієм: ризики, які виникнуть, якщо заставиться майже весь ETH. Ці ризики включають:
Історично, одним з класів рішень було: якщо всі мають ставити неминуче, а ліквідний стейкінговий токен неминучий, то давайте зробимо стейкінг дружнім до наявності ліквідного стейкінгового токена, який є надійним, нейтральним і максимально децентралізованим. Один простий спосіб це зробити - обмежити штрафи за стейкінг, наприклад, в 1/8, що зробить 7/8 стейкнутого ETH не підляжними знищенню, і таким чином придатними для включення до того ж самого ліквідного стейкінгового токена. Інша опція - явно створити два рівня стейкінгу: «стейкінг з ризиком» (піддається штрафу) , обсяг якого якимось чином було б обмежено, наприклад, до 1/8 всього ETH, та «стейкінг без ризику» (не піддається штрафу), в якому міг би взяти участь кожен.
Однак, однією з критик цього підходу є те, що він@vbuterin/staking_2023_10?type=view">, з економічної точки зору, еквівалентно чомусь набагато простішому: масово зменшувати емісію, якщо ставка наближається до певного наперед визначеного обмеження. Основний аргумент такий: якщо ми опинимося в світі, де ризикотримаючий рівень має дохідність 3,4%, а безризиковий рівень (в якому бере участь кожен) має дохідність 2,6%, то це фактично те саме, що й світ, де стейкінг ETH має дохідність 0,8%, а просто утримання ETH не має доходу. Динаміка ризикотримаючого рівня, включаючи як загальну кількість стейкінгу, так і централізацію, буде такою самою в обох випадках. Тож ми просто повинні зробити просту річ та зменшити емісію.
Головним контраргументом до цієї лінії аргументації було б, якщо ми можемо зробити «безрисковий рівень» все ще мати якусь корисну роль і певний рівень ризику (наприклад, як запропоновано Dankrad тут).
Обидва цих рядки пропозицій передбачають зміну кривої випуску таким чином, що рентабельність стає надто низькою, якщо кількість стейку стає занадто високою.
Ліворуч: один пропозиція для коригованої кривої випуску, від Джастина Дрейка. Праворуч: ще один набір пропозицій, від Андерса Еловссона.
Двохрівневий стейкінг, з іншого боку, передбачає встановлення двох кривих доходності: (i) ставки доходності для «базового» (безрискового або низькоризикового) стейкінгу, та (ii) премії за ризиковий стейкінг. Існують різні способи встановлення цих параметрів: наприклад, якщо ви встановите жорсткий параметр, що 1/8 стейку можна змінити, тоді динаміка ринку визначатиме премію на ставку доходності для змінюваного стейку.
Ще одна важлива тема тут - це захоплення доходу від MEV. Сьогодні дохід від MEV (наприклад, арбітраж DEX, сендвічування...) йде до пропонентів, тобто стейкерів. Це дохід, який повністю «непрозорий» для протоколу: протокол не має способу знати, чи це 0,01% APR, 1% APR або 20% APR. Існування цього потоку доходу є дуже незручним з багатьох точок зору:
Ми можемо вирішити ці проблеми, знайшовши спосіб зробити дохід від MEV зрозумілим для протоколу та зафіксувавши його. Найраніший пропозиції був Згладжування Francesco's MEVСьогодні загалом вважається, що будь-який механізм проведення аукціону прав представника блокування (або, загалом, достатньої влади, щоб захопити майже всю МВЕ) заздалегідь досягає того ж мети.
Основним залишається завдання - погодитися на нічого не робити і прийняти ризики того, що майже весь ETH буде знаходитися в LST, або узгодити і прийняти деталі і параметри однієї з вищезгаданих пропозицій. Приблизний підсумок переваг і ризиків:
Одна з важливих точок перетину пов'язана з соло-стейкінгом. Сьогодні найдешевші VPS, які можуть запускати ноду Ethereum, коштують близько $60 на місяць, насамперед через витрати на зберігання на жорсткому диску. Для стейкера з 32 ETH ($84 000 на момент написання статті) це зменшує APY на (60 * 12) / 84000 ~= 0,85% . Якщо загальний прибуток від стейкінгу впаде нижче 0,85%, одиночний стейкінг буде нежиттєздатним для багатьох людей на цих рівнях.
Якщо ми хочемо, щоб соло-ставки продовжували бути прибутковими, це додатково підкреслює потребу у зниженні витрат на операції вузлів, що буде зроблено в Verge: становість видалятиме вимоги до місця зберігання, що може бути достатнім сам по собі, а потім докази про дійсність L1 EVM зроблять витрати зовсім незначними.
З іншого боку, MEV-згорання, можна сказати, допомагає соло-стейкінгу. Хоча воно зменшує доходи для всіх, головне, що воно зменшує варіативність, роблячи стейкінг менш схожим на лотерею.
Нарешті, будь-яка зміна в емісії взаємодіє з іншими фундаментальними змінами в дизайні стейкінгу (наприклад, стейкінг райдужний). Одне особливе місце переймається тим, що якщо дохід від стейкінгу стає дуже низьким, це означає, що нам доведеться вибирати між (і) зниженням штрафів також, зменшенням відсотка невтішних стимулів для поганої поведінки, і (іі) збереженням високих штрафів, що збільшить набір обставин, в яких навіть доброзичливі валідатори можуть ненавмисно отримати негативний дохід, якщо їм не пощастить з технічними проблемами або навіть атаками.
Вищезазначені розділи зосереджені на змінах в Ethereum L1, які можуть вирішити важливі ризики централізації. Однак Ethereum - це не лише L1, це екосистема, і також існують важливі стратегії на рівні застосування, які можуть допомогти пом'якшити вищезазначені ризики. Кілька прикладів включають:
Один з найбільших ризиків для Ethereum L1 - централізація доказу участі на основі економічних тиску. Якщо участь у основних механізмах доказу участі має економію масштабів, це природно призводить до домінування великих вкладників та виходу зігнорованих вкладників для приєднання до великих пулів. Це призводить до вищого ризику 51% атак, цензури транзакцій та інших криз. Крім ризику централізації, також існують ризики видобутку вартості: невелика група захоплює вартість, яка інакше потрапила б до користувачів Ethereum.
Протягом останнього року наше розуміння цих ризиків значно зросло. Добре зрозуміло, що існують два ключових місця, де існує цей ризик: (i) побудова блоків та (ii) забезпечення капіталу заручників. Більші актори можуть дозволити собі запускати більш складні алгоритми («вилучення MEV») для генерації блоків, що дає їм вищий дохід за блок. Дуже великі актори також можуть більш ефективно вирішувати проблему того, що їх капітал заблоковано, випускаючи його іншим у вигляді ліквідного жетона заручників (LST). Окрім прямих питань малих та великих заручників, існує також питання про те, чи є (або буде) протокол Ethereum.занадто багато заставленої Ethereum.
Скердж, дорожня карта на 2023 рік
Цього року було значні прогреси у блок-будівництві, зокрема зближення на «списки включення комітетів плюс деякі цілеспрямовані рішення для упорядкування» як ідеального рішення, а також значні дослідження з економіки Proof of Stake, включаючи ідеї, такі як двохрівневі моделі стейкингу і зниження емісії для обмеження відсотка ETH, який може бути стейкнутий.
Сьогодні будівництво блоку Ethereum в основному здійснюється шляхом розділення поза протоколом з пропозитором-будівельником.MEVBoost. Коли валідатор отримує можливість запропонувати блок, він передає роботу з вибору вмісту блоку на аукціон спеціалізованим суб'єктам, які називаються будівельниками. Завдання вибору вмісту блоку, що максимізує дохід, дуже економічне: потрібні спеціалізовані алгоритми, щоб визначити, які транзакції включати, щоб витягти якомога більше цінності з ончейн-фінансових гаджетів і транзакцій користувачів, що взаємодіють з ними (це те, що називається «видобутком MEV»). Валідаторам залишається відносно економія на масштабі, легке завдання «тупої труби» — прослуховування пропозицій і прийняття найвищої пропозиції, а також інші обов'язки, такі як атестація.
Стилізована діаграма того, що робить MEVBoost: спеціалізовані будівельники беруть на себе завдання у червоному, а стейкери беруть на себе завдання у синьому.
Існує кілька версій цього, включаючи "розділення пропонента-будівельника«(PBS)» та «розділення атестанта-пропонента» (APS). Різниця між ними полягає в дрібних деталях щодо того, які обов'язки покладаються на кожного з двох акторів: приблизно в PBS валідатори все ще пропонують блоки, але отримують дані від будівельників, а в APS весь слот стає відповідальністю будівельника. Останнім часом APS віддається перевага перед PBS, оскільки це ще більше зменшує стимули для пропонентів співпрацювати з будівельниками. Зверніть увагу, що APS застосовуватиметься лише до виконавчих блоків, які містять транзакції; консенсусні блоки, які містять дані, пов'язані з доказом власності, такі як атестації, все ще будуть випадково призначені валідаторам.
Це розділення влади допомагає зберегти децентралізацію валідаторів, але воно має один важливий кошт: актори, які виконують "спеціалізовані" завдання, легко можуть стати дуже централізованими. Ось побудова блоку Ethereum сьогодні:
Два актори обирають вміст приблизно 88% блоків Ethereum. Що, якщо ці два актори вирішать зцензурувати транзакцію? Відповідь не така погана, як може здатися: вони не можуть переорганізувати блоки, тому вам не потрібно 51% цензури, щоб уникнути включення транзакції зовсім: вам потрібно 100%. З 88% цензурою користувачеві потрібно буде чекати в середньому 9 слотів для включення (технічно в середньому 114 секунд, замість 6 секундів). Для деяких випадків використання, очікування двох або навіть п'яти хвилин для певних транзакцій цілком припустимо. Але для інших випадків використання, наприклад ліквідації defi, навіть можливість затримки включення транзакції іншої особи на кілька блоків є значним ризиком маніпулювання ринком.
Стратегії, які можуть використовувати блочні будівельники для максимізації доходів, також можуть мати інші негативні наслідки для користувачів. A “атака-сендвіч"може призвести до значних втрат для користувачів, які роблять обмін токенів, через велику різницю в цінах. Транзакції, які використовуються для цих атак, забивають ланцюг, що призводить до збільшення цін на газ для інших користувачів."
Лідируюче рішення полягає в подальшому розбитті завдання з виробництва блоків: ми передаємо завдання вибору транзакцій назад пропозиції (тобто учаснику), а будівельник може лише вибирати порядок та вставляти деякі власні транзакції. Це те, що списки включеннястремитися зробити.
У момент T випадково обраний стейкер створює список включень, список транзакцій, які є дійсними на основі поточного стану блокчейну на той момент. У момент T+1 будується блок будівельником блоку, можливо, обраним за допомогою механізму аукціону всередині протоколу заздалегідь. Цей блок повинен містити кожну транзакцію у списку включень, але вони можуть вибрати порядок та додати свої власні транзакції.
Пропозиції зі списком включення, які забезпечують вибір вилки (FOCIL), передбачають комітет декількох творців списків включень на блок. Щоб затримати транзакцію на один блок, k з k творців списків включень (наприклад, k = 16) мусили б цензурувати транзакцію. Поєднання FOCIL з остаточним пропонентом, обраним на аукціоні, який повинен включати списки включень, але може перепорядковувати та додавати нові транзакції, часто називається «FOCIL + APS».
Інший підхід до проблеми - це схеми з декількома одночасними пропонентами (MCP), такі як КОСИЧОК. BRAID намагається уникнути розбиття ролі пропонента блока на частину з низькими економічними масштабами та частину з високими економічними масштабами, а замість цього намагається розподілити процес виробництва блока серед багатьох акторів таким чином, що кожному пропоненту потрібно мати середню кількість складності для максимізації свого доходу. MCP працює шляхом використання k паралельних пропонентів, які генерують списки транзакцій, а потім використовують детермінований алгоритм (наприклад, упорядковування за найвищою до найнижчої комісією) для вибору порядку.
BRAID не ставить за мету досягнути оптимальності роботи блок-пропозерів, які виконують стандартне програмне забезпечення. Існують дві прості причини, чому це неможливо зробити:
У BRAID атестатори все ще можуть бути відокремлені і виконуватися як функціональність без розуму.
Помимо этих двух крайностей, существует спектр возможных дизайнов между ними. Например, вы можете аукционировать роль, которая имеет только право добавлять к блоку, но не переупорядочивать или вставлять в начало. Вы даже можете позволить им добавлять или вставлять в начало, но не вставлять посередине или переупорядочивать. Привлекательность этих техник заключается в том, что победители рынка аукционов являются імовірнобутидуже концентрований, тому зменшення їхньої влади має багато переваг.
Одна з технологій, яка є вирішальною для успішної реалізації багатьох з цих проектів (конкретно, БРЕЙД або версії APS, де є суворі обмеження на можливості, що виставляються на аукціон) - це зашифровані мемпули. Зашифровані мемпули - це технологія, при якій користувачі передають свої транзакції у зашифрованому вигляді, разом з якимось доказом їх дійсності, і транзакції включаються до блоків у зашифрованому вигляді, не розголошуючи блокувальникові вміст. Вміст транзакцій розкривається пізніше.
Основна проблема при впровадженні зашифрованих мемпулів полягає в тому, щоб придумати дизайн, який гарантує, що всі транзакції будуть розкриті пізніше: проста схема "commit and reveal" не працює, тому що, якщо розкриття є добровільним, акт вибору розкривати чи не розкривати сам по собі є свого роду впливом "останнього рушія" на блок, який може бути використаний. Двома провідними методами для цього є: (i) розшифрування за порогом, та (ii) затримка шифрування, примітив, тісно пов'язаний з функції перевірки затримки (VDFs).
Ми можемо розглядати всі перераховані вище схеми як різні способи розподілу повноважень, пов'язаних зі стейкінгом, розташовані в діапазоні від нижчої економії на масштабі («тупа труба») до більш високої економії на масштабі («дружня до спеціалізації»). До 2021 року всі ці повноваження були об'єднані в один актор:
Основна головоломка полягає в наступному: будь-який значущий авторитет, який залишається в руках стейкерів, є авторитетом, який може в кінцевому підсумку виявитися «актуальним для MEV». Ми хочемо, щоб децентралізований набір суб'єктів мав якомога більше повноважень; Це означає, що (i) передача великої кількості повноважень в руки стейкерів і (ii) забезпечення максимальної децентралізації стейкерів, а це означає, що у них мало стимулів для консолідації, обумовлених економією на масштабі. У цій напрузі важко орієнтуватися.
Однією з особливих проблем є багатоблоковий MEV: у деяких випадках переможці аукціонів можуть заробити ще більше грошей, якщо вони захоплюють кілька слотів поспіль і не дозволяють будь-які транзакції, пов'язані з MEV, у блоках, крім останнього, який вони контролюють. Якщо списки включення змушують їх це робити, то вони можуть спробувати обійти це, взагалі не публікуючи жодного блоку під час цих слотів. Можна було б скласти безумовні списки включень, які безпосередньо стають блоком, якщо будівельник його не надає, але це робить список включень важливим для MEVТут рішення може включати в себе певний компроміс, який передбачає прийняття певного низького ступеня стимулювання хабарників для включення транзакцій до списку включення, і сподівається, що цього недостатньо для масового аутсорсингу.
Ми можемо розглядати FOCIL + APS наступним чином. Стейкери продовжують мати повноваження щодо лівої частини спектра, тоді як права частина спектра продовжує продаватися на аукціоні найвищому пропоненту.
BRAID досить відрізняється. Частина «staker» більша, але вона розбивається на дві частини: легкі стейкери та важкі стейкери. Тим часом, оскільки транзакції упорядковані у порядку спадання пріоритетної комісії, вибір на вершині блоку фактично продається на аукціоні через ринок комісій, у схемі, яку можна порівняти з ...закріплений PBS.
Зверніть увагу, що безпека BRAID сильно залежить від зашифрованих мемпулів; в іншому випадку механізм аукціону верхньої частини блоку стає вразливим до атак, спрямованих на крадіжку стратегії (по суті: копіювання транзакцій інших людей, заміна адреси одержувача і оплата 0,01% вищої комісії). Ця потреба у приватності перед включенням також є причиною того, чому втілені ПБС настільки складно реалізувати.
На кінець, більш «агресивні» версії FOCIL + APS, наприклад, варіант, де APS лише визначає кінець блоку, виглядають так:
Основним залишається завдання (i) працювати над укріпленням різних пропозицій та аналізувати їх наслідки, та (ii) поєднати цей аналіз з розумінням цілей спільноти Ethereum щодо того, які форми централізації вона терпить. Також потрібно виконати роботу над кожною окремою пропозицією, такою як:
Додатково варто зазначити, що ці різні пропозиції не обов'язково є несумісними відгалуженнями на дорозі один від одного. Наприклад, впровадження FOCIL + APS легко може слугувати першим кроком до впровадження BRAID. Дійсна консервативна стратегія була б «чекати та бачити», де ми спочатку впроваджуємо рішення, де влада стейкерів обмежена, а більшість влади виставлена на аукціон, а потім повільно збільшуємо владу стейкерів з часом, коли ми дізнаємося більше про операцію ринку MEV в реальній мережі.
Існує позитивна взаємодія між вирішенням одного вузького місця централізації стейкінгу та вирішенням інших. Щоб провести аналогію, уявіть собі світ, де створення власної компанії вимагало вирощування власної їжі, виготовлення власних комп'ютерів і власної армії. У цьому світі могло існувати лише кілька компаній. Вирішення однієї з трьох проблем допомогло б ситуації, але незначно. Розв'язання двох задач допомогло б більш ніж удвічі більше, ніж розв'язання однієї. І розв'язання трьох завдань було б набагато кориснішим у три рази кориснішим – якщо ви індивідуальний підприємець, або 3/3 проблем вирішені, або у вас немає шансів.
Зокрема, централізаційні обмеження для стейкінгу є такими:
Вирішення будь-якої з чотирьох проблем збільшує вигоди від вирішення будь-якої з інших.
Крім того, існують взаємодії між конвеєром побудови блоку та дизайном одиночного слоту фінальності, особливо в контексті спроби скоротити час слоту. Багато дизайнів конвеєра побудови блоку призводять до збільшення часу слоту. Багато конвеєрів побудови блоку включають ролі для атестаторів на різних етапах процесу. З цієї причини варто одночасно думати про конвеєри побудови блоку та одиночну слотову фінальність.
Сьогодні, близько 30% постачання ETH активно стейкують. Цього досить, щоб захистити Ethereum від атак на 51%. Якщо відсоток ETH, який заставляється, значно зросте, дослідники стурбовані іншим сценарієм: ризики, які виникнуть, якщо заставиться майже весь ETH. Ці ризики включають:
Історично, одним з класів рішень було: якщо всі мають ставити неминуче, а ліквідний стейкінговий токен неминучий, то давайте зробимо стейкінг дружнім до наявності ліквідного стейкінгового токена, який є надійним, нейтральним і максимально децентралізованим. Один простий спосіб це зробити - обмежити штрафи за стейкінг, наприклад, в 1/8, що зробить 7/8 стейкнутого ETH не підляжними знищенню, і таким чином придатними для включення до того ж самого ліквідного стейкінгового токена. Інша опція - явно створити два рівня стейкінгу: «стейкінг з ризиком» (піддається штрафу) , обсяг якого якимось чином було б обмежено, наприклад, до 1/8 всього ETH, та «стейкінг без ризику» (не піддається штрафу), в якому міг би взяти участь кожен.
Однак, однією з критик цього підходу є те, що він@vbuterin/staking_2023_10?type=view">, з економічної точки зору, еквівалентно чомусь набагато простішому: масово зменшувати емісію, якщо ставка наближається до певного наперед визначеного обмеження. Основний аргумент такий: якщо ми опинимося в світі, де ризикотримаючий рівень має дохідність 3,4%, а безризиковий рівень (в якому бере участь кожен) має дохідність 2,6%, то це фактично те саме, що й світ, де стейкінг ETH має дохідність 0,8%, а просто утримання ETH не має доходу. Динаміка ризикотримаючого рівня, включаючи як загальну кількість стейкінгу, так і централізацію, буде такою самою в обох випадках. Тож ми просто повинні зробити просту річ та зменшити емісію.
Головним контраргументом до цієї лінії аргументації було б, якщо ми можемо зробити «безрисковий рівень» все ще мати якусь корисну роль і певний рівень ризику (наприклад, як запропоновано Dankrad тут).
Обидва цих рядки пропозицій передбачають зміну кривої випуску таким чином, що рентабельність стає надто низькою, якщо кількість стейку стає занадто високою.
Ліворуч: один пропозиція для коригованої кривої випуску, від Джастина Дрейка. Праворуч: ще один набір пропозицій, від Андерса Еловссона.
Двохрівневий стейкінг, з іншого боку, передбачає встановлення двох кривих доходності: (i) ставки доходності для «базового» (безрискового або низькоризикового) стейкінгу, та (ii) премії за ризиковий стейкінг. Існують різні способи встановлення цих параметрів: наприклад, якщо ви встановите жорсткий параметр, що 1/8 стейку можна змінити, тоді динаміка ринку визначатиме премію на ставку доходності для змінюваного стейку.
Ще одна важлива тема тут - це захоплення доходу від MEV. Сьогодні дохід від MEV (наприклад, арбітраж DEX, сендвічування...) йде до пропонентів, тобто стейкерів. Це дохід, який повністю «непрозорий» для протоколу: протокол не має способу знати, чи це 0,01% APR, 1% APR або 20% APR. Існування цього потоку доходу є дуже незручним з багатьох точок зору:
Ми можемо вирішити ці проблеми, знайшовши спосіб зробити дохід від MEV зрозумілим для протоколу та зафіксувавши його. Найраніший пропозиції був Згладжування Francesco's MEVСьогодні загалом вважається, що будь-який механізм проведення аукціону прав представника блокування (або, загалом, достатньої влади, щоб захопити майже всю МВЕ) заздалегідь досягає того ж мети.
Основним залишається завдання - погодитися на нічого не робити і прийняти ризики того, що майже весь ETH буде знаходитися в LST, або узгодити і прийняти деталі і параметри однієї з вищезгаданих пропозицій. Приблизний підсумок переваг і ризиків:
Одна з важливих точок перетину пов'язана з соло-стейкінгом. Сьогодні найдешевші VPS, які можуть запускати ноду Ethereum, коштують близько $60 на місяць, насамперед через витрати на зберігання на жорсткому диску. Для стейкера з 32 ETH ($84 000 на момент написання статті) це зменшує APY на (60 * 12) / 84000 ~= 0,85% . Якщо загальний прибуток від стейкінгу впаде нижче 0,85%, одиночний стейкінг буде нежиттєздатним для багатьох людей на цих рівнях.
Якщо ми хочемо, щоб соло-ставки продовжували бути прибутковими, це додатково підкреслює потребу у зниженні витрат на операції вузлів, що буде зроблено в Verge: становість видалятиме вимоги до місця зберігання, що може бути достатнім сам по собі, а потім докази про дійсність L1 EVM зроблять витрати зовсім незначними.
З іншого боку, MEV-згорання, можна сказати, допомагає соло-стейкінгу. Хоча воно зменшує доходи для всіх, головне, що воно зменшує варіативність, роблячи стейкінг менш схожим на лотерею.
Нарешті, будь-яка зміна в емісії взаємодіє з іншими фундаментальними змінами в дизайні стейкінгу (наприклад, стейкінг райдужний). Одне особливе місце переймається тим, що якщо дохід від стейкінгу стає дуже низьким, це означає, що нам доведеться вибирати між (і) зниженням штрафів також, зменшенням відсотка невтішних стимулів для поганої поведінки, і (іі) збереженням високих штрафів, що збільшить набір обставин, в яких навіть доброзичливі валідатори можуть ненавмисно отримати негативний дохід, якщо їм не пощастить з технічними проблемами або навіть атаками.
Вищезазначені розділи зосереджені на змінах в Ethereum L1, які можуть вирішити важливі ризики централізації. Однак Ethereum - це не лише L1, це екосистема, і також існують важливі стратегії на рівні застосування, які можуть допомогти пом'якшити вищезазначені ризики. Кілька прикладів включають: