以太坊2.0新进展:信标链规范在Dafny语言中的正式验证已完成
决策财经 IF9.CN 消息,8 月 15 日,以太坊 2.0 开发者 Ben Edgington 表示,以太坊 2.0 的信标链规范在 Dafny 语言中的正式验证已完成,现在以太坊 2.0 的 API 规范已更新至 v2.0.0,正在为 Altair 升级做准备。Altair 升级的主要目的是让轻客户端在以太坊 2.0 网络中高效运行。目前,信标链上的区
为 Web3 世界保存记忆