10月02

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

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

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

Comments are currently closed.