久久科技网

V上帝的最新文件:信标链终端模型的替代设计概念

久久科技网 0

原标题:基于的累积求和模型作者:vitalik buterin本文提出了一种拟议的信标链替代设计,可在未来长期切换(取代目前计划切换的CBC)。替代设计旨在提供一些关键属性:

在正常情况下提供有意义的单槽经济最终性(即类似tendermint的属性):使单槽重组的成本更高,即使多数人串通,也可以实施,为了减少一致可提取值(CEV),摆脱对LMD ghost分叉选择的严重依赖,避免已知缺陷并引入复杂的混合分岔选择规则来修复这些缺陷,可以允许较低的最小存款规模和较高数量的验证者,从而避免经济最终性最终接近非常的数量(百万ETH)的属性逐步安全协商一致算法(如tendermint、Casper FFG…)。我们假设这个一致性算法有一些时隙或视图的概念,它试图在每个固定的时间段内达成一致性。我们还假设它以一组加权验证器作为输入(现有的BFT一致性算法可以很容易地修改以添加此属性)

在下面的设计中,我们修改了consense,以便需要最终性的集合在每个视图中都是不同的。也就是说,Conconsus将一个函数get\validator\uset(view\u number:int)->map[validator,int](int表示验证器的余额)作为输入,而不是验证器集,后者可以为新视图生成验证器集。get\uValidator\uSet应具有以下属性:验证器集根据从一个视图到下一个视图的最1/R值进行更改,其中R(例如,R=8192)是恢复期的长度。更正式地说,我们想:

其中x返回中值x的绝对值之和,diff返回每个键值的差值(例如,diff(,)=)

,两组相邻验证器之间的差异将包括现有验证器的泄漏平衡,以及以与泄漏平衡相同的速率引入新验证器。请注意,这意味着如果两个总结视图的数量足够多,则可以在不减少的情况下进行双总结确定;这是有意为之的,协议围绕着它工作,就像Casper FFG今天处理非活动泄漏一样,我们使用两级分叉选择:从最新的最后确定块中选择最后确定块,应用其他交叉选择(如LMD ghost)来选择头视图一致算法。它将在每个插槽中进行尝试,并将基于get\upost\u将状态(最新\u finalized\u块)数据的验证器集生成函数作为输入传入。在视图I中,从latest\uFinalized\uuBlock到slot Latested\uFinalized\uBlock必须包含有效的提案。插槽+I处的区块链。如果提示的父级是分叉选择的获胜者,则验证者需要准备并提交提案。如果Conconsus在某个视图中成功,则该视图中的提案将成为新的最新“最终”区块,以更改未来几轮的验证者集。如果失败,它将在下一个时隙/视图中进行下一次尝试。注意:时隙应始终等于当前视图编号加上每个前一个验证器集中成功完成的视图编号之和。我们有以下惩罚:

由一致性算法确定的定期减少惩罚:如果链未能实现最终性,所有非参与者将受到惩罚。此罚款旨在将R/2个插槽后的余额减半,如果区块获得最终性,则需要发生以下情况之一才能终止并确定竞争区块:

一些被摧毁,其中≥ 其中1/3将减少,以实现不同区块的双重终性,最近的离线,并且在R/3插槽后轮换足够,因此可以在不减少的情况下终止不同区块。然而,这是以严重的不活动惩罚为代价的(≥ 攻击者余额的1/3)

在任何情况下,即使您恢复了终止块,您也需要销毁至少\usize*COMMITTEE\usize/3 eth的存款。如果我们将Committee\usize设置为131072(eth2 Committee中每个插槽的验证器数量理论上限制为400万),那么该值为1398101 eth,该方案的其他一些重要属性包括:

验证器的负载将非常稳定。无论存储了多少个验证器,每个插槽的都将被处理\uusize事务,验证器的负载将更低,因为当他们不需要加入时,他们可以在不牺牲安全性的情况下休眠,它们可以允许休眠验证器快速退出并退出,我们可以进行以下调整:

而不是选择最新的终止块,我们选择终止块作为最长终止区块链的末端(但拒绝恢复超过提交前瞻的数据)

get\uValidator\uSet应仅使用超过提交前瞻前信息的状态的数据(这使我们更容易推断,在不同的链中使用同一组验证器来尝试达成共识,这只会在可能破坏某些最终性时发生)

但是,这保留了上述所有属性,它还引入了一个新属性:如果一个块获得多个终止(即,该块被终止,并且其后代链获得k-1个以上的终止,总共k个影响该块的顺序终止),则恢复该块需要违反多个的终止保证。这允许多个的安全级别重叠:一个人需要Committee\uSize*DEPOSIT\uSize*k/3 eth来恢复k个终止,直到k=commit\u此时,是分开的。还请注意,出于P2P子网安全的原因,前瞻机制无论如何都是值得的,因此使用它来设计系统可能是一个好主意。如有必要,让客户决定如何处理最终撤销,具体值的示例请注意,打破最终性所需的eth数量假设攻击者控制的验证器数量远远超过总承诺的一半(即数百万eth);这是攻击者将损失的金额。任何拥有2730-174762 eth的人都不能进入和销毁eth以反转单个插槽的终止

笔记本怎么启动两个硬盘

windows怎么给xbox更新系统

macos怎么关闭icloud

狗狗经常咬狗笼怎么回事

在宠物店工作流鼻血怎么回事

富士相机拍花镜头怎么用

圆通快递为什么查不了单号

抖音自动优化需多久

seo实训报告优化内容

标签:信标链 视图 共识算法 consensus tendermint 插槽