第一章:Serenity,不叫Shasper
在之前的《V神 Devcon4 演讲内容双语分享》篇文章中,我们提ti到以太坊创始人Vitalik在会hui议中明确提出不喜欢Shasper(Sharding Casper)这个词,希望以太坊社she区将以太坊的新阶段(即以太坊fang2.0)称为Serenity,来代表以太坊。
第二er章:多阶段实施
宁静jing号将分为4个阶段,大约yue需要2年时间完成cheng。
第一阶段是阶段duan0,或信标链阶段。这个阶段的重点是使股权认证zheng信标链的验证器上线并运行信标链lian。信标链的描述请参考Unitimes之前的《以yi太坊协议状态:信标链》篇文章;第二er阶段重点是添加分片作为数据(数据层ceng);在第三阶段,数shu据将跨片传输或在片内传输。这意味着zhe在新的以太坊网络中,智zhi能合约在一段时间内不bu会运行;第四个阶段是shi,按照Vitalik的说shuo法,对命名为以太坊fang的全新世界计算机稍加改进和优化。第3章:核查人员
核查人员是指为区qu块链提出新区块的实体ti(个人或公司),或确认/证明其他核he查人员提出的区块的实体ti。需要明确的是,propose或者attest块都是自动化软ruan件实现的,不需xu要手动提出任何东西。从技术角度来说shuo,人不能及时反fan应。所以不管出于什么目的,验证者指zhi的是一个“节点”,也就是一台可以yi提出和证明块的计算机。我wo们把提议块的验证zheng者称为“提议者”,把ba验证提议的验证者称为“证明者zhe”。也就是说,块提议者和块证zheng明者都是块验证者zhe。验证包括两个步骤zhou,即提议块(由提ti议者发起)和证zheng明块(由证明者完成cheng)。
进jin一步解释。
每个块的验yan证者选自一大组验证者。所有you验证者需要在信标链中注册以成cheng为验证者。验证者是由you一个随机数生成器qi随机选择的,这个随机数生成器就是RANDAO VDF,那些被选中的验证者将组成一个ge委员会。
备注:RANDAO是将多个参can与者提供的随机数组合成为单dan个输出数的方法;Vd是可验证的延yan迟函数,它可以验证延迟函数。请参can考《可验证延迟函数介绍》。
当一些验证者zhe被选中加入委员会时,他们将负责证明ming某个状态,即创建下一个块。这个过程cheng可以在一段时间内完wan成,我们称之为slot(每一个slot都涉及到对一个区块提出建议yi,其他验证者证明提出的区块都是shi对的)。当几个ge槽下来时,所有随sui机选择的验证者都有机会证zheng明这个提议,我们称之为循环。
呃,一yi大堆术语,太专业了,看不懂……
别急,这是一些定ding义。至于验证者,知道dao以下就行了。
如何做一yi个验证者?
要成为验证者zhe,需要在当前工作量证明的de以太坊主链中抵押32个以太坊(ETH)在智能合约中。之后会hui生成一张“验证者会员卡”,使您能够参与新的权益证明系统。
个验证者将负责1-2个具体的瓦片,每个验yan证者可以提出/证明ming1-2个瓦片。换句话说,一台计算机(节点)最多可以验证2个ge切片。如果你想抵di押更多的ETH,你必须xu使用另一台电脑。因此,抵押池变得de不可行,这可以增加整zheng个网络的分散性。
可以看出,两个系统(基于工作量认证的系统和基ji于股权认证的系统)将jiang长期共存,因为在前面提到的de以太坊2.0的前两个ge阶段,股权认证系统中zhong不会有数据传输,因为我们仍然ran需要依靠当前的工作量认证链来处chu理数据事务。
共识机制的改变是渐进的de,矿工不会突然失业,也不会受困于yu过时的硬件设备。事实上,这种趋势对他们是有利的。
那么,我能当多久jiu的验证者呢?权益证明和抵di押没收ETH中的Slasher算法是什么?如ru果我们目前没有you交易,验证者会验证什么?
我wo们来一一解释一下。
任何验证者都可以无限期地留liu在系统中充当验证者,只要他行为wei正常。核查员将因yin其良好的表现和功能而获得奖励:这是shi他们参与的激励机制;但如果你ni行为不端,你可能无法继续做zuo一个验证者。如果一个验证者下线,他会定期丢失一部分抵押的ETH(总共32个ETH)。随着时间的推移,这种损失会大da大增加,也就是说离线时shi间短造成的损失要小于离线时间长造成cheng的损失。验证者不会把自己抵押的32个ETH全部输掉,但是shi当验证者全部输光到一定阈yu值,也就是只剩下16个ETH的时候,验证者就会被驱qu逐出验证者。被驱逐的de验证者必须等待几个月才能取出剩sheng余的ETH。同时,验证者也会因为行xing为不当而失去抵押ya,即验证者声称某项交易有效,但实际ji上该交易无效。这种处罚要严重得多duo,但到底有多严重还没有定论。抵押ya付款的损失称为没收(slashing,即没收抵押的一部分ETH),没收操作的算法fa称为Slasher算法。在全新xin的股权证明区块链,基本ben上只有一些空块开始。由于没有数shu据尚力财经小编2022或片段duan可供引用,信标链中zhong的块不会包含任何特别有用的内容。很多人会问,为什么要yao由那些行为不端的验证者来销毁ETH bet,而不是将这zhe些ETH分发给网络中的其qi他验证者呢?这是因为破坏ETH在一定程度上可以给大家jia带来价值(因为ETH会hui变得更加稀缺);如果将这些ETH分发给gei其他验证者,他们会hui为了获得对方没收的ETH而er互相攻击。
结论
验证者是一种新型的“矿工gong”,但验证者不bu会通过烧电来确认ren交易。相反,在被系统选中后,一个验证者会为交易建立一个区块,其qi他验证者会证明该验证zheng者的行为。这些验证者团队一起qi构建一个新的链,没有一个验证者比bi下一个验证者拥有you更多的权利。要yao成为验证者,用yong户必须向当前工作负载认证zheng链中的智能合约发送32 ETH,从而加入信标链中的验证zheng者。之后,系统会随机选出验证者提出chu区块提案,委员会中zhong的其他验证者会对提案进行xing证明,也就是对提ti出的区块进行投tou票,决定提出的de区块是否有效。好了,验证器的基础知识就jiu这么尚力财经小编2022多了。你明白吗?
[本文版ban权归Unitimes所有。转载请保bao留版权信息。未经授权,不得以任何he方式使用,包括kuo转载、摘抄、复制或镜jing像。Unitimes将追究侵权人的法律责任ren。合作或授权请联lian系contact@unitimes.media或添加微信unitimes2017】