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