• 手机下载链向财经官方IOS和安卓版APP

      链向财经APP下载

      使用环境
      iOS 9.0及以上
      Android 4.3及以上

    • 链向财经官方微信公众号

      链向财经官方微信公众号

      微信号:LXcaijing

    • 链向财经官方QQ群

      链向财经官方QQ群

      群号:570828491

    • 意见反馈
    • 回到顶部
    • 7782
    • 3
    • 喜欢
    • 举报
    又近了一步,以太坊2.0“通道”经过验证

    01-25 01:40

    标签以太坊以太坊2.0

    来源:巴比特

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

     

    已有0人喜欢

    本文经授权发布,不代表链向财经立场。如若转载请标注文章来源:链向财经(www.chainfor.com)

    为了您能更及时的获取到最新热门资讯,请关注链向财经微信公众号:LXcaijing

    发表评论
    请先 注册 / 登录 后参与评论
    已有3发布
      已查看全部
      举报
      • 内容涉嫌抄袭,代表月亮消灭他/她
      • 发布不实消息,画个圈圈诅咒他/她
      • 诱导投资,放毛毛,揍他/她
      • 侵犯名誉、隐私,这个借一步说话
      • 其他
      具体描述(选填):
      取消提交