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

区块链网络消息，ConsenSys 研究员、以太坊 2.0 开发者 Ben Edgington 在披露的以太坊 2.0 新进展中表示，信标链规范在 Dafny 语言中的正式验证已完成，另外，以太坊 2.0 API 规范已更新至 v2.0.0，为 Altair 升级做准备。Altair 升级的一个主要目的是使轻客户端能够在以太坊 2.0 网络中高效运行。

在研究进展中，目前信标链上区块需要两个 epoch 的时间完成敲定，大概 13 分钟，最终确定性的延迟意味着验证者有机会重组最近的链。

—-

编译者/作者：区块链网络

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。