找回密码
 立即注册

扫一扫,登录网站

首页 快讯 查看内容
  • 1282
  • 1
  • 分享到

以太坊2.0新进展:信标链规范在Dafny语言中的正式验证已完成

2021-8-15 21:07

8月15日消息,ConsenSys研究员、以太坊2.0开发者Ben Edgington在披露的以太坊2.0新进展中表示,信标链规范在Dafny语言中的正式验证已完成,另外,以太坊2.0API规范已更新至v2.0.0,为Altair升级做准备。Altair升级的一个主要目的是使轻客户端能够在以太坊2.0网络中高效运行。在研究进展中,目前信标链上区块需要两个epoch的时间完成敲定,大概13分钟,最终确定性的延迟意味着验证者有机会重组最近的链。
版权申明:本内容来自于互联网,属第三方汇集推荐平台。本文的版权归原作者所有,文章言论不代表链门户的观点,链门户不承担任何法律责任。如有侵权请联系QQ:3341927519进行反馈。
标签: 信标链
相关新闻
发表评论

请先 注册/登录 后参与评论

    回顶部