以太坊2.0 dive

以太坊2.0通过信标链、分片和验证者实现权益证明共识。信标链协调网络,验证者参与证明过程,确保最终确定性。阶段0引入信标链,阶段1实现分片,阶段2关注执行。验证者被组织成委员会,参与投票并获得奖励。证明包括LMD GHOST和FFG投票,交易最终确定性约为14分钟。
摘要由CSDN通过智能技术生成

以太坊2.0的三个阶段

以太坊2.0有三个阶段:
Phase 0 – 信标链
Phase 1 – 分片
Phase 2 – 执行

以太坊2.0架构

以太坊2.0架构

信标链

以太坊phase 0的核心是信标链,它负责协调以太坊网络。

  • 信标链节点:信标链节点就相当于现行以太坊系统上的矿工,它们需要投入更多资源,要运行在更高级的硬件上。信标链节点负责验证验证者的身份、批量处理签名(aggregating signature,因为会有很多验证者发送自己的签名,逐个处理太费时间了,所以我们希望能够一次处理许多个签名)、抓取出块所必需的数据并传递给验证者验证。
    验证者客户端:
  • 委员会: 在每个epoch中,验证者们被均匀地分配到各个slot中,然后进一步分配到规模相当的各委员会中。混洗 (shuffling) 算法会适时调整每个slot中委员会的数量,以保证每个委员会都至少有128名验证者。
  • 交联 (crosslinks):交联是指将一个信标区块和一个分片区块连接起来,在一个交联中,信标链紧跟分片链头。由于一个信标区块中有64个分片,因此至多可以容纳64个交联。交联计划于eth2的阶段1实现,为的是将分片扎根在信标链中,为分片分叉选择、分片链最终确定性和跨分片通信打好基础。所有分片链全程都与信标链紧密相连。
  • 信标链检查点 Beacon Chain Checkpoints 检查点 (checkpoints) 就是位于epoch第一个slot里的区块,如果这个slot内没有产生区块,则最近的前一个区块即为检查点。每个epoch都会有一个检查点区块;一个区块可能同时是多个epoch的检查点。

证明 (attestations)

  • 证明 (attestations) :一则证明包含一个LMD GHOST投票和一个FFG投票。理想情况下,每个epoch中所有验证者提交一份证明。每一个证明有32个slot的机会被打包进链,这意味着在单个epoch,一名验证者可能有两份证明被打包上链。

投票证明信标链头的这个过程被称为”LMD GHOST 投票”.

如果验证者在其所分配的slot里发送证明,且该证明被打包上链,那么验证者获得的奖励为最大值;随后打包上链所获得的奖励就会不断减少。

为了留给验证者准备的时间,他们被提前一个epoch分配到委员会中。一旦epoch开始,提议者只会被分配到各slot中。尽管如此,秘密领导人选举旨在降低攻击和贿赂提议者的风险。
在这里插入图片描述
时段边界区块 (epoch boundary block, EBB) 是一些文献 (比如 Gasper 论文,也是上图的来源)中用到的术语,可以理解为“检查点”(checkpoint) 的同义词。

  • 最终确定性 Finality:当一个epoch结束之后,如果其检查点得到了2/3余额票数,也就是形成了绝对多数,那么该检查点就被证明 (justified) 了。

通常来说,用户交易发生在一个epoch的中间部分;那么距下一个检查点就还有半个epoch的时间,也就是说,一笔交易经过2.5 个epoch(16 分钟)便可得以最终确定 (finality)。在理想情况下,超过2/3的证明 (attestations) 将会被打包进某个epoch的第22个slot中。因此,交易得以最终确定的平均时长为14分钟(16+32+22个slot)。区块确认过程则经由区块证明(attestations),到被证明 (justification),再到最终确定 (finality)。用户可以自己决定是否等到
交易最终确定,还是说稍低一点的安全性也足够了。

如果在某个slot中,没有验证者为其他63个分片提议区块的话,在这个信标区块上可能只有一个交联。

所有验证者都要在自己所在的slot中投票选出信标链头。每个委员会都要在自己所在的slot中尝试交联某个特定的分片。

验证者

参考:分片共识

在以太坊2.0中,验证者 (validators) 便是权益证明(PoS) 共识机制中的“虚拟矿工”。

验证者会被组织成委员会 (committees) 的形式来执行工作。
在这里插入图片描述
在每个epoch中,RANDAO为每个slot挑选区块提议者,并将验证者打乱,分配至委员会中。

下图
在这里插入图片描述
(委员会里的验证者应该要投票选出区块链头)

每个验证者都同时是一个信标链和一个分片链委员会的成员,并被要求每个时段 (epoch) 进行一次证明 (attestation),其中证明是针对已经被提议了一个时隙 (slot) 的信标区块的投票。

验证者的投票即证明 (attestations)。一个证明由许多部分组成:
1.针对目前信标链头的投票
2.针对哪个信标区块应当被证明/最终确定的投票
3.针对分片链当前状态的投票
4.投票同意的所有验证者签名

参考:以太坊2.0:信标链验证者的旅程

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值