rounded

撰文:Vitalik Buterin,以太坊联合创始人

编译:Luffy,Foresight News

 

区块链良好用户体验的一个必不可少的特性是快速的交易确认时间。如今的以太坊与五年前相比已经有了很大的进步,这得益于 EIP -1559 和 PoS 合并之后稳定的出块时间,用户在 L1 上发送的交易可以在 5-20 秒内得到可靠的确认,已经接近信用卡支付的使用体验。然而,以太坊的用户体验仍需要进一步的改善,因为有些应用程序确实需要数百毫秒甚至更短的交易延迟。这篇文章将介绍加快以太坊交易确认时间的一些实用方案。

 

现有的想法和技术概述

 

单 slot 最终性

 

现在以太坊的 Gasper 共识采用 slot 和 epoch 架构。每隔 12 秒(单个 slot 的时长),验证者子集会在区块链的最新区块上发布投票,在 32 个 slot(6.4 分钟,一个 epoch 包含 32 个 slot)内,所有验证者都有机会投票一次。然后,这些投票被重新解释为类似于 PBFT 的共识算法中的消息,该算法在两个 epoch(12.8 分钟)后提供非常严格的经济保证,这就是最终性。

 

过去几年,我们对这种方法越来越不满意。主要原因是:(i)它很复杂,逐个 slot 投票机制和逐个 epoch 最终性机制之间存在许多交互错误;(ii)12.8 分钟太长了,没人愿意等那么久。

 

单 slot 最终性(single slot finality,SSF)用一种与 Tendermint 共识相似的机制取代了这种架构,在该机制中,区块 N 在区块 N+1 生成之前已经完成。与 Tendermint 的主要不同之处在于我们保留了「非活跃泄漏(inactivity leak)」机制,这种机制允许区块链在超过 1/3 的验证者离线时继续运行并恢复。

 

单 slot 最终性方案设计图

 

