比特币:V神最新发文:针对信标链的终结性模型替代设计构想

原文标题:《基于委员会的累积终结性模型》

作者:VitalikButerin

本文提出了一种以太坊信标链的拟议替代设计,在未来长期内可以切换到该设计。该替代设计旨在提供一些关键属性:

在正常情况下提供有意义的单槽经济终结性:使单槽重组的成本高得多,即使是多数人串通的情况下也能执行,从而降低共识可提取价值(CEV)

摆脱对LMDGHOST分叉选择的严重依赖,避免已知的缺陷以及需要引入复杂的混合分叉选择规则来修复这些缺陷。

可能允许更低的最小存款大小和更高的验证器数量

保存经济终结性最终接近一个非常大的数字的属性

准备工作

让CONSENSUS成为一种异步安全的共识算法。我们假设这种共识算法有一些槽或视图的概念,它在每个固定时间段尝试达成共识。我们还假设它将一种加权验证器集作为输入。

V神:现在将ETH称为“山寨币”同将兰博称为“马车”一样过时:Mythos Capital创始人、以太坊支持者Ryan Sean Adams发推表示,如果今天继续通过BTC和山寨币看到加密货币世界,那就落后了。现在是2020年不是2015年,今天有加密资本资产、加密商品、加密货币,与旧金融一样的资产超类。

对此V神转发表示,通俗易懂的说就是,在2020年,继续将ETH称为“山寨币”,与将兰博称为“马车”一样过时。[2020/10/22]

在下面的设计中,我们修改了CONSENSUS,以便在每个视图中,需要最终性的集合是不同的。也就是说,CONSENSUS将一个函数get_validator_set(view_number:int)->Map作为输入,而不是验证器集,它可以为新视图生成验证器集。get_validator_set应该具有以下属性:验证器集根据从一个视图到下一个视图的最大1/r值进行更改,其中r是恢复期长度。更正式地说,我们想要:

声音 | 孙宇晨疑似回应V神:波场不会雇水军攻击其他项目:孙宇晨转发Block.one首席执行官BB的一条主题为“项目之间应互相支持”的推文并表示:“同意!波场基金会永远不会雇佣社区成员攻击其他友方项目。我们应该互相爱护,互相支持!”值得一提的是,在该条推文的后方,孙宇晨@了Gitcoin、Consensys以及V神,并使用了“你真丢脸(Shame on you)”结尾,此举或是对V神此前言论的回应。注:V神此前曾发推称,波场的不诚实是限制他们获得高质量研发人才的一个巨大因素。[2020/2/7]

其中丨x丨返回x中值的绝对值之和,diff返回每个键值的差值。

在实践中,两个相邻验证器集之间的差异将包括现有验证器泄漏余额,以及以与泄漏余额相等的速率引入新验证器。

现场丨V神:对以太坊可以有的多个期待:金色财经现场报道,在9月18日的2019第五届区块链全球峰会上,以太坊创始人Vitalik Buterin介绍了未来对以太坊可以有的期待:更好、更可信的数据来源,让应用更好更便捷地与真实世界连接;以太坊上的PoS和分片扩容技术;更多智能钱包、智能融资合约等等;现有的交易所可用零知识证明提高自身的安全性;去中心化应用会比中心化的应用更友好。[2019/9/18]

请注意,这意味着如果两个终结性的视图数量相差足够远,则这时候可以在不削减的情况下进行双重终结性确定;这是有意为之,并且该协议以与当今CasperFFG处理不活动泄漏的方式相同的方式围绕它工作。

机制

我们使用两级分叉选择:

选择LATEST_FINALIZED_BLOCK

从LATEST_FINALIZED_BLOCK,应用一些其他叉选择来选择head

