sequencer example l2

範例匯總文檔

此儲存庫包含與 Espresso Sequencer 整合的範例匯總。這個範例 rollup 代表一個簡單的鍵/值帳戶存儲，它從 Espresso 接收有序交易，在 rollup VM 中執行它們，並將模擬狀態證明發佈到 L1（以太坊）智能合約。 Rollup 包含一個簡單的 API，用於提交交易和查詢帳戶餘額。

介紹

Espresso 建立在 HotShot 之上，HotShot 是一個在批量匯總交易上達成共識的網路。從較高層次來看，rollup 是一種 L1 擴展解決方案，可在鏈外執行昂貴的計算。對於 zkRollups，證明者定期向 L1 提交匯總狀態檢查點以及批量交易有效性證明。這裡展示的範例是一個模擬 zkRollup。要了解有關 Espresso 匯總的更多信息，請閱讀我們的文檔

運行範例

先決條件

確保您的系統上安裝了docker 。

對於 Linux 發行版，請遵循您的 Linux 發行版的官方說明或參閱官方 docker 說明。

在 Espresso Sequencer 上運行範例匯總

我們首先需要啟動本地 Espresso Sequencer 網路。

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

一旦完成部署範例匯總，它就可以在本機運行。

要本地運行，需要 Rust 工具鏈。我們提供了一個 nix shell 來安裝所有依賴項。 Nix 可以透過 nix-installer 安裝。安裝後，從專案的根目錄執行以下命令：

 nix develop
just dev-demo

與演示互動

just dev-demo後，幾分鐘後您將能夠看到new state event日誌。

1. Alice 簽署了一項交易，將匯總代幣轉移給 Bob。 Alice 透過 Rollup API 的submit端點將此交易傳送到 Rollup。如果愛麗絲擔心審查制度，她可以將她的交易直接發送到排序器。
2. Rollup API 伺服器將交易轉送給定序器。此交易使用匯總的唯一命名空間 ID 進行標記，以便匯總可以在步驟 4 中識別其自己的交易。
3. 定序器網路處理交易，最終將其包含在一個區塊中。排序器節點將新狀態提交給 L1 上的Light Client合約，該合約驗證是否已就新狀態達成共識。
4. 執行器服務透過訂閱定序器節點提供的查詢服務來接收新狀態的通知。
5. 執行器也會偵聽在熱點網路上排序的新區塊的標頭。然後它獲取命名空間證明、vid common 和區塊哈希。
6. 然後執行器處理事務，執行下列步驟：
   • 執行器將交易應用於VM狀態。在應用之前，每筆交易都會經過驗證，無效交易會被丟棄（真正的總結最終將包括交易無效的證明）。在我們的例子中，該區塊包含從 Alice 到 Bob 的單一交易。由於交易包含有效簽名並且Alice有足夠的餘額，因此交易成功應用並且餘額被更新。
   • 交易應用後，執行器使用新的區塊承諾和先前的狀態承諾更新VM狀態。
   • 執行器計算新的狀態承諾，並產生模擬證明，證明狀態已根據 HotShot 區塊承諾正確更新。
7. 執行者將證明發佈到匯總合約中。
8. Rollup 合約透過查詢排序器合約中最新的經過認證的區塊承諾來驗證證明。注意：在我們目前的實作中，我們沒有在合約中進行太多驗證。出於生產目的，匯總合約需要對輕客戶端狀態進行額外的驗證。
9. Bob 使用匯總 API 查詢他的餘額，並發現他收到了一些新的代幣。如果這是一個真正的匯總，則潛在的不信任鮑勃可以根據匯總合約狀態承諾驗證他的餘額（該示例目前不包括此功能）。

總計架構

匯總狀態

範例匯總的狀態包括：

• 帳戶：ECDSA（EVM 樣式）地址到虛擬代幣餘額的對應。
• 區塊哈希：最新熱點共識區塊的哈希。
• 先前狀態承諾：對最近執行步驟之前的匯總狀態的加密承諾。
• VM ：有關匯總 VM 的資訊。現在，這是一個簡單的 ID。

執行者

執行器是一項服務，負責訂閱發佈到 L1 輕客戶端合約的新狀態，將交易應用於匯總狀態，並向匯總合約提交模擬證明。總結通常將執行者和證明者的角色分為兩個不同的服務，但為了簡單起見，這個範例將它們組合在一起。

匯總API

匯總 API 是一個 REST API，包含submit和query端點。

匯總合約

Rollup 合約儲存最新的 Rollup 狀態承諾。當合約從執行者收到有效的狀態轉換證明時，它會更新狀態承諾。

濃縮咖啡

在此範例中，我們使用了一些 Espresso 元件，如下所述。更多資訊可以在文件中找到

輕客戶端

輕客戶端是一個智慧合約，用於驗證匯總狀態的完整性。合約代碼可以在這裡找到

濃縮咖啡網絡

我們使用 espresso-sequencer docker 映像運行了一個 espresso 網路。網路使用hotshot來達成rollup狀態的共識。架構可以在這裡找到

能人

Espresso Network 使用 HotShot 來達成匯總狀態的共識。