В дополнение к хорошо известным сверткам валидности и оптимистичным сводкам, какие существуют другие методы классификации сводок?
Автор: Ник Лин
Предыдущие знания:
Понять, как работает Rollup и проблема доступности данных (Data Availability) Rollup
Резюме по объединению
Независимо от того, является ли это накопительным пакетом достоверности или оптимистичным накопительным пакетом, они будут загружать данные в L1 (например, Ethereum), чтобы каждый мог получить доступ к данным накопительного пакета путем доступа к L1 и использовать его для получения последнего статуса накопительного пакета, например У Алисы 10 долларов США, а у Боба 5 долларов США.
Те, которые не загружают данные в L1, не принадлежат Rollup (например, Validium, zkPorter или Arbitrum AnyTrust), и они не являются предметом этой статьи. Кроме того, в этой статье не будет обсуждаться, как Rollup проверяет достоверность состояния, то есть разница между Validity Rollup и Optimistic Rollup.
В первой части этой статьи будет представлен Sovereign Rollup. Sovereign Rollup, как следует из названия, представляет собой Rollup с автономией. Обновление версии Rollup или хардфорки происходят в Sovereign Rollup, в отличие от Rollup, с которыми все уже знакомы (далее именуемые Classic Rollup). не в Classic Rollup, а в контракте L1 Rollup: контракт L1 Rollup выполняет обновления версий с помощью кошельков с несколькими подписями или голосования по управлению. То есть контракт на L1 определяет, какую версию Rollup должен использовать в настоящее время. И если есть атака на накопительный пакет на уровне 1, например, атака на механизм управления или атака на сам контракт накопительного пакета, это повлияет на накопительный пакет. Напротив, поскольку Sovereign Rollup просто рассматривает L1 как место для хранения данных, все участники Sovereign Rollup могут решать, какую версию использовать в настоящее время в цепочке, и независимо от того, что происходит с L1, пока сам L1 не подвергается атаке (например, как Re-org или отключение цепочки), Soverene Rollup не будет затронут.
Во второй части будет представлен накопительный пакет на основе. Сводка на основе удаляет роль секвенсора и передает полномочия по сортировке транзакций майнерам L1, валидаторам, поисковым устройствам MEV и т. д. Это не только делает сортировку транзакций более децентрализованной, но также упрощает дизайн и удаляет многие компоненты системы.
Суверенный накопительный пакет
Уровень доступности данных и уровень расчетов
Классический накопительный пакет, такой как Arbitrum, Optimism, StarkNet и т. д., не только рассматривает Ethereum (L1) как место для хранения данных (то есть уровень доступности данных), но также рассматривает Ethereum как уровень расчетов: выполняется на Ethereum, а состояние L2 (то есть баланс каждого адреса в L2) записывается в L1.
Зачем вам нужно записывать состояние L2 в L1? Потому что таким образом L2 и L1 могут обмениваться информацией и активами: dApp L1/L2 могут синхронизировать информацию и сотрудничать, ETH L1 можно безопасно передавать между L1/L2, а ARB/OP L2 также можно безопасно передавать между L1/L2. передача между L2.
L1 может считывать статус L2 и может безопасно передавать сообщения, а L1/L2 могут общаться друг с другом
Sovereign Rollup удаляет расчетный уровень (или превращается в расчетный уровень) и просто использует L1 в качестве уровня доступности данных.
L1 считывает только данные блока или транзакции, которые Sovereign Rollup помещает в L1, но не знает последний статус L2, поэтому нет возможности общаться
Зачем удалять слой поселений? Существуют разные основания или причины:
Как упоминалось в начале, если расчетный уровень агрегации находится на уровне L1, он будет затронут L1, независимо от того, будет ли он обновлен или атакован.
Возможно, сам L1 не поддерживает сложные вычисления для записи состояния Rollup и использования этого состояния для передачи информационных активов.Например, на Celestia можно только просто поместить в него данные, или на Bitcoin можно только выполнять вычисления с ограниченными возможностями, и такой L1 не может стать расчетным уровнем
Возможно самому Роллапу не нужна другая цепочка в качестве Расчетного Слоя, у него свои нативные токены и экология, и не нужно обмениваться активами с L1
Как работает Sovereign Rollup
Sovereign Rollup просто использует L1 в качестве уровня доступности данных, загружает данные в L1 и полагается на L1, чтобы гарантировать, что данные доступны, а порядок данных не изменится. Узлы Sovereign Rollup полагаются на чтение и интерпретацию данных на L1 для расчета последнего состояния Sovereign Rollup. «Интерпретация и расчет» на самом деле представляют правила консенсуса Sovereign Rollup и функцию перехода состояния: как фильтровать блоки и транзакции, которые соответствуют формату и правилам Sovereign Rollup, из данных L1, как проверять эти блоки и транзакции после проверки и проверять Затем, как выполнить эти транзакции, чтобы вычислить последнее состояние.
Узел Sovereign Rollup отсеивает собственные блоки из данных L1, а также интерпретирует и вычисляет последний статус
Если два узла Sovereign Rollup имеют разные версии, они могут интерпретировать разные данные или вычислять разные последние состояния, и поэтому эти два узла не будут находиться в одной и той же цепочке, то, что они видят, на самом деле является одной из двух разветвленных цепочек.
Разные версии узлов могут иметь разные статусы, и они разветвляются на разные цепочки *
На самом деле это то же самое, что и запуск разных версий узлов Ethereum, две версии могут быть не одной и той же цепочкой. Например, после хардфорка те, кто забудет обновить версию узла или не захотят обновлять версию узла, естественным образом останутся в исходной цепочке (например, ETC, ETHPoW), а те, кто обновит версию узла, останутся в новая цепочка (ETH).
Читатели здесь также должны знать, почему это называется Sovereign Rollup, потому что в Sovereign Rollup каждый может выбрать версию узла и интерпретировать данные в соответствии с (социальным) консенсусом своей собственной группы. Если сегодня в сообществе Sovereign Rollup есть разногласия, такие как ETHPoW против ETH, это означает, что каждый идет своим путем и выбирает разные версии узлов для интерпретации данных, но данные остаются исходными и не изменились.
*Примечание. Конечно, после разветвления узлы соответствующих версий будут загружать данные, соответствующие их собственным правилам, в L1, а затем обе стороны будут напрямую отфильтровывать данные, загруженные другой стороной. *
В средний момент времени следующие узлы разветвились до версии v1.1.2, а затем блоки друг друга стали независимыми
Какие Sovereign Rollups существуют?
В настоящее время нет примеров Sovereign Rollups, но по мере того, как тенденция модульного дизайна блокчейна становится все более и более популярной, определенно будет много Sovereign Rollups. Например, модульная структура Rollkit, которую разрабатывает Celestia, может создать Sovereign Rollup с помощью Cosmos SDK. В отличие от исходной цепочки (L1), построенной с использованием Cosmos SDK, которая должна была бы реализовать консенсус Tendermint для определения порядка транзакций, Sovereign Rollup может использовать один Sequencer для сортировки транзакций, как текущий общий Rollup, устраняя необходимость в множественном консенсусе. узлов и полагаясь на свои соображения безопасности и ресурсы, потребляемые для выполнения алгоритма консенсуса. А Sovereign Rollup загружает данные транзакции в Celestia, но в то же время, поскольку это Sovereign Rollup, на него не будет влиять L1 (например, обновление или атака).
*Примечание 1: Позже Rollkit также поддерживал использование Биткойн в качестве уровня доступности данных.Такой накопительный пакет может унаследовать безопасность Биткойн, но пропускная способность будет ограничена биткойнами. *
*Примечание 2: По сути, цепочки на основе Celestia можно назвать Sovereign Rollup. *
Или предположим, что Arbitrum больше не использует Ethereum в качестве уровня расчетов, больше не нуждается в обмене информацией или активами с Ethereum, а просто рассматривает Ethereum как место для хранения данных, тогда такой Arbitrum также станет суверенным накопительным пакетом.
Сводный пакет расчетов
Существуют также такие определения, как Settlement Rollup, но в основном это Sovereneal Rollup, и тогда этот Sovereign Rollup также будет уровнем расчетов других цепочек. То есть, если в суверенном объединении есть другие цепочки, и другие объединения рассматривают его как расчетный уровень, это суверенное объединение можно назвать расчетным объединением.
*Примечание. Чтобы иметь возможность стать расчетным уровнем других сетей, он должен иметь базовые функции смарт-контракта, чтобы обе стороны могли обмениваться информацией и активами. *
Если Ethereum будет изменен для загрузки всей информации о цепочке в Celestia сегодня, то такой Ethereum будет суверенным накопительным пакетом на Celestia, а также он будет накопительным пакетом расчетов, потому что в Ethereum много цепочек, и многие накопительные пакеты рассматривают его как уровень расчетов. .
Эфириум — это накопительный пакет Sovereign на Celestia, а также накопительный пакет Settlement*
Примечание. Возможно, в будущем все постепенно ознакомятся с модуляризацией и функциями разных Уровней и больше не будут начинать с точки зрения Сводки, а такие термины, как Суверенная Свертка или Сводка Расчетов, постепенно исчезнут. В любом случае, важно то, как спроектировать свою цепочку (будь то L1, L2, L3 и т. д.), как найти компромиссы и выбрать подходящие строительные инструменты для разных слоев.
Сводка на основе
Еще одна недавно появившаяся классификация свертки — это свертка на основе, известная как свертка с последовательностью L1. Основанный Сводка на основе относится к сортировке транзакций.Сводка не передается секвенсору (или нескольким секвенсорам) для сортировки транзакций, а полностью передается майнерам L1, валидаторам или поисковикам MEV и т. д. для сортировки транзакций. Когда Classic Rollup загружает данные в L1, контракт L1 Rollup проверяет, загружены ли они квалифицированным Sequencer, в то время как на основе Rollup нет ограничений, и любой может загрузить его.
Каждый может загружать блоки на основе накопительного пакета
Самым большим преимуществом базового объединения является отсутствие Sequencer, поэтому нет единой точки отказа или даже необходимости беспокоиться о том, что Sequencer обладает полной мощностью упорядочения транзакций, то есть не нужно беспокоиться о сбое Sequencer и отключении цепочки. или преднамеренно не принимать транзакции от определенных пользователей, или опасаться, что Sequencer злонамеренно перехватит MEV пользователя. Основанный Rollup полностью наследует степень децентрализации L1 в генерации блоков.
Роллап на основе имеет следующие преимущества:
Плата за выход пользователей из Rollup очень низкая
Как правило, Rollup разрабатывает механизм принудительного включения или механизм Escape Hatch, чтобы пользователи могли напрямую устанавливать себя в L1 без использования Sequencer, чтобы предотвратить намеренное отклонение Sequencer определенных пользовательских транзакций или сбои Sequencer, которые не позволяют пользователям оставлять Rollup. Блок L2. Однако первая цена такой конструкции — высокая стоимость. Пользователи должны платить комиссию майнерам L1 за вставку транзакций. Вторая цена заключается в том, что транзакции, вставленные из L1, могут повлиять на процесс упаковки секвенсором блоков L2: возможно, что L1 вставка Транзакция сделает недействительной транзакцию, которую секвенсор намеревается собрать в блок L2.Например, транзакция, вставленная Алисой в L1, переводит все деньги Бобу, что приводит к сбою транзакции, в которой Алиса переводит деньги Кэрол в блок L2.
После получения транзакции Алисы Sequencer подтверждает результат транзакции и помещает его в следующий блок
Но Алиса отправляет другую транзакцию непосредственно в L1 через принудительное включение, в результате чего транзакция Алисы, полученная Sequencer, завершается ошибкой
Чтобы транзакция, вставленная L1, не влияла на процесс упаковки блоков L2 Sequencer, Arbitrum не вступит в силу немедленно, когда транзакция, вставленная L1, должна ждать, пока Sequencer активно подаст заявку на включение транзакции в последний блок, прежде чем он вступит в силу, или, если Sequencer не ответит, он вступит в силу через некоторое время. Оптимизм позволяет транзакции вступить в силу немедленно.Если транзакция, вставленная L1, влияет на транзакцию в блоке L2, Sequencer должен найти способ справиться с этим. Вы можете прочитать это введение, чтобы узнать больше о сравнении Arbitrum и Optimism при обработке транзакций размещения L1.
Более простой дизайн
На основе Rollup роль Sequencer меньше, чем у обычного Rollup, и, следовательно, меньше аппаратная нагрузка (не нужно беспокоиться о загрузке машины Sequencer) и любой механизм, делающий сортировку транзакций более справедливой (например, механизм децентрализованного Sequencer). Тогда нет необходимости в механизме Force Inclusion/Escape Hatch, включая контракты, связанные с L1, и соответствующие инструменты вне сети, чтобы облегчить пользователям размещение транзакций в L1 самостоятельно.
Но на основе Rollup также есть некоторые недостатки:
Нет службы подтверждения транзакций заранее
С помощью Sequencer Sequencer может быстро сообщить пользователю результат выполнения его транзакции. Пока пользователь доверяет Sequencer, результат транзакции может быть подтвержден немедленно, не дожидаясь загрузки транзакции в L1.
В базовом объединении Алиса ждет, пока транзакция не будет загружена в L1, прежде чем она поверит, что ее транзакция включена, и она должна дождаться хотя бы одного блока L1 *
В общем случае, если Алиса считает, что секвенсор примет ее транзакцию, она может немедленно подтвердить, будет ли принята транзакция
Протокол теряет источник дохода MEV
MEV больше не передается Sequencer для проверки и извлечения, а L1, поэтому L2 сам не имеет возможности получить преимущества MEV. Доход от MEV можно получить, разработав механизм торгов для прав на производство блоков, но это относительно повысит порог участия участников L1 в производстве блоков, что уменьшит степень децентрализации, а введение механизма торгов также принесет определенной степени сложности.
Ссылки и рекомендуемая дополнительная литература
Суверенный накопительный пакет
Сводка на основе
Посмотреть Оригинал
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
Одна статья, чтобы понять классификацию Rollup
Автор: Ник Лин
Предыдущие знания:
Понять, как работает Rollup и проблема доступности данных (Data Availability) Rollup
Резюме по объединению
Независимо от того, является ли это накопительным пакетом достоверности или оптимистичным накопительным пакетом, они будут загружать данные в L1 (например, Ethereum), чтобы каждый мог получить доступ к данным накопительного пакета путем доступа к L1 и использовать его для получения последнего статуса накопительного пакета, например У Алисы 10 долларов США, а у Боба 5 долларов США.
Те, которые не загружают данные в L1, не принадлежат Rollup (например, Validium, zkPorter или Arbitrum AnyTrust), и они не являются предметом этой статьи. Кроме того, в этой статье не будет обсуждаться, как Rollup проверяет достоверность состояния, то есть разница между Validity Rollup и Optimistic Rollup.
В первой части этой статьи будет представлен Sovereign Rollup. Sovereign Rollup, как следует из названия, представляет собой Rollup с автономией. Обновление версии Rollup или хардфорки происходят в Sovereign Rollup, в отличие от Rollup, с которыми все уже знакомы (далее именуемые Classic Rollup). не в Classic Rollup, а в контракте L1 Rollup: контракт L1 Rollup выполняет обновления версий с помощью кошельков с несколькими подписями или голосования по управлению. То есть контракт на L1 определяет, какую версию Rollup должен использовать в настоящее время. И если есть атака на накопительный пакет на уровне 1, например, атака на механизм управления или атака на сам контракт накопительного пакета, это повлияет на накопительный пакет. Напротив, поскольку Sovereign Rollup просто рассматривает L1 как место для хранения данных, все участники Sovereign Rollup могут решать, какую версию использовать в настоящее время в цепочке, и независимо от того, что происходит с L1, пока сам L1 не подвергается атаке (например, как Re-org или отключение цепочки), Soverene Rollup не будет затронут.
Во второй части будет представлен накопительный пакет на основе. Сводка на основе удаляет роль секвенсора и передает полномочия по сортировке транзакций майнерам L1, валидаторам, поисковым устройствам MEV и т. д. Это не только делает сортировку транзакций более децентрализованной, но также упрощает дизайн и удаляет многие компоненты системы.
Суверенный накопительный пакет
Уровень доступности данных и уровень расчетов
Классический накопительный пакет, такой как Arbitrum, Optimism, StarkNet и т. д., не только рассматривает Ethereum (L1) как место для хранения данных (то есть уровень доступности данных), но также рассматривает Ethereum как уровень расчетов: выполняется на Ethereum, а состояние L2 (то есть баланс каждого адреса в L2) записывается в L1.
Зачем вам нужно записывать состояние L2 в L1? Потому что таким образом L2 и L1 могут обмениваться информацией и активами: dApp L1/L2 могут синхронизировать информацию и сотрудничать, ETH L1 можно безопасно передавать между L1/L2, а ARB/OP L2 также можно безопасно передавать между L1/L2. передача между L2.
L1 может считывать статус L2 и может безопасно передавать сообщения, а L1/L2 могут общаться друг с другом
Sovereign Rollup удаляет расчетный уровень (или превращается в расчетный уровень) и просто использует L1 в качестве уровня доступности данных.
L1 считывает только данные блока или транзакции, которые Sovereign Rollup помещает в L1, но не знает последний статус L2, поэтому нет возможности общаться
Зачем удалять слой поселений? Существуют разные основания или причины:
Как работает Sovereign Rollup
Sovereign Rollup просто использует L1 в качестве уровня доступности данных, загружает данные в L1 и полагается на L1, чтобы гарантировать, что данные доступны, а порядок данных не изменится. Узлы Sovereign Rollup полагаются на чтение и интерпретацию данных на L1 для расчета последнего состояния Sovereign Rollup. «Интерпретация и расчет» на самом деле представляют правила консенсуса Sovereign Rollup и функцию перехода состояния: как фильтровать блоки и транзакции, которые соответствуют формату и правилам Sovereign Rollup, из данных L1, как проверять эти блоки и транзакции после проверки и проверять Затем, как выполнить эти транзакции, чтобы вычислить последнее состояние.
Узел Sovereign Rollup отсеивает собственные блоки из данных L1, а также интерпретирует и вычисляет последний статус
Если два узла Sovereign Rollup имеют разные версии, они могут интерпретировать разные данные или вычислять разные последние состояния, и поэтому эти два узла не будут находиться в одной и той же цепочке, то, что они видят, на самом деле является одной из двух разветвленных цепочек.
На самом деле это то же самое, что и запуск разных версий узлов Ethereum, две версии могут быть не одной и той же цепочкой. Например, после хардфорка те, кто забудет обновить версию узла или не захотят обновлять версию узла, естественным образом останутся в исходной цепочке (например, ETC, ETHPoW), а те, кто обновит версию узла, останутся в новая цепочка (ETH).
Читатели здесь также должны знать, почему это называется Sovereign Rollup, потому что в Sovereign Rollup каждый может выбрать версию узла и интерпретировать данные в соответствии с (социальным) консенсусом своей собственной группы. Если сегодня в сообществе Sovereign Rollup есть разногласия, такие как ETHPoW против ETH, это означает, что каждый идет своим путем и выбирает разные версии узлов для интерпретации данных, но данные остаются исходными и не изменились.
*Примечание. Конечно, после разветвления узлы соответствующих версий будут загружать данные, соответствующие их собственным правилам, в L1, а затем обе стороны будут напрямую отфильтровывать данные, загруженные другой стороной. *
В средний момент времени следующие узлы разветвились до версии v1.1.2, а затем блоки друг друга стали независимыми
Какие Sovereign Rollups существуют?
В настоящее время нет примеров Sovereign Rollups, но по мере того, как тенденция модульного дизайна блокчейна становится все более и более популярной, определенно будет много Sovereign Rollups. Например, модульная структура Rollkit, которую разрабатывает Celestia, может создать Sovereign Rollup с помощью Cosmos SDK. В отличие от исходной цепочки (L1), построенной с использованием Cosmos SDK, которая должна была бы реализовать консенсус Tendermint для определения порядка транзакций, Sovereign Rollup может использовать один Sequencer для сортировки транзакций, как текущий общий Rollup, устраняя необходимость в множественном консенсусе. узлов и полагаясь на свои соображения безопасности и ресурсы, потребляемые для выполнения алгоритма консенсуса. А Sovereign Rollup загружает данные транзакции в Celestia, но в то же время, поскольку это Sovereign Rollup, на него не будет влиять L1 (например, обновление или атака).
*Примечание 1: Позже Rollkit также поддерживал использование Биткойн в качестве уровня доступности данных.Такой накопительный пакет может унаследовать безопасность Биткойн, но пропускная способность будет ограничена биткойнами. *
*Примечание 2: По сути, цепочки на основе Celestia можно назвать Sovereign Rollup. *
Или предположим, что Arbitrum больше не использует Ethereum в качестве уровня расчетов, больше не нуждается в обмене информацией или активами с Ethereum, а просто рассматривает Ethereum как место для хранения данных, тогда такой Arbitrum также станет суверенным накопительным пакетом.
Сводный пакет расчетов
Существуют также такие определения, как Settlement Rollup, но в основном это Sovereneal Rollup, и тогда этот Sovereign Rollup также будет уровнем расчетов других цепочек. То есть, если в суверенном объединении есть другие цепочки, и другие объединения рассматривают его как расчетный уровень, это суверенное объединение можно назвать расчетным объединением.
*Примечание. Чтобы иметь возможность стать расчетным уровнем других сетей, он должен иметь базовые функции смарт-контракта, чтобы обе стороны могли обмениваться информацией и активами. *
Если Ethereum будет изменен для загрузки всей информации о цепочке в Celestia сегодня, то такой Ethereum будет суверенным накопительным пакетом на Celestia, а также он будет накопительным пакетом расчетов, потому что в Ethereum много цепочек, и многие накопительные пакеты рассматривают его как уровень расчетов. .
Примечание. Возможно, в будущем все постепенно ознакомятся с модуляризацией и функциями разных Уровней и больше не будут начинать с точки зрения Сводки, а такие термины, как Суверенная Свертка или Сводка Расчетов, постепенно исчезнут. В любом случае, важно то, как спроектировать свою цепочку (будь то L1, L2, L3 и т. д.), как найти компромиссы и выбрать подходящие строительные инструменты для разных слоев.
Сводка на основе
Еще одна недавно появившаяся классификация свертки — это свертка на основе, известная как свертка с последовательностью L1. Основанный Сводка на основе относится к сортировке транзакций.Сводка не передается секвенсору (или нескольким секвенсорам) для сортировки транзакций, а полностью передается майнерам L1, валидаторам или поисковикам MEV и т. д. для сортировки транзакций. Когда Classic Rollup загружает данные в L1, контракт L1 Rollup проверяет, загружены ли они квалифицированным Sequencer, в то время как на основе Rollup нет ограничений, и любой может загрузить его.
Каждый может загружать блоки на основе накопительного пакета
Самым большим преимуществом базового объединения является отсутствие Sequencer, поэтому нет единой точки отказа или даже необходимости беспокоиться о том, что Sequencer обладает полной мощностью упорядочения транзакций, то есть не нужно беспокоиться о сбое Sequencer и отключении цепочки. или преднамеренно не принимать транзакции от определенных пользователей, или опасаться, что Sequencer злонамеренно перехватит MEV пользователя. Основанный Rollup полностью наследует степень децентрализации L1 в генерации блоков.
Роллап на основе имеет следующие преимущества:
Плата за выход пользователей из Rollup очень низкая
Как правило, Rollup разрабатывает механизм принудительного включения или механизм Escape Hatch, чтобы пользователи могли напрямую устанавливать себя в L1 без использования Sequencer, чтобы предотвратить намеренное отклонение Sequencer определенных пользовательских транзакций или сбои Sequencer, которые не позволяют пользователям оставлять Rollup. Блок L2. Однако первая цена такой конструкции — высокая стоимость. Пользователи должны платить комиссию майнерам L1 за вставку транзакций. Вторая цена заключается в том, что транзакции, вставленные из L1, могут повлиять на процесс упаковки секвенсором блоков L2: возможно, что L1 вставка Транзакция сделает недействительной транзакцию, которую секвенсор намеревается собрать в блок L2.Например, транзакция, вставленная Алисой в L1, переводит все деньги Бобу, что приводит к сбою транзакции, в которой Алиса переводит деньги Кэрол в блок L2.
После получения транзакции Алисы Sequencer подтверждает результат транзакции и помещает его в следующий блок
Но Алиса отправляет другую транзакцию непосредственно в L1 через принудительное включение, в результате чего транзакция Алисы, полученная Sequencer, завершается ошибкой
Чтобы транзакция, вставленная L1, не влияла на процесс упаковки блоков L2 Sequencer, Arbitrum не вступит в силу немедленно, когда транзакция, вставленная L1, должна ждать, пока Sequencer активно подаст заявку на включение транзакции в последний блок, прежде чем он вступит в силу, или, если Sequencer не ответит, он вступит в силу через некоторое время. Оптимизм позволяет транзакции вступить в силу немедленно.Если транзакция, вставленная L1, влияет на транзакцию в блоке L2, Sequencer должен найти способ справиться с этим. Вы можете прочитать это введение, чтобы узнать больше о сравнении Arbitrum и Optimism при обработке транзакций размещения L1.
Более простой дизайн
На основе Rollup роль Sequencer меньше, чем у обычного Rollup, и, следовательно, меньше аппаратная нагрузка (не нужно беспокоиться о загрузке машины Sequencer) и любой механизм, делающий сортировку транзакций более справедливой (например, механизм децентрализованного Sequencer). Тогда нет необходимости в механизме Force Inclusion/Escape Hatch, включая контракты, связанные с L1, и соответствующие инструменты вне сети, чтобы облегчить пользователям размещение транзакций в L1 самостоятельно.
Но на основе Rollup также есть некоторые недостатки:
Нет службы подтверждения транзакций заранее
С помощью Sequencer Sequencer может быстро сообщить пользователю результат выполнения его транзакции. Пока пользователь доверяет Sequencer, результат транзакции может быть подтвержден немедленно, не дожидаясь загрузки транзакции в L1.
В общем случае, если Алиса считает, что секвенсор примет ее транзакцию, она может немедленно подтвердить, будет ли принята транзакция
Протокол теряет источник дохода MEV
MEV больше не передается Sequencer для проверки и извлечения, а L1, поэтому L2 сам не имеет возможности получить преимущества MEV. Доход от MEV можно получить, разработав механизм торгов для прав на производство блоков, но это относительно повысит порог участия участников L1 в производстве блоков, что уменьшит степень децентрализации, а введение механизма торгов также принесет определенной степени сложности.
Ссылки и рекомендуемая дополнительная литература