又近了一步，以太坊2.0“通道”经过验证

以太坊2.0的开发正在不断实现新的突破，该网络最重要的智能合约之一刚刚被成功验证。

技术初创公司Runtime Verification已经成功完成了以太坊2.0存款合约的形式验证。

“虽然我们在存款合约形式验证的过程中发现了几个重大的问题，其中一些问题是由隐藏的Vyper编译器bug引起的，但是在最新的版本（v0.10.0）中，所有的存款合约问题都得到了适当的修复。”

根据该公司发布的公告，存款合约是参与以太坊2.0的“通道”。新的PoS信标链（Beacon Chain）上的验证者需要通过以太坊1.0网络向存款合约发送交易来存入ETH。

存款合约会记录交易历史并将这些资金锁定在以太坊1.0链上，以便以后在信标链上进行赎回。这类智能合约采用Merkle树数据结构，可以有效地存储存款历史。

以太坊2.0的协调员Danny Ryan证实，这项形式验证是（以太坊2.0）最后的障碍，他补充说：

“这是主要的审核和验证。这个合约和形式验证的过程现在正在进行公开审查。”

目前针对这个存款合约没有其他审计计划，但预计在2月针对信标链的审计会有两个。

上周有报道称，22000个活跃的验证者正在测试上运行第一个以太坊2.0客户端。

这些客户端的测试网可能在创世区块测试网之前开始互相连接，这预示着第一个PoS部署的实现。

今年年初，9个独立团队开始部署第0阶段的信标链，预计其将在今年第二季度发布。