木星链 木星链
Ctrl+D收藏木星链

以太坊:理解验证者的生命周期

作者:

时间:1900/1/1 0:00:00

来源:attestant.io

作者:Jim McDonald

理解验证者 (Validator) 的生命周期

以太坊 2.0 使用权益证明来确保其网络安全性, 被称为“验证者”的计算机进程将对即将被打包的下一个区块进行投票(下文称“见证”),同时他们也会提议让自己的区块被打包进去。但是,验证者不是仅处于“开”与“关”的状态:他们会在他们的生命周期里历遍一系列的交易。这篇文章将深度剖析验证者的生命周期,展示每个状态和状态转换之际发生的事情,什么触发了状态转换,以及每次状态转换所需要的时间(注解 1)。

时间上的一个符号

在以太坊 2.0 里,时间通常是以 epoch 为单位,一个 epoch 包括了 384 秒即大概是 6 分半。为了方便理解,以这种方式计量的时间被粗略地翻译成分钟,小时和天,并伴有可用的准确信息在相对应的脚注里。

生命周期概览

在深入分析细节之前,先来看看验证者的生命周期概览,以及用来描述其不同状态的术语。

图表 1:验证者生命周期概览

以下是状态标签:

已存款 - 存款协议已被以太坊(Ethereum)1.0 网络接受

CZ:FUD是可理解的正常市场行为,目前Binance平台资金流向已扭转为净流入:12月14日消息,Binance 创始人CZ 在 CZ AMA 中就近期市场中出现 Binance 相关 FUD 的问题发表看法表示:虽然 FTX 的崩溃为用户带来了恐惧,但这不意味着所有交易平台都有问题。客户希望现在把钱从 Binance 取走,那么他们就可以去提,他们也随时可以再次回来参与交易,这是用户的自由。Binance 拥有充足的现金储备,所有用户资产都是 1:1 获得储备支持的。目前我们已经看到了有资金在回流入 Binance,所以我认为本次 FUD 只是市场上很正常的一个行为,Binance 作为市场参与者有责任保持稳定。[2022/12/14 21:44:49]

待处理 - 存款协议已被以太坊(Ethereum)2.0 网络接受

活跃中 - 验证者正在见证和提议区块

退出中 - 验证者正处在中止见证和提议区块的进程

罚没中 - 验证者被发现作弊,正处在中止见证和提议区块的进程中

已退出 - 验证者不再参与见证

一个元状态同样被定义了: 见证, 即所有验证者要参与进来见证和提议区块的状态(活跃中,退出中的,罚没中)。这个状态是重要的,因为当验证者处于这些状态时需要去访问以太坊(Ethereum)2.0 网络来与其职责保持同步以免被惩罚。

美联储梅斯特:美联储对通货膨胀“持续性和幅度”的理解是错误的:9月30日消息,美联储梅斯特:美联储对通货膨胀“持续性和幅度”的理解是错误的。(金十)[2022/9/30 6:03:02]

图表 2:见证的元状态

定义了这些状态之后就是详细分析每一个状态以及它们之间的交易的时候了。

已存款的状态

接受存款协议就是验证者生命周期的开始。接受发生在以太坊 1.0 链上, 因为那就是验证者资金的来源。在这时以太坊 2.0 的链还不知晓这笔存款。

验证者会保持大概 7 个半小时在这个存款状态里(注解 2 ),以确保不会有一个链的重组影响到以太坊 1.0 交易并有可能使存款协议无效。这之后验证者就会去到待处理状态(注解 3 )。

图表 3 :从已存款状态转换到准备状态

待处理状态

一旦这笔存款在以太坊 1.0 的链上存在了足够长的时间后,它就会被添加到以太坊 2.0 的链上去。这标志着这个验证者已经正式被以太坊(Ethereum) 2.0 所认可。假如最少 32 个 ETH 已经被存进去的话(注解 4),验证者现在就会准备开始见证。

准备中的验证者会被放在一个队列里:以太坊(Ethereum) 2.0 一次只允许一小部分验证者开始或停止验证(注解 5),以保证验证者的集稳定。如果队列是空的则准备中的验证者会在大约 25 分钟后变成活跃状态(注解 6):如果这是一个非常繁忙的时段则有可能经过数天甚至数星期之后验证者才会被激活。但是一旦验证者从等候队列中出来,它就会变成活跃状态。

