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

  • A+
所属分类:7*24 快讯
imtoken

8月14日,ConsenSys研究员、以太坊2.0开发者Ben Edgington在披露的以太坊2.0新进展中表示,信标链规范在Dafny语言中的正式验证已完成,另外,以太坊2.0 API规范已更新至v2.0.0,为Altair升级做准备。Altair升级的一个主要目的是使轻客户端能够在以太坊2.0网络中高效运行。在研究进展中,目前信标链上区块需要两个epoch的时间完成敲定,大概13分钟,最终确定性的延迟意味着验证者有机会重组最近的链。

免责声明

发文时比特币价格:$43249

当前比特币价格: $47,100.37

当前比特币涨幅: -2.52%

免责声明:

本文不代表漫兮网立场,且不构成投资建议,请谨慎对待。用户由此造成的损失由用户自行承担,与漫兮网没有任何关系;

漫兮网不对网站所发布内容的准确性,真实性等任何方面做任何形式的承诺和保障;

网站内所有涉及到的区块链(衍生)项目,漫兮网对项目的真实性,准确性等任何方面均不做任何形式的承诺和保障;

网站内所有涉及到的区块链(衍生)项目,漫兮网不对其构成任何投资建议,用户由此造成的损失由用户自行承担,与漫兮网没有任何关系;

漫兮区块链研究院声明:漫兮区块链研究院内容由漫兮网发布,部分来源于互联网和行业分析师投稿收录,内容为漫兮区块链研究院加盟专职分析师独立观点,不代表漫兮网立场。

  • 我的微信
  • 这是我的微信扫一扫
  • weinxin
  • App下载
  • 漫兮网App下载
  • weinxin
Pi Network 中国
漫兮

发表评论

:?: :razz: :sad: :evil: :!: :smile: :oops: :grin: :eek: :shock: :???: :cool: :lol: :mad: :twisted: :roll: :wink: :idea: :arrow: :neutral: :cry: :mrgreen: