Ben Edgington       2021-08-14

来源 | What's New in Eth2

信标链规范在 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 余额量。

Altair 升级

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

🚨 如果你正运行 Pyrmont 测试网上的验证者节点 🚨

请于周四之前升级你的客户端！

合并 (The Merge)

读者应该知道 EIP-3675 是 Eth1 执行链与 Eth2 共识链合并的规范吧？Mikhail Kalinin 在 Ethereum Cat Herder 的 PeepAnEIP 系列第 41 期深入解释了 EIP-3675。

Nethermind 从 Eth1 角度讨论了 The Merge 的一些重要方面，这里是其推特短文：https://twitter.com/nethermindeth/status/1424812633266528259

StakeHouse 社区会议第 5 期于 8 月 11 日进行。关注 GUI 客户端安装程序和其他项目的进展。点击此处查看团队的更新以及项目想法列表。欢迎大家为此提供帮助！

客户端多样性仍然是一个宽泛的话题。为了让 Staking 社区变得更加多样化，EthStaker 和 StakeHouse 的 Colfax 制定了一些很棒的原则。

关于这一点，有很多值得欣赏的地方，我很乐意看到 Colfax 列出的点能够实现。然而，这一经典路线试图使 Eth2 客户端完全可互换；而确保尽可能容易地切换客户端，必然会使它们在某种程度上难以区分。正如我与 Colfax 讨论过那样，我认为还可以考虑另一种替代方案。

虽然我接收客户端之间完全可替代这一解决方案，但这确实让产品经理的心沉了一下。在 Teku 团队中，我们特意采用了不同的方法。在我看来，促进客户端多样性的另一种方法就是让它们“截然不同”。也就是说，针对特定的用户群体和用例优化客户端。Nimbus 专注于低功耗设备，而 Teku 专注于机构质押市场，即专攻支持专业质押者的产品研究。我想知道通过这种方式是否同样能很好地实现客户端多样性。

最终，我们可以明智地根据标准来设法适应这两种方法。毕竟，无论产品的明确重点是什么，Teku 客户端仍然是个人质押者的绝佳选择。

Rémy Roy 在他发布的一篇详细指南的基础上，就如何监控验证者节点做了一个很棒的讲解视频。里面的内容非常值得学习！

Beaconcha.in 的“验证者监控应用程序”做得越来越好了。节点运营者可以运行一个“客户端指标浏览器”，从而将自己的节点数据导入应用程序。Lighthouse 实际上不需要这个浏览器就能够导入节点数据，Teku 团队也在研究本地支持导入数据这个功能。

去中心化质押

SSV 社区会议第 2 期于 8 月 11 日进行。Alon Muroch 展示了 SSV 网络公共测试网的发布。可以访问这个新网站以了解更多信息并参与进来。

(SSV 指的是“秘密共享验证者, Secret Shared Validator”，我个人认为这个名字有够奇怪的，叫做“分布式验证者”或者“弹性验证者”更好。)

同时，Rocket Pool 测试网的阶段 4 已经开始了，模拟完全开放的 Rocket Pool。

我对未来的去中心化质押感到无比兴奋！我们非常需要这些技术。

释义性文章

我在 Enterprise Ethereum Alliance Virtual Meetup (以太坊企业联盟虚拟会议) 上讨论了 Eth2 的话题。正如我在推特上所说的那样，我对以太坊企业基本上一无所知，所以这只是我很平常的演讲，加上一些额外的废话。如果读者想了解我们现在的状况以及我们是如何走到这一步的，那么这值得一看。

如果你更喜欢推特的形式，Pastry 发了一条推特长文解释 Eth2.0 会有什么。

Bison Trails 的 Viktor Bunin 更新了 eth2 update 015 期。

目前，信标链上区块需要两个 epoch 的时间完成敲定，大概 13 分钟。最终确定性的延迟意味着验证者有机会重组最近的链，例如在时间强盗攻击 (time bandit attack) 中，这不利于改善稳定性和用户体验。如果单个 slot 之后就完成某种程度的经济最终确定性 (即重组链的成本很高)，那就太好了。Vitalik 在其发布的文章《基于委员会的累积最终确定性模型》(A model for cumulative committee-based finalit) 中提出了这样的一种机制。这将是未来执行 Casper CBC 共识的另一种选择。这可以降低最小质押数的门槛，允许更多验证者参与。

分离分片构建者和分片区块提议者的角色的想法变得更具有实质性。早期的设计已经合并到分片规范中。其主要目标是使 MEV 民主化，以便其价值不仅仅被大型质押池所捕获，并且还有其他好处。欢迎对这个提案进行评论！

关于分片的话题，这里有一篇文章讨论了是否应该一开始就上 64 个分片？文章提议最初少一点分片也许会好些，以便减少区块空间可用性的供应冲击。有趣的事实：规范中分片数量的最大值仍为 1024 —— 我们已经设想分片的数量从较少开始，然后慢慢增加到那个数值。

实现者会议

第 70 次会议于 8 月 12 日进行。

• UTC 时间 8 月 21 日星期六 18:00：EthStaker 社区会议 #18，Grandine Beacon Chain 客户端的 Grigaitis 参加。

• UTC 时间 8 月 25 日星期三 16:00：StakeHouse 社区会议 #6 (如果你想加入，请在 Discord 上发送colfax#1983。)

• Prysmatic Labs 发布了文章《Prysm V2 的更新内容》。在信标链主网 Altair 升级之前，Prysm 安装需要更新到 V2 版本。还有其他一些重要的更新。