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

据 Ethereum2.0 开发者 Danny Ryan 介绍，Ethereum2.0 的存款合约已经完成“形式验证”。

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

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

据 Ethereum2.0 开发者 Danny Ryan 介绍，Ethereum2.0 的存款合约已经完成“形式验证”。

据悉，以太坊2.0的存款智能合约是用Vyper语言编写的，而Vyper是一种类似于Solidity的智能合约编程语言以太坊智能合约的编程语言，但语法上更像python，Ryan解释说：

“在发现并修复了 Vyper 编译器漏洞后，押金合约得到了正式验证，当（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信标链正式上线。