Harmony创始人:理解社区的担忧,补偿提案将重新带来更多的选择:7月29日消息,据官方治理网站,Harmony创始人Stephen Tse在7月27日发布的“Horizon被盗事件补偿提案”下面的评论区表示:“我已经从上到下阅读了大家所有的信息,并与团队会面讨论。我们理解社区的担忧,我们将重新开始。根据社区的建议和反馈,我们将为每个人创造更多的提案和机会来参与这一进程。在接下来的几天里,我会要求社区在我与团队一起工作时随时待命。我们会为大家带来新的信息。我真诚地感到社区对目前的提议感到失望。我们的下一步有望为社区带来更多的选择和清晰的讨论。”[2022/7/29 2:46:11]

图表 4 :从准备状态到活跃状态的过渡

活跃中状态

验证者理应在活跃状态下度过它们主要的生命周期。活跃的验证者会以 6 分钟一次的频率参与当时的见证,偶尔还会有提议区块链的工作(注解 7)。验证者会保持活跃状态直到以下其中一种事情发生:

验证者由于在需要其参与见证时没有履行职责被惩罚,导致资金下降到 16 个 ETH 以下。

用户通过发送一笔合适的交易来要求停止验证(在这个验证者变成活跃状态的头 9 天里无法发起这种交易)。

验证者被证明作弊。

韩国央行行长:很难理解比特币的高价:韩国央行行长李柱烈:很难理解比特币的高价。[2021/2/23 17:43:32]

在前两种情况里,验证者被添加到希望停止验证的验证者队列里(将要离开活跃状态的验证者和将要进入活跃状态的验证者一样,数量是被限制的,大概几分钟才有 1 个)

图表 5:从活跃状态到正在退出状态的过渡

在第三种情况里,验证者被加入到一个被发现在作弊的验证者的队列里以接受惩罚。

图表 6:从活跃状态到罚没中状态的过渡

请注意,通过发送包括了相同验证者信息的额外存款协定来向一个活跃验证者充值额外的 ETH 是有可能会发生的情况(永远要记住有效的余额不能超过 32 个 ETH)。这有助于避免验证者的资金降到 16 个 ETH 以下并且被添加到退出队列的情况。

退出中的状态

当网络现有的验证者表明了自己想要停止验证的意图之后,无论他是自愿的还是非自愿的,他都不会马上这样做而是会进入退出中的状态,和以往的活跃状态一样继续同样多地参与见证和提议。这保证了网络的稳定性,避免了一个验证者决定离开时就马上停止履行职责的情况。

动态 | 美国德克萨斯州寻求由区块链提供支持的ID管理解决方案:9月17日消息,德克萨斯州奥斯汀市一直致力于为遇到无家可归者的人们开发区块链驱动的身份识别系统。该倡议被称为MyPass,计划中的最终产品是一个平台,将个人记录和id的数字副本收集在一个手机号码或电子邮件地址下,使实体副本冗余。一个人与不同服务的所有交互都可以使用区块链记录在一个台账上,而不是在多个由个人管理的数据库之间存储数据,在每次交互发生时,由经过验证的机构和个人组成的机构和个人验证每个交互。这个想法来自于在难民营中实施的类似项目,比如世界粮食计划署在约旦的建筑项目。[2018/9/17]

与一个验证者想要从准备状态变成活跃状态时类似,要离开的验证者要进入一个一次只能允许少数通过的一个队列。又和加入时类似,在退出中状态里花费的时间取决于验证者在队列里的排队数量。

图表 7:从退出中到已退出状态的过渡

罚没中(Slashing)状态

一个被发现作弊的验证者会马上受到 1 个 ETH 的惩罚,从余额里扣除。然后他会进入到一个罚没中的队列里去,这个罚没中队列类似于一个退出中队列,但是它会被标记为需要额外的惩罚,我们会在接下来的“已退出”状态里讨论这个问题。

图表 8:从罚没中状态过渡到已退出状态

一个验证者在退出中的时候以及甚至在退出之后都有可能被罚没(但在他能取回自己的资金之前)。这避免了这种情况的发生:验证者作弊之后,通过常规的退出机制,在自己的作弊行为被发现之前就退出,从而逃脱了惩罚。这带来了一个略微复杂的状态模型。

图表 9:扩展罚没条件

已退出状态

当一个验证者去到已退出状态,他就已经正式完成了自己的使命。他不用再参与见证或提议区块,并且不再需要拥有关于以太坊 2.0 链的状态信息。

在退出之后,在资金能被转离验证者之前有一个大约 1 天(注解 8)的最后延迟。但是,如果这个验证者被标记为经过了罚没中状态,那么他会承受两个额外的惩罚。

