Протокол Morph

Архитектура протокола Morph включает в себя в основном модульную, децентрализованную сеть последователей и отзывчивое доказательство допустимости. Отзывчивое доказательство допустимости - это новый метод верификации, предложенный Morph, который объединяет преимущества доказательства мошенничества и доказательства допустимости.

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

Модульность - термин, описывающий архитектурное решение, в котором Layer1 можно разделить на четыре модуля: консенсус, исполнение, доступность данных и урегулирование. Layer2 также можно разделить на несколько модулей.

Morph имеет три важных модуля. Каждая роль выполняет свои обязанности, чтобы обеспечить бесперебойную работу модуля. Каждая роль состоит из различных компонентов. Эти базовые компоненты эффективно взаимодействуют, сохраняя свою собственную суверенность. Три модуля - это Sequencer Network, ответственный за консенсус и выполнение, Optimistic zkEVM, ответственный за расчеты, и Rollup, ответственный за доступность данных.

Стратегия сжатия Morph максимизирует эффективность. Транзакция содержит несколько пакетов, а пакет содержит несколько блоков. Кроме того, благодаря функциональности zk-proof, содержимое блоков сжимается для эффективного управления стоимостью доступности данных уровня 1.

Децентрализованная сеть секвенсоров

В традиционной Layer1 майнеры в системе proof-of-work или узлы в системе proof-of-stake упаковывают и обрабатывают транзакции. Майнеры и узлы могут упаковывать, упорядочивать и создавать блоки.

Многие существующие конструкции Layer2 используют одну роль, не затрагиваемую конкуренцией или ставками, ответственную за упаковку и последовательность всех транзакций Layer2. Эта роль называется «Sequencer». Ее обязанности не ограничиваются последовательностью; она также отвечает за генерацию L2 блоков, регулярное включение транзакций Layer 2 и изменений состояния в Layer 1 и разрешение любых потенциальных проблем с подачей.

Существуют опасения относительно этого монополии централизованных последователей, обладающих единоличным контролем над последовательностью и упаковкой транзакций уровня 2. Более того, у централизованных последователей возникнут проблемы, такие как единичные точки отказа, избыточный обзор транзакций и монополия MEV.

Morph stands out from other Rollup projects by emphasizing the establishment of a decentralized sequencer network from the outset. Its architectural design focuses on improving efficiency and reducing costs. Morph’s solution ensures fast execution and transaction confirmation on Layer2 while striving for decentralization. Moreover, Morph follows the principles of network scalability and ease of management, with the design of the sequencer network prioritizing ease of maintenance, expansion, and updates. If a network feature requires maintenance, it should not disrupt the operation of other functions. Additionally, the sequencer network should be adaptive and easy to upgrade as new and more efficient solutions emerge.

Доказательство ответственности

Механизмы доказательства мошенничества, используемые в проекте Optimistic Rollup, можно разделить на две категории: неинтерактивное доказательство мошенничества и интерактивное доказательство мошенничества.

Доказательство мошенничества без взаимодействия - это когда новое состояние, представленное последователем, оспаривается, L1 выполняет все соответствующие транзакции L2, создавая допустимое состояние, которое сравнивается с состоянием, представленным последователем, чтобы определить, произошло ли мошенничество. В случае мошенничества для доказательства мошенничества без взаимодействия требуется, чтобы L1 полностью повторно выполнил транзакции в соответствующей пакете, что приводит к высоким затратам на газ.

Интерактивное доказательство мошенничества предназначено для решения проблемы неинтерактивного доказательства мошенничества, и вводится несколько раундов интерактивного доказательства мошенничества. Основная идея заключается в определении конкретного выполнения инструкции, вызвавшей ошибку, через несколько раундов взаимодействия между последователем и вызывающим (в EVM выполнение транзакции разделено на несколько инструкций EVM для завершения перехода состояния), а затем подтверждение факта мошенничества с помощью следующих методов: выполнение соответствующих инструкций на L1. Преимущество данного подхода заключается в том, что L1 должен выполнять только маленькие операции, что значительно снижает вычислительные затраты. В то же время, поскольку выполнение L1 уточнено до уровня инструкции EVM, проблема несогласованных результатов между L1 и L2 будет значительно снижена. Однако проблема также довольно очевидна. Как видно из описания выше, логика интерактивной предотвращения мошенничества намного сложнее, чем неинтерактивная, что подразумевает более высокую сложность реализации и более длительный период вызова (необходимо зарезервировать достаточное время для завершения всех сложных взаимодействий).

У вышеупомянутых двух методов проверки есть значительные недостатки. Morph предложил новый метод проверки: доказательство отзывчивой действительности. Он объединяет Оптимистичный Rollup с Доказательством Действительности и использует ZK-Proof для проверки правильности состояния.

Преимущество ответственного доказательства действительности заключается в том, что период вызова сокращается с 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, а также KOL, такие как Icebergy, MoonOverlord, NaniXBT и Dingaling. Компания Morph планирует использовать этот раунд финансирования для ускорения формирования команды, увеличения стимулов для разработчиков, расширения маркетинга и т. д.

Утверждение:

1. Эта статья, изначально называвшаяся «读懂Morph：首个响应式有效性证明的以太坊L2», воспроизведена из [ theblockbeats]. Все авторские права принадлежат оригинальному автору [Frost & Джек]. Если у вас есть возражения против перепечатки, пожалуйста, свяжитесь Gate Learnкоманда, команда обработает это как можно скорее.

2. Отказ от ответственности: Взгляды и мнения, высказанные в этой статье, представляют только личное мнение автора и не являются инвестиционными советами.

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