质量|科普:如何定义以太坊2.0中的验证者质量( 二 )


  • 聚合见证消息生成延迟
聚合者可能会推迟见证消息的聚合流程。最常见的原因是,聚合者节点已经因为生成见证消息而过载,但是如果需要聚合大量验证者,聚合算法的速度也会造成巨大延迟。
  • 聚合见证消息广播延迟
与见证消息广播延迟类似,聚合见证消息也需要在网络中广播,因此存在相同的延迟风险。
  • 区块生成失败
要想让见证消息上链,首先要将它打包到区块中。但是,区块生成并不一定总能成功。有两种情况会导致区块生成失败:1. 验证者离线;2. 验证者与网络中的其他验证者失去同步,导致其生成的区块因包含无效数据而被拒绝。如果区块生成失败,就无法确保见证消息在同一个 slot 内上链,导致打包距离大于最佳距离。
区块生成失败还会产生其它影响,即,增加了可打包进下一个区块的见证消息总量。如果可打包的见证消息总量超过了区块容量,区块生产者很可能优先打包那些可以带来较高收益的见证消息,也就是那些打包距离最小的见证消息。这就有可能导致那些错过最佳打包距离的见证消息一再被推后,因为它们能带来的收益越来越低。
由于验证者无法控制区块生成 3 ,我们定义了 “最早打包 slot(earliest inclusion slot)” 这一术语。最早打包 slot 指的是见证消息生成后的第一个生成有效区块的 slot 。见证消息无法打包到一个不存在的区块中,因此,以见证消息生成后的第一个 slot 为标准也衡量不出见证者的效率。这个标准就体现了这些考量,将 “最早打包 slot” 定义为见证消息生成后的第 1 个产生有效区块的 slot(译者注:即过滤掉区块生产者的失误对衡量验证者效率造成的影响)。
  • 恶意行为
尽管如此,恶意参与者依然有可能拒绝将见证消息聚合,或者拒绝将见证消息打包到区块中。前者的风险可以用让每个验证者团体都有多个聚合者来缓解 。为降低后者的风险,不打包见证消息需要承担一定的成本。但是,参与见证的验证者无法迫使区块生成者打包见证消息,因此如果不打包见证消息所产生的收益高于其成本,参与见证的验证者就束手无策了。
计算见证消息有效性考虑到区块生成和打包距离,见证消息有效性可以理解为见证消息对网络的用处有多大。见证消息有效性的正式定义是:
区块有效性是以百分比呈现的。下表列出了一些示例:
 质量|科普:如何定义以太坊2.0中的验证者质量
文章图片
区块距离的上限是 32 。如果未能在区块距离达到上限之前将见证消息打包进区块,则该见证消息的有效性为 0。
聚合见证消息有效性单个见证消息的有效性很有趣,但本身意义不大。如果我们将不同验证者在不同 slot 生成的见证消息的有效性综合起来看,就能更好地了解这组验证者的整体有效性。我们只需取单个见证消息有效性的平均值,即可计算出聚合有效性,例如,一组特定验证者连续 7 天来的有效性均值。
总结当 ETH 2.0 启动时,成千上万个节点会确定彼此的位置,然后开始提议和见证区块。就像所有不成熟的网络一样,你需要通过不断的摸索来找到如何让你的节点尽可能有效的方法。正如上文所述,见证消息有效性是用来追踪节点有效性的一大指标。希望实现奖励最大化的验证者可以通过见证消息有效性来了解其总体表现。
Attestant 会为我们的验证者追踪其见证消息有效性,并将客户报告中的数据汇总起来,从而提供更清晰的表现指标。随着我们继续拓展非托管型 ETH 2.0 质押服务,我们很乐于与大家分享更多的指标。
【 质量|科普:如何定义以太坊2.0中的验证者质量】注释:
  • 验证者组合中的成员每过几分钟就会改变,因此所有验证者共同负担聚合成本。
  • 这是经过简化的见证流程,但是出于本文的目的而言,这个流程是准确的。
  • 显然,除了那些验证者自己生成的数据。


推荐阅读