第一,在已退出状态里能转移资金之前花费的时间会更长,是 36 天(注解 9)。第二,在这个 36 天周期的中途,他会承受进一步的扣款,扣款金额取决于这个验证者被发现作弊之前 18 天被罚没的验证者数量以及这个验证者被发现作弊之后的 18 天被罚没的验证者数量。下图展示了一个验证者的有效余额损失(注解 10)的总百分比

图表 10:在大致相同的时间里,被罚没的有效余额与网络被罚没验证者数量的百分比对比

一旦 36 天到期,被罚没的验证者们的剩余资金就可以被转移了。

正如生命周期图表里所能看到的一样,一个已退出的验证者无法再通过任何机制重新进入活跃状态。就是说,一旦一个验证者退出了,他的资金会在被转移之前保持休眠状态。注意,你无法在以太坊 2.0 的 0 阶段转移资金 - 所有已退出的验证者的资金会一直保留在验证者中,直至资金转移操作被引入。缺少转移操作的原因是缺乏可以转移 ETH 的用户账户。

扩展的验证者生命周期

结合以上所有信息考虑将带来一副更加全面的验证者生命周期图景

图表 11:扩展的验证者生命周期

了解不同状态之间的转换所要求的条件以及消耗的时间,对于确保以太坊 2.0 质押基础设施的成功运行至关重要。从一开始的存款到资金的提出,生命周期展现了每个状态里可能发生的事情并对验证者在任何时候的行为进行了明确的解释。

脚注

脚注 1:值得注意的是,以太坊 2.0 并没有设置一个明确的状态机制;也就是说,状态的名字是笔者提出来方便理解的。

脚注 2:1,024 个以太坊 1.0 的区块加 32 个以太坊 2.0 的 epoch。

脚注 3:这假设了存款协议需要完整的 32 个 ETH。要是存款协议少于这个阈值,验证者将停留在已存款状态中,直到有更多的存款协议把验证者的余额提高到至少 32 个 ETH。

脚注 4:若不,则另一笔存款可以被添加以增加这个验证者的余额到这个数量。

脚注 5:每 epoch 为 (活跃中+退出中+罚没中的验证者)/65536,最小值为 4。

脚注6:4 个epoch。

脚注7:每一个epoch内一个验证者只能见证一次,每一个slot内只有一个指定的验证者履行提议者的职责。

脚注8:256 个epoch

脚注9:8192 个epoch

脚注10:注意因为惩罚最高可达到有效余额的百分之百,一个验证者的最大惩罚永远不会超过 32 个 ETH,无论该名验证者的真实余额如何。

金色早8点

金色财经

Odaily星球日报

欧科云链

澎湃新闻

Arcane Labs

深潮TechFlow

MarsBit

BTCStudy

链得得

标签:以太坊ETHPOCbinance什么是以太坊币ETH交易平台APOC价格Binance Agile Set Dollar

中币交易所热门资讯
SCB:曼谷 Web3 游记:数字游民天堂 世俗与割裂的“罪恶都市”

撰文:0xmin/Runchen曼谷,一个引人无限遐想,却又触手可及的城市。伴随着 Web3 的全球化浪潮,越来越多的行业从业者将目标投向海外,寻求海外扩张的机会.

1900/1/1 0:00:00
区块链:金色早报 | 美SEC起诉Terraform Labs及其联合创始人Do Kwon

▌美SEC起诉Terraform Labs及其联合创始人Do Kwon金色财经报道,美国证券交易委员会(SEC)周四起诉了失败的TerraUSD稳定币背后的公司Terraform Labs及其联.

1900/1/1 0:00:00
稳定币:长推:加密货币圣杯——稳定币数据透视

1/16不可否认,稳定币是目前加密货币的杀手级用例,而且比其他任何应用都更快成为主流。不要光相信我的话,看看数据就知道了.

1900/1/1 0:00:00
ARK:Bankless创始人:关于Starknet生态的5件事

文/David Hoffman,译/金色财经xiaozou之所以想去参加StarkWare大会,是因为我对StarkWare生态的了解不如其他以太坊生态.

1900/1/1 0:00:00
元宇宙:元宇宙热退潮 XR产业回归理性

2月16日,字节跳动旗下VR公司PICO爆出裁员200-400人,优化比例达20%-30%;腾讯传出XR业务变更路径,团队调整;而在不久前,快手解散全景视频业务.

1900/1/1 0:00:00
WAL:史上最大加密捐赠后续 流向救助机构的区区5800万与成谜的Alameda地址

原文:How some of Vitalik’s $1bn for Covid relief went through an Alameda wallet and a Puerto Rican.

1900/1/1 0:00:00