SSF 的主要挑战在于,它似乎暗示者每个以太坊质押者都需要每 12 秒发布两条消息,这对区块链来说是一个很大的负担。有一些巧妙的想法可以缓解这种情况,包括最近的 Orbit SSF 提案(https://ethresear.ch/t/orbit-ssf-solo-staking-friendly-validator-set-management-for-ssf/19928)。即便如此,这种方案通过加快「最终确定性」能显著改善用户体验,但它并没有缩短用户需要等待 5-20 秒的这个时间。

 

Rollup 预确认

 

在过去的几年中,以太坊一直遵循着以 Rollup 为中心的路线图,围绕支持数据可用性和其他功能设计以太坊基础层(L1)。这些功能被 Rollup(还有 Validiums 和 Plasmas )等 L2 协议使用,L2 协议可以为用户提供与以太坊相同级别的安全性,但它们的交易规模比 L1 要大得多。

 

这使得以太坊生态系统中产生了一种关注点分离:以太坊 L1 可以专注于抗审查、可靠、稳定以及维护和改进某些核心基础功能,而 L2 可以通过不同的文化和技术权衡专注于用户体验。但如果你沿着这条路走下去,就会出现一个不可避免的问题:L2 专注于为那些希望在 5-20 秒内获得更快确认的用户提供服务。

 

到目前为止,创建自己的「去中心化排序」网络已经成为 L2 不可推卸的责任。可能每隔几百毫秒,一小部分验证者会签署区块,他们会将自己的代币质押在这些区块中。最终,这些 L2 区块的区块头会发布到 L1 上。

 

 

 

L2 验证者集可以作弊:他们可以先签署区块 B1,然后再签署与 B1 有冲突的区块 B2,并在 B1 之前将其提交到链上。但如果他们这样做,就会面临惩罚而失去他们的押金。在实践中,我们已经看到了这种做法的中心化版本,但是 Rollup 在开发去中心化排序网络方面进展缓慢。你可以说要求 L2 都进行去中心化排序是一项不公平的交易:这相当于要求 Rollup 做与创建一个全新的 L1 相同的工作。出于一些原因,以太坊基金会研究员 Justin Drake 一直在推广一种让所有 L2(以及 L1)访问共享的以太坊预确认机制的方法:based preconfirmations()。

 

Based preconfirmations(Based 预确认)

 

Based preconfirmations 的方法假设以太坊提议者将因 MEV 相关原因而成为高度复杂的参与者(请参阅此处了解我对 MEV 的解释,另请参阅提案)。Based preconfirmations 的方法利用这种复杂性,激励这些成熟的提议者提供预确认服务。

 

 

基本思想是创建一个标准化协议,通过该协议,用户可以提供额外的费用,以换即时取保证自身交易被纳入下一个区块,并获得有关执行该交易结果的声明。如果提议者违反了对任何用户做出的承诺,他们就会受到惩罚。

 

如上所述,based preconfirmations 机制为 L1 交易提供了保障。如果 Rollup 是「Based Rollup」(注:Based Rollup 由 Justin Drake 于 2023 年 3 月提出,是一种排序完全由 L1 完成的 Rollup),那么所有 L2 区块都是 L1 交易,因此可以使用相同的机制为任何 L2 提供预确认。

 

我们实际上看到的是什么?

 

假设我们实现单 slot 最终性。我们使用类似 Orbit 的技术来减少每个 slot 签名的验证者数量,这样我们也可以在减少 32 ETH 最低质押数量,可谓是一举两得。结果,slot 时间可能会逐渐增加到 16 秒。然后我们使用 Rollup 预确认或 Based preconfirmations 来为用户提供更快的保证。我们现在得到了什么?一个 epoch-and-slot 架构。

 

 

「它们是同一张图」这个 meme 已经被过度使用了,所以我只会将我几年前绘制的一张旧图表与 L2 预确认图表放在一起,以描述 Gasper 的 slot-and-epoch 架构,我希望我能够解释清楚。

 

有一个深刻的哲学原因可以解释为什么人们总是不可避免地使用 epoch-and-slot 架构:就某件事达成近似的一致本质上比就某件事达成最大程度的「经济最终性」一致需要更少的时间。

 

一个简单的原因是节点数量。虽然由于超优化的 BLS 聚合和不久的将来的 ZK-STARK,旧的渐进式去中心化 / 最终确定时间 / 开销权衡现在看起来更加温和,但从根本上来说,以下观点仍然是正确的:

 

  • 「近似一致」仅需要少量节点,而经济最终性则需要所有节点中的相当一部分。

  • 一旦节点数量超过一定规模,你就需要花费更多时间来收集签名。

 

在当前的以太坊中,12 秒的 slot 被划分为三个 sub-slots,用于 (i) 区块发布和分发、(ii) 证明 (iii) 证明聚合。如果证明者数量少得多,我们可以将其减少到两个 sub-slots,并拥有 8 秒的 slot 时间。另一个实际上更重要的因素是节点的「质量」。如果我们还可以依靠专业化的节点子集来达成近似协议(并且仍然使用完整的验证器集来实现最终性),我们可以合理地将其缩短到约 2 秒。

 

因此,我认为 (i) slot-and-epoch 架构显然是正确的,但 (ii) 并非所有 slot-and-epoch 架构都是一样的,我们需要更充分地探索设计空间。特别是,那些不像 Gasper 那样紧密交织的方案值得探索。

 

L2 应该做些什么?

 

在我看来,目前 L2 可以采取三种合理的策略:

 

  • 无论是技术层面还是精神层面,都要「based」。也就是说,L2 是以太坊基础层技术属性及其价值(高度去中心化、抗审查等)更优秀的传递渠道。用最简单的形式来理解,你可以将这些 Rollup 视为「品牌分片」,但它们也可以更加雄心勃勃,并且它们对新的虚拟机设计和其他技术改进进行了大量实验。

  • 成为「具有区块链脚手架的服务器」,并充分利用它。如果你从服务器开始,然后添加(i)STARK 有效性证明以确保服务器遵守规则,(ii)保证用户退出或强制交易的权利,以及可能的(iii)集体选择的自由,无论是通过协调的大规模退出还是通过投票更改排序器的能力,那么你已经获得了很多链上的好处,同时保留了服务器的大部分效率。

  • 折衷方案:一条拥有 100 个节点的快速区块链,依靠以太坊提供额外的互操作性和安全性。这是许多 L2 项目事实上的当前路线图。

 

对于某些应用程序(例如 ENS、keystores 以及一些支付场景),12 秒的区块时间就足够了。对于需要更短确认时间的应用程序,唯一的解决方案是 slot-and-epoch 架构。在这三种情况下,「epoch」都是以太坊的 SSF(也许我们可以将该首字母缩略词重新定义为「single slot」以外的其他含义,例如,它可以是「Secure Speedy Finality」)。但在上述三种情况下,「slot」是不同的:

 

  • 以太坊原生的 slot-and-epoch 架构

  • 服务器预确认

  • 委员会预确认

 

一个关键问题是,我们能把第 (1) 类中的某样东西做得有多好?特别是,如果它变得非常好,那么第 (3) 类似乎就意义不大了。第 (2) 类将永远存在,因为任何「based」的东西都不适用于链下数据 L2,例如 Plasma 和 Validium。但如果以太坊原生的 slot-and-epoch 架构可以缩短到 1 秒的「slot」(即预确认)时间,那么第 (3) 类的空间就会变得小得多。

 

今天,我们距离得到这些问题的最终答案还很遥远。区块提议者将变得多么复杂?这个关键问题的答案仍然存在相当多不确定性。像 Orbit SSF 这样的设计非常新颖,因此类似 Orbit SSF 的 slot-and-epoch 方案的设计空间还需要更多的探索。我们拥有的选择越多,我们就能为 L1 和 L2 上的用户做得更好,我们也能简化 L2 开发人员的工作。