以太坊2.0存款合约完成形式化验证，ETH转PoS进入倒计时？

根据10月8日至11日在日本大阪召开的Devcon 5大会的议程，“以太坊2.0”成为本次开发者大会的主要议题。

种种迹象表明，以太坊2.0平台有望在明年第一季度推出。

据以太坊 2.0 开发者 Danny Ryan 透露，以太坊 2.0 存款合约已经完成“形式验证”。

据悉，以太坊2.0的存款智能合约是用Vyper语言编写的，Vyper是一种类似于Solidity的智能合约编程语言，但在语法上更像python。 对此以太坊转POS后币价会跌，Ryan 解释道：“当发现并修复了一个 Vyper 编译器漏洞后，存款合约已经完成形式化验证以太坊转POS后币价会跌，当（BLS）标准化工作完成后，合约就可以上线了。”

目前，开发者正在完成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。

由于2.0是一个全新的区块链，也就意味着会有一个新的创世块。 在它创建之前，我们还需要等待多个客户端的测试网，预计开发者会尽快发布。

假设一切顺利，在测试网上进行三个月的公开测试应该就足够了。

随后，以太坊2.0信标链正式上线。