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

2020-01-24 巴比特 11877浏览

以太坊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阶段的信标链,预计其将在今年第二季度发布。

声明:本文版权归原作者所有,发布此文为传递更多市场信息,不代表币快报的观点和立场,请自行参考。如作者信息标记有误,请第一时间联系我们处理!