Протокол Morph

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

Модульність морфу

Модульність - це термін, який описує архітектурний дизайн, в якому Шар1 може бути розділений на чотири модулі: згода, виконання, доступність даних та розрахунок. Шар2 також може бути розділений на кілька модулів.

Morph має три важливі модулі. Кожна роль виконує свої обов'язки, щоб забезпечити безперебійну роботу модуля. Кожна роль складається з різних компонентів. Ці базові компоненти ефективно співпрацюють, зберігаючи свою відповідну суверенітет. Три модулі - це мережа Sequencer, відповідна за консенсус та виконання, Оптимістична zkEVM, відповідна за розрахунок, та Rollup, відповідний за доступність даних.

Стратегія згортання Morph максимізує ефективність. У транзакції міститься кілька партій, а партія містить кілька блоків. Крім того, завдяки функціональності zk-proof, вміст блоків стискається для ефективного управління вартістю доступності даних рівня1.

Децентралізована мережа послідовників

У традиційному Шарі 1, шахраї в системі доказу роботи або вузли перевіряючого пакету в системі доказу ставки упаковують та обробляють транзакції. Шахраї та вузли можуть упаковувати, послідовності та виробляти блоки.

Багато поточних дизайнів Layer2 використовують одну роль, що не піддається конкуренції або витратам на стейкінг, відповідальну за упаковку та послідовність всіх транзакцій Layer2. Ця роль називається «Секвенсором». Її обов'язки не обмежуються послідовністю; вона також відповідальна за генерацію L2 блоків, регулярне зобов'язання Layer 2 транзакцій та змін стану на Layer 1, та вирішення будь-яких потенційних викликів з поданнями.

Є обурення через цей монополія централізованих послідовників, які мають єдиний контроль над послідовністю та упакуванням транзакцій 2-го рівня. Крім того, централізовані послідовники матимуть проблеми, такі як одиничні точки відмови, надмірний перегляд транзакцій та монополія на MEV.

Morph виділяється серед інших проектів Rollup, підкреслюючи встановлення децентралізованої мережі послідовника від самого початку. Його архітектурне проектування спрямоване на покращення ефективності та зменшення витрат. Рішення Morph забезпечує швидке виконання та підтвердження транзакцій на Layer2, прагнучи до децентралізації. Крім того, Morph дотримується принципів масштабованості мережі та легкості управління, з дизайном мережі послідовника, який надає пріоритет легкості обслуговування, розширенню та оновленням. Якщо функція мережі потребує обслуговування, вона не повинна перешкоджати роботі інших функцій. Крім того, мережа послідовника повинна бути адаптивною та легкою у вдосконаленні з появою нових та більш ефективних рішень.

Доказ відповідності реагування

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

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

Інтерактивне доказування шахрайства вирішує проблему неінтерактивного доказу шахрайства, і вводиться кілька раундів інтерактивного доказу шахрайства. Основна ідея полягає в тому, щоб визначити конкретне виконання інструкцій, яке спричинило помилку, за допомогою кількох раундів взаємодії між секвенсором і претендентом (в EVM виконання транзакції розділяється на кілька інструкцій EVM для завершення переходу стану), а потім підтвердити, чи має місце шахрайство, за допомогою наступних методів: Виконайте відповідні інструкції на L1. Перевага цього підходу полягає в тому, що L1 потрібно виконувати лише крихітні операції, що значно знижує обчислювальні витрати. У той же час, оскільки виконання L1 уточнюється до рівня інструкцій EVM, проблема неузгодженості результатів між L1 і L2 буде значно зменшена. Однак проблема також цілком очевидна. Як видно з опису вище, логіка інтерактивного запобігання шахрайству набагато складніша, ніж неінтерактивної, що передбачає вищу складність реалізації та довший період оскарження (потрібно зарезервувати достатньо часу, щоб забезпечити завершення всіх складних взаємодій).

Вищезазначені два методи доведення мають значні недоліки. Morph запропонував новий метод перевірки: метод перевірки відповідності. Він поєднує Оптимістичний Rollup з Доказом Відповідності та використовує ZK-Доказ для перевірки правильності стану.

Перевага доказу відповідності є те, що вона скорочує термін виклику з 7 днів до 1-3 днів. Не лише це, вона також може значно знизити витрати на подання L2. На основі доказу відповідності, L2 не потрібно містити більшу частину байтів транзакцій. Бути більш дружнім до викликачів. Крім базового обслуговування ідентифікації стану L2, потрібна лише відповідальність за спровокування викликів, а секвенсору потрібно довести свою правильність (шляхом генерації та перевірки відповідного ZK-доказу).

План проекту

Проєкт розбито на чотири етапи за кварталами у 2024 році. У першому кварталі буде запущений тестовий мережі Sepolia. У другому кварталі буде запущений тестовий мережі Holesky, і буде проведено інтеграцію з EIP-4844 та оновленнями zkEVM. У третьому кварталі був запущений основний мережі. У четвертому кварталі будуть проведені оновлення основної мережі. Наразі проєкт перебуває на другому етапі.

Фінансове тло

Згідно з BlockBeats, 20 березня Ethereum L2 Morph оголосив про завершення збору $19 мільйонів у рамках стартового раунду фінансування, очолюваного Dragonfly Capital, Pantera Capital, Foresight Ventures, The Spartan Group, MEXC Ventures, Symbolic Capital, Public Works, MH Ventures та Everyrealm у спільних інвестиціях.

Крім того, Morph також отримав 1 мільйон доларів США у рамках ангельського раунду фінансування. Інвестори включають засновників проектів, таких як Polygon, Manta, Galxe, Sei, Nansen, Story Protocol, та KOLs, такі як Icebergy, MoonOverlord, NaniXBT, та Dingaling. Компанія Morph планує використати цей раунд фінансування для прискорення формування команди, збільшення стимулів для розробників, розширення маркетингу та інше.

Заява:

1. Ця стаття спочатку мала назву «Зрозуміти Morph: перший Ethereum L2 з реактивним підтвердженням ефективності», вона відтворена з [ theblockbeats]. Усі авторські права належать оригінальному авторові [Frost & Джек]. Якщо у вас є які-небудь зауваження щодо перепублікації, будь ласка, зв'яжіться з Gate Learnкоманда, команда якнайшвидше впорається з цим.

2. Відмова від відповідальності: Погляди та думки, висловлені в цій статті, представляють лише особисті погляди автора і не становлять жодної інвестиційної поради.

3. Переклади статті на інші мови виконуються командою Gate Learn. Якщо не зазначено інше, копіювання, поширення або плагіатування перекладених статей заборонені.