Впервые подробно разбираем секвенсор Cartesi (sequencer)! Давайте выясним, что это такое, почему он важен и как работает. 🧵↓
https://fxtwitter.com/cartesiproject/status/2109993133866119399
1/ Интерактивным приложениям нужна скорость, а финализация транзакций в Ethereum требует времени. Никто не хочет ждать несколько минут после каждого нажатия, пока L1 (сеть первого уровня) подтвердит транзакцию окончательно. Именно здесь и вступает в дело секвенсор.
2/ Секвенсор принимает подписанные пользователями операции и сразу подтверждает их (так называемое «мягкое подтверждение»).
В фоновом режиме он объединяет эти операции в пакеты и отправляет их в L1. Пользователи получают почти мгновенный отклик, а Ethereum по-прежнему остаётся авторитетным «источником истины» (source of truth).
Полное описание нашего секвенсора: https://github.com/cartesi/sequencer
3/ Как это работает технически? Каждая группа пользовательских операций (называемая «кадром», или frame) привязана к безопасному блоку L1. Ончейн-диспетчер принимает все депозиты, совершённые до этого блока, а затем выполняет те же операции в том же порядке.
Секвенсор и роллап следуют одним и тем же правилам, поэтому в итоге приходят к согласованному состоянию.
4/ Хотя в системе используется один секвенсор, он не может украсть средства или подделать состояние. Роллап проверяет всё и обеспечивает соблюдение результата с помощью доказательств мошенничества (fraud proofs).
Процесс депозитов полностью обходит секвенсор. Даже если секвенсор попытается подвергнуть их цензуре, он сможет лишь задержать их на несколько часов, но не заблокировать полностью.
5/ Секвенсор Cartesi пока находится на стадии Alpha, но быстро развивается.
Он рассчитан на сбои L1, аварийное завершение работы и перезапуск, длительные простои и работу с вредоносным пулом транзакций (mempool). При каждом запуске он проверяет базу данных и Ethereum, чтобы определить, что нужно восстановить.
Кроме того, отдельная программа «сторожевой таймер» (watchdog) дополнительно проверяет его состояние.
6/ Последняя версия v0.1.0-alpha.10 включает секвенсор, образы машин (machine images) и программу-сторожевой таймер.
Новые функции: публичные котировки комиссий, история приложений с поддержкой воспроизведения, привязки для приложений на C, переписанная программа-сторожевой таймер и Cartesi Machine v0.21.0. Обратите внимание: эта версия содержит несовместимые изменения (breaking changes). Сначала прочитайте примечания к выпуску: https://github.com/cartesi/sequencer/releases/tag/v0.1.0-alpha.10
Репост: https://x.com/cartesiproject/status/2109993133866119399
https://fxtwitter.com/cartesiproject/status/2109993133866119399
1/ Интерактивным приложениям нужна скорость, а финализация транзакций в Ethereum требует времени. Никто не хочет ждать несколько минут после каждого нажатия, пока L1 (сеть первого уровня) подтвердит транзакцию окончательно. Именно здесь и вступает в дело секвенсор.
2/ Секвенсор принимает подписанные пользователями операции и сразу подтверждает их (так называемое «мягкое подтверждение»).
В фоновом режиме он объединяет эти операции в пакеты и отправляет их в L1. Пользователи получают почти мгновенный отклик, а Ethereum по-прежнему остаётся авторитетным «источником истины» (source of truth).
Полное описание нашего секвенсора: https://github.com/cartesi/sequencer
3/ Как это работает технически? Каждая группа пользовательских операций (называемая «кадром», или frame) привязана к безопасному блоку L1. Ончейн-диспетчер принимает все депозиты, совершённые до этого блока, а затем выполняет те же операции в том же порядке.
Секвенсор и роллап следуют одним и тем же правилам, поэтому в итоге приходят к согласованному состоянию.
4/ Хотя в системе используется один секвенсор, он не может украсть средства или подделать состояние. Роллап проверяет всё и обеспечивает соблюдение результата с помощью доказательств мошенничества (fraud proofs).
Процесс депозитов полностью обходит секвенсор. Даже если секвенсор попытается подвергнуть их цензуре, он сможет лишь задержать их на несколько часов, но не заблокировать полностью.
5/ Секвенсор Cartesi пока находится на стадии Alpha, но быстро развивается.
Он рассчитан на сбои L1, аварийное завершение работы и перезапуск, длительные простои и работу с вредоносным пулом транзакций (mempool). При каждом запуске он проверяет базу данных и Ethereum, чтобы определить, что нужно восстановить.
Кроме того, отдельная программа «сторожевой таймер» (watchdog) дополнительно проверяет его состояние.
6/ Последняя версия v0.1.0-alpha.10 включает секвенсор, образы машин (machine images) и программу-сторожевой таймер.
Новые функции: публичные котировки комиссий, история приложений с поддержкой воспроизведения, привязки для приложений на C, переписанная программа-сторожевой таймер и Cartesi Machine v0.21.0. Обратите внимание: эта версия содержит несовместимые изменения (breaking changes). Сначала прочитайте примечания к выпуску: https://github.com/cartesi/sequencer/releases/tag/v0.1.0-alpha.10
Репост: https://x.com/cartesiproject/status/2109993133866119399