牵牛星升级

注：原作者为以太坊 2.0 开发者 Ben Edgington。

信标链

Dafny语言信标链规范正式验证结束！ 这是由我出色的 ConsenSys 同事 Joanne Fuller 和 Franck Cassez 完成的，这是一项巨大的成就，也是用 Dafny 语言完成的最复杂的项目之一。 这项工作有望为我们未来协议开发和分析的高度严谨奠定基础。 您可以从存储库中了解更多信息并自己运行证明。 我确信一些博客文章和论文（可能还有视频演示）很快就会出现。

此外，以太坊 2.0 API 规范已更新至 v2.0.0‌，可为 Altair 升级做好准备。

Altair 升级的主要动机之一是让轻客户端能够在以太坊 2.0 网络上高效运行，这允许用户在他们的浏览器中以不信任的方式运行轻客户端，而不是通过 Infura 或其他受信任的第三方发送它们。 贸易。 为了让我们了解需要什么，Alex Stokes 写了一篇关于引导信标链轻客户端生态系统的文章‌‌。

还有一个有趣的消息是，以太坊2.0存币合约刚刚超越WETH合约，成为目前存量最多的ETH智能合约。

牵牛星升级

Pyrmont 测试网络的 Altair 升级时间已经确定。 据悉，测试网将于8月19日UTC时间12:00左右升级（具体时间为epoch周期高度达到61650时，即1972800槽时）。

注意：如果您在 Pyrmont 测试网上运行验证器，请在周四之前升级您的客户端。

合并

现在大家已经知道 EIP-3675‌ 是实现以太坊 1.0 和以太坊 2.0 共识链合并的规范了吧？ 对此，Mikhail Kalinin 进行了非常深入的研究，感兴趣的读者可以观看他的讲解视频‌‌。

然后是 Nethermind 的一条简短推文，从以太坊 1.0 的角度讨论了关于合并的一些重要事情。

质押

StakeHouse 的第五次社区电话会议于​​ 8 月 11 日举行。 会议审视了 GUI 客户端安装程序以及其他项目的进展情况。 这是来自团队的更新和项目想法列表。

客户端多样性仍然是一个巨大的话题，EthStaker 的 Colfax 和 StakeHouse 已经制定了一些重要的原则来使质押社区更加多样化。

有很多值得喜欢的地方，我很乐意看到它发生。 然而以太坊升级2.0时间，这条经典路线试图让以太坊 2.0 客户端完全可互换（确保切换客户端尽可能容易，必然使它们有些难以区分）。 正如我与 Colfax 讨论的那样，我认为还有另一种方法可以考虑。

虽然我认为客户端是完全可以替换的，但它确实让产品经理的心沉了一点。 在 Teku Teku 中，我们特意采用了不同的方法。 在我看来，另一种促进客户多样性的方法是让他们彼此完全不同。 也就是说，针对特定的用户群和用例优化客户端。 例如，Nimbus 专注于低功耗设备，而 Teku 则专注于机构质押市场。 我想知道我们是否可以通过将特定客户端调整到特定用户群来实现同样良好的部署多样性。

最终，我们可以通过明智地使用标准来适应这两种方法。 毕竟，无论明确的产品重点如何，Teku 仍然是个人利益相关者的优质客户。 但我想以太坊升级2.0时间，您可能有兴趣看一看 Minecraft。

工具

Rémy Roy 根据他关于如何监控验证器的详细指南制作了一个很棒的科学视频，这​​里有一些很棒的学习材料。 Beaconcha.in‌ 的验证器监控应用程序继续变得更好。 有一个客户端指标导出器，您可以运行它以将数据从您的节点导入到您的应用程序中。 Lighthouse 实际上开箱即用，不需要导出器，我们在 Teku 中也有本地支持。

去中心化质押

第二次 SSV 社区电话会议于​​ 8 月 11 日举行，Alon Muroch 介绍了 SSV 网络公共测试网的启动，以及一个可供访问的新网站。

（注意：SSV 是一个“秘密共享验证器”——这是一个相当奇怪的名称，更恰当地称为“分布式验证器”或“弹性验证器”。）

同时，Rocket Pool 测试网 ‌Phase 4 已经上线，模拟了一个完全开放的 Rocket Pool。

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

优秀的科学帖子

上周，我参加了企业以太坊联盟的虚拟聚会，讨论了以太坊 2.0 的方方面面。 正如我在 Twitter 上所说，我对 Enterprise Ethereum 基本上一无所知，所以这只是我通常的演示。 如果您想了解我们现在所处的位置以及我们如何到达这里，那么非常值得一看。 如果您更喜欢推文格式，请阅读 Pastry 的以太坊 2.0 科学帖子。 这是 Viktor Bunin（Bison Trails）的第 15 篇以太坊 2.0 更新文章。

研究

目前，信标链在两个 epoch（约 13 分钟）后完成，这种延迟意味着验证者有机会重组最近的链（例如在时间窃贼攻击中），这对于稳定性和用户体验非常重要。 不利。 如果仅在一个时隙后有某种程度的经济终结（即重组链的巨大成本），那就太好了。 Vitalik 在基于委员会的累积最终确定性模型中提出了这样的机制，这将是未来实施 Casper CBC 共识的替代方案。 它可以降低最低抵押金额，允许更多的验证者。 分离分片构建者和分片 blob 提议者角色的想法变得越来越重要。 这个想法的早期设计被纳入了分片规范，其主要目标是使 MEV 民主化，这样它的价值不仅可以被大型权益池获取，而且这个想法还有一些其他的好处。 关于分片的话题，这里有一个讨论帖，关于64个分片是否是初始阶段的正确分片数。 发帖人建议，一开始分片的数量应该尽可能少，以减少区块空间可用性的供应冲击。 有趣的事实：规范中的最大分片数量仍然是 1024，我们设想从较少的分片数量开始逐渐增加分片数量。

定期电话会议

第 70 次实施者电话会议于​​ 8 月 12 日举行。

议程‌视频‌我的速记‌