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

发表评论
56 views

A+

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

免责声明

发文时比特币价格：$43249

当前比特币价格：[crypto coins=”BTC” type=”text” show=”price”]

当前比特币涨幅：[crypto coins=”BTC” type=”text” show=”percent”]

免责声明：

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

路远网不对网站所发布内容的准确性，真实性等任何方面做任何形式的承诺和保障；

网站内所有涉及到的区块链（衍生）项目，路远网对项目的真实性，准确性等任何方面均不做任何形式的承诺和保障；

网站内所有涉及到的区块链（衍生）项目，路远网不对其构成任何投资建议，用户由此造成的损失由用户自行承担，与路远网没有任何关系；

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