首次深入解析 Cartesi 排序器 (sequencer) !让我们来剖析一下它是什么、为何重要以及如何运作。🧵↓
https://fxtwitter.com/cartesiproject/status/2109993133866119399

1/ 交互式应用需要速度,而以太坊的结算需要时间。没人愿意每次点击操作都要等待数分钟才能获得 L1(一层网络)的最终确认。这正是排序器发挥作用的地方。

2/ 排序器接收用户已签名的操作并立即进行确认(即“软确认”)。

在后台,它将这些操作分批提交到 L1。用户获得近乎即时的响应,同时以太坊依然作为“事实来源”(source of truth)保持权威地位。

关于我们排序器的完整详情:https://github.com/cartesi/sequencer

3/ 技术层面是如何运作的?每组用户操作(称为一个“帧”/frame)都指向一个安全的 L1 区块。链上调度器接收截至该区块的所有存款,然后按相同顺序执行相同的操作。

排序器和 Rollup 遵循相同的规则,因此最终会达成一致的状态。

4/ 虽然系统采用单一排序器,但它无法窃取资金或伪造状态。Rollup 会对所有内容进行检查,并通过欺诈证明(fraud proofs)来强制执行结果。

存款流程完全绕过排序器。即使排序器试图进行审查,最多也只能延迟几个小时,而绝无可能彻底阻挡存款。

5/ Cartesi 排序器目前仍处于 Alpha 阶段,但进展迅速。

它针对 L1 中断、崩溃、重启、长时间停机以及恶意内存池(mempool)等情况做了相应设计。每次启动时,它都会检查数据库和以太坊,以确定需要修复的内容。

此外,还有一个独立的“看门狗”(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