声音 | V神:有50%的矿工现在正在投票支持提高GAS上限:V神在推特表示:“几乎刚好有50%的矿工现在正在投票支持提高GAS上限;它第一次突破了810万。”据此前报道,以太矿矿工开始与Spark Pool(星火矿池)和F2Pool(鱼池)一起进行投票决定提高Gas(燃料)上限。其表示:“考虑到以太坊目前的网络拥堵状况,我们已开始测试将Gas上限提高至1000万。”目前的Gas上限是800万。[2019/9/15]

共识算法的视图在每个插槽都会被尝试,将基于get_post_state(LATEST_FINALIZED_BLOCK)数据的验证器集生成函数作为输入传入。在视图i中,一个有效的提案必须包含从LATEST_FINALIZED_BLOCK到插槽LATEST_FINALIZED_BLOCK.slot+i处的区块的链。如果提示的父级是分叉选择的赢家,这时验证者才需要准备并提交提案。

如果CONSENSUS在某个视图中成功,则该视图中的提案将成为新的LATEST_FINALIZED_BLOCK,更改未来轮次的验证器集。如果失败,它将在下一个槽/视图中进行下一次尝试。

注意:插槽应始终等于当前视图编号加上每个先前验证器集中成功完成的视图编号的总和。

我们有以下处罚:

由共识算法确定的定期削减处罚

不活跃惩罚:如果这条链未能实现终结性,所有未参与的人都会受到惩罚。此惩罚旨在将r/2个插槽后的余额削减一半。

属性

如果一个区块获得终结性,那么要终结确定一个竞争区块,需要发生以下情况之一:

某些委员会被破坏,其中他们中≥1/3会被削减以对不同的区块实现双重终结性

最近的委员会离线,在r/3个插槽之后,委员会轮换足够多,以便能够在不削减的情况下使一个不同的区块获得终结性。然而,这是以严重的不活跃惩罚为代价的

在任何一种情况下,即使还原一个终结区块也至少需要销毁DEPOSIT_SIZE*COMMITTEE_SIZE/3个ETH。如果我们设置COMMITTEE_SIZE=131,072,则该值为1,398,101个ETH。

该方案的其他一些重要属性包括:

验证器的负载将非常稳定,无论存入多少验证器,处理每个插槽的COMMITTEE_SIZE交易

验证者的负载会更低,因为当他们没有被要求加入委员会时,他们可以休眠

在不牺牲安全性的情况下,可以允许休眠的验证器快速退出+撤回

扩展:具有较小委员会的链终结性

如果出于效率原因,我们必须减小COMMITTEE_SIZE,我们可以进行以下调整:

我们没有选择最新的终结性区块,而是选择作为最长终结性区块链末端的终结区块

get_validator_set应该只使用来自状态超过COMMITTEE_LOOKAHEAD之前的信息

视图编号应该只是插槽编号

这保留了上述所有属性,但它也引入了一个新属性:如果一个区块获得多个终结性,然后恢复该区块需要违反多个委员会的终结性保证。这允许多个委员会的安全级别叠加:一个人需要COMMITTEE_SIZE*DEPOSIT_SIZE*k/3ETH来恢复k个终结性,最多k=COMMITTEE_LOOKAHEAD,此时委员会分歧。

还要注意,出于p2p子网安全的原因,先行机制无论如何都值得做,所以用它来设计系统可能是一个好主意,如果需要的话,让客户端来决定他们如何处理终极性反转。

具体值的例子

请注意,“打破终结性所需的ETH”数量假设攻击者控制的验证器数量远远超过质押总量的一半;这个数量是攻击者将失去的。并不是任何拥有2,730-174,762ETH的人都可以进入并销毁该ETH以逆转单一插槽的终结性。

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

链链资讯

FTT比特币:不讲技术的比特币概述(下)

科普|不讲技术的比特币概述 保管比特币:钱包 所谓的钱包,就是一个保管你的私钥的软件。钱包并不是比特币区块链的一部分,它只是跟区块链互动的软件。实际上,钱包里面并没有比特币.

[0:15ms0-3:175ms