sequencer example l2

Пример сводной документации

Этот репозиторий содержит пример накопительного пакета, который интегрируется с Espresso Sequencer. Пример накопительного пакета представляет собой простое хранилище учетных записей «ключ-значение», которое получает заказанные транзакции от Espresso, выполняет их на виртуальной машине объединения и публикует ложные доказательства состояния в смарт-контракте L1 (Ethereum). Накопительный пакет содержит простой API для отправки транзакций и запроса остатков на счетах.

Введение

Espresso построен на основе HotShot, сети, которая достигает консенсуса по пакетам сводных транзакций. На высоком уровне объединение — это решение масштабирования L1, которое выполняет дорогостоящие вычисления вне цепочки. В случае zkRollups проверяющий периодически отправляет контрольные точки состояния свертки вместе с пакетными подтверждениями действительности транзакции на L1. Проиллюстрированный здесь пример представляет собой макет zkRollup. Чтобы узнать больше о пакетах Espresso, прочитайте нашу документацию.

Запуск примера

Предварительные условия

Убедитесь, что в вашей системе установлен docker .

Для дистрибутивов Linux следуйте официальным инструкциям вашего дистрибутива Linux или ознакомьтесь с официальными инструкциями докера.

Запуск примера накопительного пакета на секвенсоре эспрессо

Сначала нам нужно запустить локальную сеть Espresso Sequencer.

 git clone https://github.com/EspressoSystems/espresso-sequencer
cd espresso-sequencer
docker compose pull
docker compose up -d --wait

После завершения разверните пример накопительного пакета, и его можно будет запустить в исходном режиме.

Для запуска в исходном виде требуется набор инструментов Rust. Мы предоставляем оболочку nix для установки всех зависимостей. Nix можно установить через nix-installer. После установки запустите следующее из корня проекта:

 nix develop
just dev-demo

Взаимодействие с демо-версией

Запустив just dev-demo , вы сможете увидеть new state event через несколько минут.

1. Алиса подписывает транзакцию по передаче токенов накопительного пакета Бобу. Алиса отправляет эту транзакцию в накопительный пакет через конечную точку submit API накопительного пакета. Если Алиса обеспокоена цензурой, она может отправить свою транзакцию непосредственно в секвенсор.
2. Сервер API объединения перенаправляет транзакцию в секвенсор. Транзакция помечается уникальным идентификатором пространства имен накопительного пакета, чтобы накопительный пакет мог идентифицировать свои собственные транзакции на шаге 4.
3. Сеть секвенсора обрабатывает транзакцию, в конечном итоге включая ее в блок. Узел секвенсора передает новое состояние контракту Light Client на уровне L1, который проверяет, достигнут ли консенсус по новому состоянию.
4. Служба-исполнитель получает уведомление о новом состоянии посредством подписки на службу запросов, предоставляемую узлом секвенсора.
5. Исполнитель также прослушивает заголовки нового блока, который был секвенирован в сети hotshot. Затем он извлекает подтверждение пространства имен, общий вид и хэш блока.
6. Затем исполнитель обрабатывает транзакции, выполняя следующие шаги:
   • Исполнитель применяет транзакции к состоянию виртуальной машины. Перед применением каждая транзакция проверяется, а недействительные транзакции отбрасываются (настоящая сводка в конечном итоге будет включать доказательства недействительности транзакции). В нашем случае блок содержит одну транзакцию от Алисы к Бобу. Поскольку транзакция содержит действительную подпись и у Алисы имеется достаточный баланс, транзакция успешно применяется и балансы обновляются.
   • После применения транзакции исполнитель обновляет состояние виртуальной машины, добавляя новую фиксацию блока и предыдущую фиксацию состояния.
   • Исполнитель вычисляет новое обязательство по состоянию и генерирует ложное доказательство того, что состояние было обновлено правильно в отношении обязательства по блоку HotShot.
7. Исполнитель публикует подтверждение в сводном контракте.
8. Контракт объединения проверяет подтверждение, запрашивая последнюю сертифицированную фиксацию блока из контракта секвенатора. Примечание. В нашей текущей реализации мы не проводим особой проверки контракта. В производственных целях контракту объединения потребуется выполнить дополнительные проверки с состоянием легкого клиента.
9. Боб запрашивает свой баланс с помощью API объединения и видит, что он получил несколько новых токенов. Если бы это было настоящее объединение, потенциально недоверчивый Боб мог бы проверить свой баланс на соответствие состоянию контракта объединения (данный пример в настоящее время не включает эту функцию).

Объединенная архитектура

Состояние свертки

Состояние примера свертки состоит из:

• Счета : сопоставление адресов ECDSA (в стиле EVM) с балансами фиктивного токена.
• Хэш блока : Хэш самого последнего «горячего» консенсусного блока.
• Обязательство по предыдущему состоянию : криптографическое подтверждение состояния свертки до самого последнего этапа выполнения.
• VM : информация о объединенной виртуальной машине. На данный момент это простой идентификатор.

Исполнитель

Исполнитель — это служба, отвечающая за подписку на новое состояние, опубликованное в контракте легкого клиента L1, применение транзакций к состоянию объединения и отправку ложных доказательств в контракт объединения. В накопительных пакетах роли исполнителя и проверяющего часто разделяются на две отдельные службы, но в этом примере они объединены для простоты.

API накопительного пакета

API объединения — это REST API, который включает в себя конечную точку submit и query .

Объединенный контракт

Контракт объединения хранит самое последнее обязательство состояния объединения. Контракт обновляет обязательство состояния, когда он получает действительное доказательство перехода состояния от исполнителя.

Эспрессо

В этом примере мы использовали несколько компонентов Espresso, как описано ниже. Более подробную информацию можно найти в документации.

Легкий клиент

Легкий клиент — это смарт-контракт, который проверяет целостность состояния свертки. Код контракта можно найти здесь

Сеть эспрессо

Мы запустили сеть эспрессо, используя образы докеров эспрессо-секвенсора. Сеть использует Hotshot для достижения консенсуса по состоянию объединения. Архитектуру можно найти здесь

Хотшот

Espresso Network использует HotShot для достижения консенсуса относительно состояния объединения.