Eth2 进展更新

来源 | What’s New in Eth2

作者 | Ben Edgington

信标链规范在 Dafny 语言中的正式验证已完成！这项工作由我出色的 ConsenSys Protocols 同事 Joanne Fuller 和 Franck Cassez 共同完成。这是一项巨大的成就，也是 Dafny 有史以来最复杂的项目之一。这项工作应该为我们未来的协议开发和分析的严谨性奠定基础。读者们可以从这里 (https://github.com/ConsenSys/eth2.0-dafny) 了解更多信息并自行运行证明。我相信很快就会有人发布一些与之相关的博客文章和论文 (可能还有视频演示)。

至于其他关于规范的新闻，Eth2 API 规范已更新至 v2.0.0，为 Altair 升级做准备。

Altair 升级的一个主要目的就是使轻客户端能够在 Eth2 网络中高效运行。想象一下大家在浏览器中去信任地运行轻客户端，而不是通过 Infura 或其他受信任的第三方发送交易。为了让大家了解实现这个目标需要做些什么，Alex Stokes 撰写了文章《启动信标链轻客户端生态系统》。

还有一些有趣的新闻：Eth2 存款合约现在已经成为 ETH 余额最多的合约，甚至超过了 Wrapped Ether (WETH) 合约里的 ETH 余额量。

cr：etherscan.io/accounts

Pyrmont 测试网中 Altair 升级的 slot 已确定。Pyrmont 将于 epoch 61650，slot 1,972,800 处升级，即 UTC 时间 8 月 19 日中午 12 点 (再加 7 秒)。