决策财经 IF9.CN 消息，8 月 15 日，以太坊 2.0 开发者 Ben Edgington 表示，以太坊 2.0 的信标链规范在 Dafny 语言中的正式验证已完成，现在以太坊 2.0 的 API 规范已更新至 v2.0.0，正在为 Altair 升级做准备。Altair 升级的主要目的是让轻客户端在以太坊 2.0 网络中高效运行。目前，信标链上的区块需要两个 epoch 的时间完成验证，大概耗时 13 分钟，而最终确定性的延迟意味着验证者有机会重组最近的链。