Decentralized Shared Sequencers
Сегодня Rollups стремятся масштабировать Ethereum.
Однако, стремясь к масштабированию, они сталкиваются с основным компромиссом: централизованными секвенсерами (sequencers).
Хотя централизованные секвенсеры (CS) обладают высокой производительностью, они сталкиваются со своими проблемами.
Отсюда и потребность в децентрализованных общих секвенсерах (Decentralized Shared Sequencers).
DSS - это просто слой секвенсеров, общий для нескольких rollups.
На данный момент каждый rollup имеет централизованный слой секвенсеров ;(
DSS децентрализован, потому что любой rollup может выбрать управление секвенсером.
Таким образом, добавляется максимальная безопасность из-за огромной ставки и других преимуществ, о которых будет обсуждаться 👇🏻
В этой ветке мы рассмотрим:
• Текущее состояние стека Rollup
• Централизованные секвенсеры и проблемы
• Мессия - децентрализованные общие секвенсеры
Текущий стек Rollup состоит из следующих компонентов:
• Клиентское программное обеспечение
• Rollup VM
• Mempool
• Секвенсер
• Проверяющий (zkRs)
• Rollup-контракт на ETH
1. Пользователи создают транзакции с помощью клиентского программного обеспечения (кошелек)
2. Эти транзакции отправляются на rollup и затем ставятся в очередь в mempool.
(Mempool - это область хранения, где временно хранятся неподтвержденные транзакции до тех пор, пока они не могут быть обработаны)
3. Секвенсер в rollup получает транзакции из mempool, определяет их порядок выполнения и предоставляет инструкции виртуальной машине (VM), периодически публикуя контрольные точки в контракт rollup на ETH.
4. Для zkRs, доказывающий генерирует доказательство перехода состояния VM, которое затем представляется как новый корень состояния в контракт rollup на ETH.
Изображение ниже представляет собой Централизованный Секвенсер.
5. Затем контракт rollup проверяет, чтобы подтвердить валидность доказательства; если оно валидно, переходы состояний будут зарегистрированы.
Мы могли бы использовать L1 в качестве секвенсера, но у него есть много недостатков:
• Низкая пропускная способность транзакций и данных
• Будут увеличены вычислительные узкие места L1, замедляя подтверждение транзакций.
Пользователи столкнутся с проблемой, которую пытается решить модульность - congestion L1, что привело к высоким газовым затратам и низкой пропускной способности.
Однако, Rollups сегодня выбирают контроль и пытаются выяснить, как децентрализовать свои секвенсеры полностью самостоятельно.
Мы видели это и на примере варианта с секвенсером L1 и его недостатков.
Rollups, следовательно, должны выбрать дизайн Общего Секвенсера.
• Упрощение Секвенсера: Похоже, что rollups сложно децентрализовать свой секвенсер.
Следовательно, этот вариант лучший, выберите DSS и масштабируйте лучше.
• Общая безопасность и децентрализация: вместо одной комиссии секвенсера, Rollups должны стремиться вступить в общую комиссию секвенсера, потому что это приносит такие преимущества, как: хорошо защищенный слой высокоценных эффективных нод секвенсера, что способствует децентрализации.
В отличие от текущего подхода, где небольшой комитет сиквенсеров с низкой стоимостью стейка защищает слой, что может привести к более низкой степени децентрализации и увеличению уязвимостей.
И это не обеспечивает устойчивость к цензуре (CR).
Секвенсеры используются для группировки транзакций и отправки их в контракт L1.
Так что пользователь может захотеть включить свою транзакцию в контракт, подкупая $ благодаря MEV.
Затем секвенсер видит это, принимает и обещает добавить транзакцию в L1.
Секвенсер затем отправляет эту транзакцию в L1.
Перемещение средств из L1 в L2 и наоборот осуществляется через процесс монетизации и сжигания.
Также перемещение средств пользователями из L1 в L2 осуществляется путем сообщения L1 L2, что он может создать средства на L2, поддерживаемые заблокированным активом на L1.
Если пользователь хочет вернуть средства обратно в L1 из L2, это делается через процесс сжигания.
Пользователь может сжечь его на L2 и сказать L1, чтобы принять средства.
Однако, в непредвиденных обстоятельствах L1 не осведомлен о любой проблеме, которая может возникнуть в L2.
Здесь вступает в силу отсутствие CR, когда L2 может не желать обслуживать пользователя по какой-либо причине; либо он известный мошенник и т.д., или использует запрещенный L1 (например, ситуация с Tornado).
Пользователь может принудительно включить транзакцию в L1, чтобы принудительно снять средства с L2.
Но эта опция не доступна для всех текущих rollups и слишком дорога для обычного пользователя.
Следовательно, Rollups должны увеличивать свои гарантии противостояния цензуре, как и L1.
L1 в этом случае имеет много стейка для защиты сети с широким согласием нод-секвенсеров.
Но роллап (L2) не может использовать L1 из-за препятствий, о которых мы рассказывали ранее.
Теперь DSS выступает как Мессия, чтобы обеспечить эффективность CR.
С нодой, на котором сконцентрирована общая последовательность значений
Пользователям не следует бояться CR.
Атомарность? Химия! Нет, расслабьтесь.
Атомарность производится от слова атомный, что означает, что у него нет подсостояний.
То есть, либо это происходит, либо нет.
Атомарность кросс-чейн здесь обозначает транзакции, которые происходят между разными роллапами.
Пользователь - Алекс выполнит транзакцию иначе, чем пользователь - Бен.
Транзакция Алекса может быть упорядочена до транзакции Бена.
Это даст Алексу возможность отменить транзакцию.
Это вызывает несправедливость, которую устраняет SS.
Оставляя Алекса и Бена, которые могут отправлять свои транзакции вместе.
Security layer - Eigenlayer
DA - Celestia
Radius тоже, они прокладывали путь к этой технологии
• Bankless. Guide по цензуре в Ethereum для начинающих
• Bankless. Distributed Validator Technology
• Всё, что нужно знать о MEV и L2 Sequencers