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