牛A区块
又近了一步，以太坊2.0“通道”经过验证
摘要：存款合约是参与以太坊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阶段的信标链，预计其将在今年第二季度发布。
原文：https://bitcoinist.com/ethereum-2-0-gateway-successfully-verified/
作者：MARTIN YOUNG
编译：Wendy
稿源（译）：巴比特资讯（https://www.8btc.com/article/549476）
- 免责声明
- 世链财经作为开放的信息发布平台，所有资讯仅代表作者个人观点，与世链财经无关。如文章、图片、音频或视频出现侵权、违规及其他不当言论，请提供相关材料，发送到：2785592653@qq.com。
- 风险提示：本站所提供的资讯不代表任何投资暗示。投资有风险，入市须谨慎。
- 世链粉丝群：提供最新热点新闻，空投糖果、红包等福利，微信：juu3644。
