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 来达成汇总状态的共识。