Тлумачення «сортувального пулу» Metis PoS: децентралізація, шлях до децентралізованого зведення

Автор: Gou, Foresight News

Джон Шарбоннеа, співзасновник DBA, сказав, що в наші дні всі ролапи не є справжніми ролапами.

Однією з найважливіших причин такої крайності є те, що майже всі мережі Rollup в даний час використовують централізовану модель єдиного секвенсора. Для мереж, які прийняли Optimistic Rollup, хоча сама команда проекту, швидше за все, не вирішить робити зло з секвенсором, як тільки секвенсор буде атакований або контрольований іншими, це може мати катастрофічні наслідки. Навіть без міркувань безпеки односеквенсери повністю стійкі до цензури.

Існує довга історія дискусій та адвокації децентралізації секвенсорів, і нещодавно Metis був першим, хто дав відповідь на це питання.

Чому децентралізація секвенсерів така важлива?

Перш ніж ми перейдемо до деталей рішення децентралізованого секвенсера Metis, давайте коротко розглянемо два питання: Що таке секвенсор і чому він важливий?

Мережа Layer2 на основі Rollup поверх ETH Workshop по суті складається з незалежного ланцюжка та «Rollup Contract» на ETH Workshop. У той же час, мережа рівня 2 також потребує офчейн-секвенсера, щоб отримувати транзакції, які відбуваються на рівні 2, визначати порядок виконання транзакцій, а потім упаковувати транзакції в пакети та надсилати їх до «Зведеного контракту» на ETH. Коли “Rollup Contract” на ETH Square упаковує переданий пакет у блок, транзакція буде завершена.

По суті, справжнє «підтвердження» транзакцій у мережі рівня 2 все ще знаходиться на ETH, і секвенсор відіграє певну роль у передачі інформації між ними.

Metis використовує схему Optimistic Rollup, яка, як випливає з назви, характеризується припущенням, що всі транзакції в пакеті є реальними та дійсними, без перевірки кожної транзакції. Через це, а також через те, що транзакції централізуються, а потім підтверджуються, комісії за транзакції мережі Layer2 на основі Optimistic Rollup дуже низькі.

В даний час мережею рівня 2 майже завжди керує команда проекту, і щоб не «розбити власні вивіски», дуже рідко транзакція, представлена в секвенсері, виявляється недійсною. Незважаючи на це, все ще існує ймовірність того, що централізовані формування будуть атаковані і змушені виключити ті чи інші транзакції. Це явно неприйнятно для криптосвіту, де «інклюзивність» і «довіра» мають першорядне значення, а децентралізація – це шлях, яким потрібно йти.

Шлях Метиса до децентралізації

Будучи однією з перших мереж Layer2, яка практикує децентралізовані секвенсори, Metis надає модель для подальшого розвитку. Цей шаблон не тільки реалізує децентралізацію секвенсорів, але й надає рішення «децентралізованого оптимістичного зведення». У цьому шаблоні є три основні ролі для реалізації децентралізації секвенсера: адміністратор (Admin), секвенсер і рівень консенсусу на основі PoS.

Роль адміністратора :* адміністратора полягає в управлінні децентралізованою системою, а його основні обов’язки включають додавання відповідних секвенсерів до білого списку, встановлення ліміту стейкінгу для одного вузла та встановлення швидкості випуску винагороди за блок.

Пул секвенсерів: пул секвенсерів складається з кількох секвенсорів, які були додані до білого списку. У Metis секвенсери включають L2 Geth, який відповідає за порядок транзакцій і формування блоків на Metis, модуль адаптера, який взаємодіє з рівнем консенсусу PoS та іншими зовнішніми модулями, згаданими нижче, і Proposer, який відповідає за налаштування Batch і надсилання його до L1 після підписання кількох секвенсорів.

Рівень консенсусу PoS: Рівень консенсусу PoS, розроблений компанією Metis, не залежить від Metis, і його основним обов’язком є керування сигнатурами MPC. Коли є кілька секвенсорів, принаймні 2/3 сигнатур секвенсера потрібні для фіксації упакованого пакета до L1, а рівень консенсусу відповідає за перешарування та призначення закритих ключів, коли секвенсери в пулі секвенсерів приєднуються або виходять.

Конструкція механізму

Завдяки співпраці вищезазначених трьох ролей почав формуватися децентралізований Optimistic Rollup від Metis. Серед них «адміністратор» задаватиме важливі параметри загальної мережі та керуватиме кваліфікацією секвенсерів для приєднання до пулу, щоб сторона протоколу більше не мала абсолютного контролю над такими транзакціями, а була затверджена адміністратором за допомогою конкретних пропозицій.

Для зведеної мережі найскладнішим моментом у процесі децентралізації є децентралізація секвенсора, адже управління самим секвенсором також має здійснюватися децентралізовано, і воно має бути максимально ефективним та зручним.

