原文标题:《基于委员会的累积终结性模型》
作者:VitalikButerin
本文提出了一种以太坊信标链的拟议替代设计,在未来长期内可以切换到该设计。该替代设计旨在提供一些关键属性:
在正常情况下提供有意义的单槽经济终结性:使单槽重组的成本高得多,即使是多数人串通的情况下也能执行,从而降低共识可提取价值(CEV)
摆脱对LMDGHOST分叉选择的严重依赖,避免已知的缺陷以及需要引入复杂的混合分叉选择规则来修复这些缺陷。
可能允许更低的最小存款大小和更高的验证器数量
保存经济终结性最终接近一个非常大的数字的属性
准备工作
让CONSENSUS成为一种异步安全的共识算法。我们假设这种共识算法有一些槽或视图的概念,它在每个固定时间段尝试达成共识。我们还假设它将一种加权验证器集作为输入。
MakerDAO考虑购买35亿美元的ETH V神称其冒险和可怕:金色财经消息,据CoinHub发布的推文,MakerDAO 正在考虑购买35亿美元的ETH,将所有 USDC 从挂钩稳定模块转换为 ETH。
V神(Vitalik Buterin)对此表示,这似乎是一个冒险和可怕的想法。如果ETH大幅下跌,抵押品的价值将大幅下降,但CDP将无法清算,因此整个系统将面临成为部分准备金的风险。[2022/8/12 12:19:46]
在下面的设计中,我们修改了CONSENSUS,以便在每个视图中,需要最终性的集合是不同的。也就是说,CONSENSUS将一个函数get_validator_set(view_number:int)->Map作为输入,而不是验证器集,它可以为新视图生成验证器集。get_validator_set应该具有以下属性:验证器集根据从一个视图到下一个视图的最大1/r值进行更改,其中r是恢复期长度。更正式地说,我们想要:
V神:即使扩容问题不再那么重要 但PoS仍很重要:7月22日,有推特网友称,以太坊Gas费上涨现象已经无处不在了,尽管有开发人员称以太坊信标链将于11月份推出,但仍需要几年时间才能彻底解决问题。也有网友表示,以太坊Layer 2扩容协议,如Optimistic Rollups、zk-rollup已经做得不错了,也许并不需要ETH 2.0了。对此,V神回应称,即使扩容不再那么重要,但PoS还是很重要的。[2020/7/22]
其中丨x丨返回x中值的绝对值之和,diff返回每个键值的差值。
声音 | V神:零知识证明技术对Layer 2更有帮助:在万向区块链实验室主办的第五届区块链全球峰会上,当被问及最新进展时,V神表示目前正在关注零知识证明,该技术经过十几年的发展仍然有创新,Zk-SNARKs就取得了一些进步。V神还表示,零知识证明对Layer 2 也许并没有太大帮助,但对Layer 2也许会有帮助。[2019/9/18]
在实践中,两个相邻验证器集之间的差异将包括现有验证器泄漏余额,以及以与泄漏余额相等的速率引入新验证器。
请注意,这意味着如果两个终结性的视图数量相差足够远,则这时候可以在不削减的情况下进行双重终结性确定;这是有意为之,并且该协议以与当今CasperFFG处理不活动泄漏的方式相同的方式围绕它工作。
机制
我们使用两级分叉选择:
声音 | V神:区块链的哲学理念和开源软件十分类似:Vitalik Buterin近日表示:“我认为区块链的哲学理念和开源软件十分类似,基本上可以归纳为四点:连接彼此,发挥网络效应,消灭垄断和一定程度上抵制机构审查。”[2018/9/21]
选择LATEST_FINALIZED_BLOCK
从LATEST_FINALIZED_BLOCK,应用一些其他叉选择来选择head
共识算法的视图在每个插槽都会被尝试,将基于get_post_state(LATEST_FINALIZED_BLOCK)数据的验证器集生成函数作为输入传入。在视图i中,一个有效的提案必须包含从LATEST_FINALIZED_BLOCK到插槽LATEST_FINALIZED_BLOCK.slot+i处的区块的链。如果提示的父级是分叉选择的赢家,这时验证者才需要准备并提交提案。
V神:拟议的以太坊路线图将同时激活其最大的升级:以太坊创始人Vitalik Buterin称,团队可能会寻求改变Casper和sharding被激活的顺序,研究的新进展可能使两种升级能够一起启动。[2018/6/16]
如果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以逆转单一插槽的终结性。
上周末我发现有一堆“死亡僵尸(THEDEAD)在推特关注我,到处都是顶着这个头像的人: 外行人:这个绿色的家伙是一个CryptoPunk(加密朋克).
1900/1/1 0:00:00头条▌马斯克:狗狗币是支付方面最强的加密货币金色财经报道,特斯拉CEO埃隆·马斯克再次强调,Dogecoin以比其他加密货币更好的方式实现了支付手段的属性.
1900/1/1 0:00:00金色周刊是金色财经推出的一档每周区块链行业总结栏目,内容涵盖一周重点新闻、行情与合约数据、矿业信息、项目动态、技术进展等行业动态。本文是项目周刊,带您一览本周主流项目以及明星项目的进展.
1900/1/1 0:00:00让我们来看看以太坊生态系统的扩容路线图吧!不过这次是从终端用户的角度来看。当然我们将会看到很多在细节上的更新,但我在本文介绍的将是主要的更新.
1900/1/1 0:00:00这就是加密爱好者会告诉您的关于加密货币的未来前景。然而,正如目前的情况所示,如果稳定币造成的一些短期问题没有得到很好的解决,加密货币可能真的是在月球上使用的货币.
1900/1/1 0:00:00「保险也是一种投资。」你一定在保险推销员的口中听过这句话,如今,以智能合约方式部署在区块链上的去中心化保险将「投资」体现得淋漓尽致.
1900/1/1 0:00:00