深读V神Staking长文：其构想将如何深远影响质押赛道？

1. 导读

以太坊质押及其相关的衍生赛道无疑是近一两年最为火热的话题。从 Beacon Chain 到 The Merge 再到上海上级，从 LST 到 DVT 再到 Restaking、LSTfi，我们见证了质押以及相关赛道的崛起与迅速发展。究其背后的驱动因素，我们不难发现其发展起源于以太坊质押的范式变化。因此我们也应该思考：以太坊的质押范式在长期会如何演进，又会如何影响相关赛道以及主要玩家。

Vitalik 在 10 月 7 日发表的名为 <Protocol and staking pool changes that could improve decentralization and reduce consensus overhead> 的文章中提出了一些对目前的以太坊质押机制进行优化的方案，为以太坊进一步降低中心化程度、减小共识负载提供了一种参考路径。其中部分设想会对质押机制产生较大的改变，同时又符合以太坊发展的主要趋势，因此我们将对文章进行解读，并分析不同方案对质押赛道的潜在影响。

2. 文章回顾

2.1 双层质押现状

Vitalik 将以太坊目前的质押格局称为双层质押（two-tiered staking），在该质押模式中存在两层参与者：Node operators 和 Delegators。

Node operators：即节点运营商，负责运营以太坊节点。

Delegators：即委托人，通过各种方式参与质押的用户（除了自己运行节点）。

目前 delegators 参与质押的主要方式是使用 Lido、Rocket Pool 等质押服务商提供的服务。

2.2 存在的问题

Vitalik 认为双层质押的模式带来了两个问题，分别是质押赛道的中心化风险和不必要的共识层负担。

质押赛道的中心化风险：delegators 在质押 ETH 之后，需要 Lido 等服务商对节点进行选择，具体的选择机制会从不同角度带来节点运营商的中心化风险。例如，Lido 通过 DAO 投票来决定运营商，则节点运营商可能会倾向于大量持有 LDO 来提升自己的市场份额；Rocket Pool 允许任何人质押 8 ETH 后成为节点运营商，这让资金实力雄厚的运营商能够直接“购买”市场份额。

不必要的共识层负担：目前以太坊共识层在每个 epoch 需要聚合和验证约 80 万个签名，如果要实现单时隙确定性（Single Slot Finality, SSF）的目标，将需要以太坊在每个 slot 聚合和验证 80 万个签名，即任务不变，时间缩短到原来的 1/32 ，这对运行节点的硬件提出了更高的要求。从目前的双层质押结构来看，验证工作大多是节点运营商在进行，验证者数量虽然多，但是实际运行验证者的主体不是多样化的。也就是说节点数量的增加没有降低以太坊中心化程度，反而增加了以太坊共识负担。因此可以减少验证节点的个数（减少需要处理的签名个数），从而降低以太坊的共识负载（听起来更加中心化，配套的降低中心化的措施会在下面的部分中讲解）。

背景知识补充：

Slot（时隙）：指一个新区块被纳入共识需要的时间，以太坊的一个 slot 约为 12 s。在每个 slot 中，网络都会随机选择一位验证者作为区块提议者， 该验证者负责创建新区块并发送给网络上的其他节点。 另外在每个 slot 中，都会随机选择一个验证者委员会，通过他们的投票确定所提议区块的有效性。 即不用所有的验证者都参与某个 slot 的验证工作，仅需被选中的委员会的验证者正常参与即可，委员会的 2/3 票数可以让 slot 的状态获得有效性。每个 slot 不要求所有的验证者参与，可以方便管理网络负荷。

Epoch（时段）：指一个包含 32 个 slot 的时间段，以太坊的一个 epoch 大约为 6.4 min。在一个 epoch，某验证者只能加入一个委员会，网络中所有的活跃验证者需要出示证明来表明自己在这个 epoch 的“活跃”状态。每个 epoch 的第一个 slot（正常情况下如此）也被称为检查点（checkpoint）。

Finality（最终确定性）：交易在分布式网络中具有“最终确定性”是指，该交易成为了区块的一部分，而且除非销毁大量 ETH 导致区块链回滚，否则便无法改变。以太坊通过“检查点”区块来管理确定性。如果一对检查点（相邻 epoch 的第一个 slot）获得了质押 ETH 总数中 2/3 以上的投票，那么这对检查点将被升级。 这两个检查点中较新的一个会变成“合理”状态，较旧的一个检查点从上个 epoch 获得的合理状态升级为“最终确定”状态。平均而言，用户交易将位于一个 epoch 中间的一个区块中，距离下一个检查点还有半个 epoch，表明交易最终确定为 2.5 个 epoch，约 16 min（经过 0.5 个 epoch，到达下个检查点；再经过 1 个 epoch，下个检查点获得合理状态；再经过 1 个 epoch，下个检查点获得最终确定状态）。理想情况下，一个 epoch 的第 22 个 slot 将实现该 epoch 检查点的合理性。因此，交易最终确定平均为 14 min（16+ 32+ 22 个 slot）。