Metis використовує підпис MPC на основі TSS і мережу PoS, яка керує всім модулем для управління дозволами на підпис кількох секвенсорів.

Metis дозволяє будь-якому секвенсеру приймати рішення про партію, і всі секвенсери беруть участь у підписанні MPC, якщо кількість підписів перевищує 2/3, пакет вважається дійсним і може бути поданий до Rollup контракту на L1. Підпис MPC, що виконується пулом секвенсорів, управляється іншим контрактом, контрольованим мережею PoS, і коли мережа PoS не може виявити адресу MPC, модуль MPC викликається для запуску генерації ключа. Згенерований ключ розподіляється між кожним секвенсором у пулі після шардингу, і секвенсор шардить ключ, який він утримує, для підпису MPC. Налаштування цього модуля в основному використовуються для керування життєвим циклом ключів, включаючи генерацію мультипідпису, обмін ключами, підписання програм, видалення підписів тощо.

На відміну від мультипідпису, який вимагає перевірки кожного підпису в ланцюжку, TSS потрібно лише агрегувати підписи всіх підписантів і перевіряти їх рівномірно, що покращує швидкість підтвердження транзакцій. Крім того, PoS-вузли зв’язуються один з одним через окремий канал Tendermint, а середовище виконання MPC зв’язується за допомогою протоколу libp2p.

Стейкінг токенів

Подібно до доказу шахрайства Optimism Rollup, ця децентралізована модель використовує механізм економічного стимулювання та покарання, щоб підтримувати роботу механізму. За словами членів команди Metis, пул секвенсерів спочатку складатиметься з п’яти секвенсорів, які в майбутньому будуть поступово збільшуватися, а оператори секвенсорів, що входять до пулу секвенсорів, повинні будуть здійснити стейкінг щонайменше 20 000 METIS. Крім того, згадані вище мережі PoS також вимагатимуть від операторів вузлів здійснювати стейкінг METIS. За словами команди Metis, цей крок може «ще більше зменшити і без того обмежену циркуляцію METIS, що призведе до дуже позитивного каталітичного ефекту». 」

Стейкінг METIS списується, коли доказ шахрайства успішно оскаржується, щоб гарантувати, що секвенсер не включить недійсні транзакції в пакет, поданий до L1.

Піонер “децентралізації”.

Децентралізоване зведене рішення Metis забезпечує хорошу модель для переходу рівня 2 на наступний етап, і воно зіграло певну роль у сприянні розвитку проекту на основі забезпечення децентралізації, як з точки зору проектування механізмів, так і з точки зору проектування економічних механізмів.

Якщо залишити секвенсер повністю в руках спільноти, це може створити велику кількість похідних можливостей завдяки спонтанному просуванню спільноти. З одного боку, для учасників децентралізація має на увазі певний рівень конкуренції, оскільки секвенсери беруть участь у виробництві блоків, подібно до ролі майнерів у BTC мережах. Для того, щоб конкурувати за право на ведення бухгалтерського обліку, всі сторони продовжуватимуть покращувати якість своїх вузлів, щоб спонтанно підвищити активність у мережі. Метіс сказав: «Це буде перший ланцюжок у просторі рівня 2, де спільнота по-справжньому залучена до операції. 」

Крім того, через децентралізацію секвенсора не існує «стандартної відповіді» для впорядкування транзакцій, що живить ґрунт для народження та розвитку MEV-інфраструктури мережі та цілого ряду застосувань. Після MEV серія продуктів, таких як ліквідний стейкінг, також може бути отримана з METIS токенів, заснованих на стейкінгу секвенсорів, що ще більше розкриває потенціал фінансіалізації інфраструктури рівня 2.

З точки зору дизайну механізму, Metis не використовує простий мультипідпис для секвенсорів, керованих різними сторонами, а використовує схему підпису MPC на основі TSS, яка зручніша для додавання або видалення підписантів у режимі реального часу, що покращує загальну гнучкість пулу секвенсорів. З іншого боку, 2/3 ефективного порогу підпису, схема підпису, що підключається, тощо є хорошим компромісом між безпекою та ефективністю.

Незважаючи на те, що механізм розроблений з урахуванням безпеки та ефективності, ефективність безлічі нових ролей, доданих для децентралізації, неминуче знизиться в порівнянні з традиційним єдиним секвенсором, а збільшення зв’язків може призвести до збільшення загальної нестабільності системи. Тим не менш, будучи однією з перших мереж Layer2, яка надала повне децентралізоване рішення, Metis все ще має багато міркувань і компромісів у своєму дизайні, і Metis заявила, що продовжить обговорювати потенційні проблеми та підводні камені децентралізованого рішення для подальшого вдосконалення.