这是信标链的替代设计。信标链可以在遥远的将来切换到这种模式(而不是目前计划的CBC)。它试图提供以下主要功能:
在正常情况下,它为单个插槽提供了有意义的经济确定性(即类似于tendermint的功能)。
即使大多数验证者参与合谋重组单个槽,执行成本也比现在高得多,从而降低了一致可提取值(CEV),消除了对LMD鬼分支选择的高度依赖,避免了已知缺陷,并引入了复杂的混合分支选择规则来修复这些缺陷。
可以降低最小存款规模,并增加验证者的数量。
保留经济确定性最终接近非常大的值(百万乙醚)的特征。
基本原理
使共识成为异步且安全的一致性算法(例如,tendermint、Casper-FFG等)。).我们假设一致性算法的设计涉及时隙和视图,即当它试图在每个固定的时间段内实现一致性时。我们还假设它采用一组加权验证器作为输入,可以很容易地添加到现有的拜占庭容错一致性算法中。
在下面的设计中,我们修改了consensus,使每个视图中的最终验证器集不同。也就是说,函数get采用了conconconsus,而不是验证器集uValidator uu set(view _ number:int)-gt;;Mapping其中| x |返回x的绝对值之和,diff返回减去每个键值后的值(例如diff({A:0.1,B:0.2},{B:0.1,C:0.3})={A:0.1,B:0.1,C:-0.3})。
实际上,两组相邻验证器的差会包含已有验证器的扣款余额,新增验证器的比例等于扣款余额的比例。
请注意,最大验证器集差函数1/R仅在前一个验证器未进行最终敲门时可用。如果之前的验证器集合已经定型,conconsus的实例会发生变化,那么get_uvalidator_uu集合函数的内部随机性就会完全改变;在这种情况下,两个相邻的验证器组件变得完全不同。
请注意,这意味着如果两个最终视图上的值之间的差异足够大,则consenus函数现在可以一起最终确定,而不会被没收;这是以这种方式特别设计的,协议的处理方式与今天卡斯帕·FFG处理减速处罚的方式相同。
机制
我们使用两阶段分叉选择:
s选择;新确定的块;(新完成的街区)
从;新确定的块;最初,其他分叉选择(如LMD重影)用于选择块标题。
每个槽可以查看一次consus算法,会基于GET _ UUUPOST _ UU状态(latest _ UFINITED _ U block);生成数据的验证器集生成函数用作输入。有效建议必须包含由uu最终确定的最新UU有效块的子块。只有当这一部分赢得分歧选择,成为区块链的一部分时,验证者才会准备并投票支持整体提案。
如果一致性在视图中获胜,则视图中建议的块将成为最新的“最终”块,并且验证组合将在接下来的几轮中被改变。如果失败,它需要在下一个时隙或视图中进行下一次尝试。
注意:槽应该始终等于当前视图号加上每个先前成功完成的验证器集的视图号。
我们被处罚如下:
共识算法确定的传统没收罚款
减缓惩罚:如果区块链不能最终确定,所有没有参与最终确定的验证者都将受到惩罚。惩罚是在R/2槽后将余额减半。
FFG的替代者:单一时代的卡斯珀·FFG
上述设计的另一个选择是使用卡斯帕·FFG,但是使历元的长度等于时隙。卡斯帕FFG的工作机制是不同的,因为它不试图阻止同一个委员会完成一个区块及其子区块。为了适应这种差异,我们需要实现(I)1/4而不是1/3的安全阈值,以及(II)如果一个槽被终结,验证器集最多可以被1/4代替而不是完全代替的规则。
请注意,在这种设计中,理论上重组一个插槽(但不超过一个插槽)是没有成本的。此外,在图表的末尾,需要将“实现最大最终确定性的时间段”的数量增加四倍。
特点
如果一个区块被定案,并且其竞争区块也将被定案,则需要出现以下情况之一:
提成有问题,检查人员中≥ 1/3因为另一块的双重认定而被没收。
最近的委员会离线了。在R/3档之后,委员会完全洗牌后,终于可以完成另一档而不被没收。但是,这带来了严厉的惩罚(攻击者余额的1/3以上)。
无论如何,即使要回滚最终块,也至少需要烧dispose_size*commit_size/3(存款额*委员数/3)ETH。如果我们设置commit _ size = 131072(理论上ETH 2委员会每个槽的最大验证器数是400万),那么值就是1398101 ETH。
该计划的其他重要特点包括:
无论存放多少校验器,处理数据时校验器的负载都是稳定的;提交每个插槽的大小(委员会大小)事务。
核查员的负担变得更低,因为当他们没有被要求加入委员会时,他们可以睡觉。
休眠验证者可以在不牺牲安全性的情况下快速退出和取钱。
扩展:与小型委员会进行连锁确认
如果我们必须缩小委员会的范围以提高效率和扩大规模,我们可以作出以下调整:
我们将“完成”重命名为“确认”,以反映单一确认不再代表真正的最终确定性。
与选择最新的确认块不同,我们选择具有最长确认区块链头的确认块(但是我们拒绝回滚除了提交前瞻确认的块之外的块,因此提交前瞻确认代表真正的最终确定性)。
获取验证程序集;您应该只使用状态信息,而不是;委员会远见;确认以前的信息
视图的数量应该是槽的数量(这更容易推断出同一个验证器集试图在不同的链上达成一致,这只有在某些确认被破坏时才会发生)
该方案保留了上述所有特征,但也引入了一个新的特征:如果一个块获得多个确认(例如,该块被终结,链的子块获得k-1个确认,因为总共K个连续的确认将影响该块),则撤销该块需要违反多个委员会的共识保证。这允许来自多个委员会的安全级别的累积:回滚K确认需要提交大小*存款大小*K/3 ETH以实现K=提交。只有向前看,委员会才会与众不同。
还需要注意的是,无论如何,对于P2P子网的安全性来说,前瞻机制是值得使用的,所以设计它是一个好主意,如果需要,客户端可以决定如何处理确认回滚问题。
具体数值的例子
请注意,破坏最终确定性所需的ETH数量假设攻击者控制的验证者数量相当于总抵押中控制的ETH数量的一半(即百万ETH);这个数字是攻击者将失去的ETH。但是,这并不意味着任何一个拥有2730174762 ETH的人都可以通过随意烧这些ETH来来回回的进行单槽确认。
温馨提示:注:内容来源均采集于互联网,不要轻信任何,后果自负,本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权,请给我们来信,我们会及时处理和回复。
原文地址"什么是信标链,信标链需要抵押多少eth":http://www.ljycsb.cn/qukuailian/254106.html。

微信扫描二维码投放广告
▲长按图片识别二维码