EOS:Vitalik:以太坊 Serenity 设计依据综述

举个例子,如果我们能够容忍每秒钟发送10条消息的开销,那么在一个拥有10000个节点的网络中,其最终化时间至少为2000秒。在以太坊中,如果我们假设总ETH供应量约为2^27个ETH,那么在32ETH保证金规模的条件下,网络中最多有2^22个验证者。如果最终化时间为2个时期,那么这意味着每秒钟所产生的最大消息开销将为(2^22)/768≈5461。但我们可以容忍如此高的开销。因为借助于BLS聚合方案,我们可以将每个签名的边际大小减少到1比特,并将边际验证复杂度降低到一个ECADD操作。出于另一个原因,64个时隙已经是安全范围内的最小值:如果攻击者操纵用于挑选提议者的随机性,那么这个数字仍然能够提供足够的空间以确保每个时期中至少存在一个诚实的提议者,从而充分确保区块能够实现最终化。我们的计算表明:目前程度的开销是可以接受的,但更高的开销将会增加运行节点的难度。最后,当前的验证者保证金规模是实现分片交联的理想选择。5.随机抽样?

在每个时期,每个分片都会产生新的交联。这意味着,在一个由128个验证者组成的随机选择池中,有2/3验证者签署了一个表示自最新的交联以来所产生的所有数据都被包含在特定分片的哈希。而之所以选择128,是因为这个数是有效防御攻击的最小规模。我们需要防止占比小于总验证者集合1/3的攻击者在随机选择的过程中占据委员会的2/3。由于网络中存在1024个分片,这意味着在每个时期获取一次交联,我们就需要有131072个验证者,或者大约440万ETH押注。如果我们提高最小保证金规模,比如提高到1024ETH,那么这将意味着我们无法获得足够的验证者来进行交联,除非所有的ETH都押注进来。6.LMDGHOST分叉选择规则

信标链使用的是LMDGHOST分叉选择规则,具体的细节请参阅:https://github.com/ethereum/eth2.0-specs/blob/master/specs/core/0_beacon-chain.md#beacon-chain-fork-choice-ruleLMDGHOST分叉选择规则包含来自所有验证者的信息,这些信息在每个时隙内有成百上千条。这意味着在正常情况下,哪怕回滚一个区块也几乎是不可能的。此外,由于分叉选择取决于所有的验证者,因此,除非攻击者控制了接近整个验证者集合的50%比例,否则区块根本不可能发生回滚。再者,攻击者也无法再通过操纵随机性来获得领先的优势。7.信标链/分片链结构

分片系统的结构的特点在于其具有一条能够协调所有活动的中央“信标链”,以及分别位于1024个分片内的链条。分片通过“交联”周期性地连接到信标链中。(1)将分片内的所有区块直接放入信标链中,并由委员会进行签署(2)不使用信标链,而是采用其它结构将分片链相互连接第(1)种方案由于效率原因被否决了:我们希望分片内的出块时间是6秒钟,但是在信标链中每6秒进行1024个交联将导致信标链内产生不可接受的高负载。第(2)种方案由于过于复杂被否决了:具有分层分叉选择特性的中心轮辐型信标链结构在具体实现和推理上远优于任何更复杂的结构。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

[0:0ms0-7:140ms