以太坊2.0存款合约完成形式化验证，ETH转PoS进入倒计时？
在10月8日-10月11日举行的Devcon 5会议上，“以太坊2.0”显然成为了这届开发者大会的主要话题。而种种迹象表明，以太坊2.0平台有望在明年第一季度上线。
据以太坊2.0开发者Danny Ryan表示，以太坊2.0的存款合约已完成“形式化验证”。
据悉，以太坊2.0的存款智能合约是通过Vyper语言编写的，而Vyper是一种类似于Solidity的智能合约编程语言，但它在语法上更像是python，对此，Ryan解释称：
“在识别并修复了一个Vyper编译器漏洞之后，存款合约已完成形式化验证，而当（BLS）标准化工作完成之后，合约就可以启动了。”http://p3.pstatp.com/large/pgc-image/ReIu6qbCyg1ufT目前，开发者们正在完成BLS签名方案的标准化工作，而这种密码学方案已得到了一些新区块链项目的采用。
对此，以太坊2.0客户端PegaSys的开发者Ben Edgington表示：
“采用一种通用的方法来促进未来的互操作是有意义的。”Ryan则补充说：
“尽管BLS签名标准化工作已接近完成，但在签名方案被认定为稳定之前，我们还不能部署合约。”上个月，Edgington表示BLS的更变应该需要几个星期就可以完成，而存款合约很可能会在以太坊Devcon大会开始后不久便可以推出。
以太坊2.0升级前还需要经历大约3个月的测试期
实际上，以太坊2.0的推出时间，更多地会取决于用户将ETH存入到存款合约中的速度，而信标链的启动就需要存款合约中的ETH达到300万。
而在初期，这种转移只是单向的，这意味着信标链上的币无法转回到以太坊1.0 PoW链。
另外，以太坊联合创始人 Vitalik Buterin在上个月提出了以太坊2.0 链的相关收益情况，这有助于参与者更好地了解以太坊2.0。
http://p3.pstatp.com/large/pgc-image/ReIu6r7IgeY8OHhttp://p1.pstatp.com/large/pgc-image/ReIu6rrFYHiI6Y由于2.0是一条全新的区块链，这意味着将会有新的创始区块。而在其创立之前，我们还需要等待多个客户端的测试网，预计不久之后开发者们也将发布。
假设一切顺利，那么测试网经历三个月的公共测试之后就应该足够了。
再然后，便是以太坊2.0 信标链的正式上线了。
免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！
页:
[1]