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

Wendy 发布在 区块链 154899

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

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

ethereum

“虽然我们在存款合约形式验证的过程中发现了几个重大的问题,其中一些问题是由隐藏的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客户端。

1

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

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

本文链接:https://www.8btc.com/article/549476
转载请注明文章出处

评论(1)
登录 账号发表你的看法,还没有账号?立即免费 注册