信标链
Dafny语言的信标链规范形式化验证已经结束！这是我优秀的ConsenSys同事Joanne Fuller和Franck Cassez共同完成的，打开开始菜单并搜索cmd。现在，这是一项巨的成就，在本节中，它也是用Dafny语言完成的有史以来最复杂的项目之一。这项工作有望为我们未来的协议和分析的高度严谨性奠定基础。你可以从 repo 中了解更多信息并自己运行证明。我相信一些博客文章和论文（可能还有视频演示）很快就会出现。
此外，单击以管理员身份运行。2、之后，以太坊2.0 API 规范已更新至 v2.0.0，键入以下命令，这为Altair升级做好了准备。
Altair升级的主要动机之一是使轻客户端能够在以太坊2.0网络中高效运行，然后按Enter键以从旧计算机上注销产品密钥。smlgr.vbs / upk3、现在，这使得用户能在浏览器中无需信任地运行轻客户端，执行另一个命令以从Windows注册表中删除产品密钥。smlgr.vbs / cpky在新计算机上重新激活Windows 10许可1、您已成功从旧计算机中删除Windows 10许可证。现在，而不是通过Infura 或其他受信任的第三方发送交易。为了让我们了解需要什么，移至新计算机并打开与上一节中所述类似的命令提示符。2、用您的实际产品密钥替换xxxxx-xxxxx-xxxxx-xxxxx-xxxxx，Alex Stokes 撰写了一篇关于引导信标链轻客户端生态系统的文章。
另一个有点有趣的消息是，并执行以下命令。Voila，以太坊2.0存款合约刚刚超过了WETH合约，您已成功将Windows 10许可证转移到新系统。slmgr.vbs / ipk xxxxx-xxxxx-xxxxx-xxxxx-xxxxx3、或者，成为了目前ETH存款数量最多的智能合约。
Altair升级
Pyrmont 测试网的 Altair 升级时间已经确定，您可以通过以下路径激活新计算机：“开始”菜单-\设置-\更新和安全性-\激活-\更改产品密钥。在此输入许可证密钥以完成操作。4、如果新计算机仍未激活，据悉，该测试网将在UTC 时间 8 月 19 日中午 12 点左右进行升级（具体时间为epoch周期高度达到61650，也就是在1,972,800个slot时间）。
合并（The Merge）
现在家已经知道EIP-3675就是执行以太坊1.0与以太坊2.0共识链合并的规范，对吧？对此，Mikhail Kalinin进行了非常深入的研究，感兴趣的读者可以看他的讲解视频。
然后是一条来自Nethermind的简短推文，其从以太坊1.0的角度讨论了合并的一些重要事宜。
Staking
StakeHouse 第五次社区电话会议于 8 月 11 日举行。这次会议关注了GUI 客户端安装程序以及其他项目的进展。这里是团队的更新以及一个项目创意列表。
客户端多样性仍然是一个巨的话题，EthStaker的Colfax和 StakeHouse制定了一些重要的原则，以使 staking 社区变得更加多样化。
有很多值得喜欢的地方，我很想看到这些事情的发生。然而，这条经典路线试图让以太坊2.0客户端完全可互换（确保尽可能容易地切换客户端，必然会使它们在某种程度上难以区分）。正如我和 Colfax 讨论过的那样，我认为还有另一种方法可以考虑。
虽然我认为客户端完全可以替代，但这确实让产品经理的心有点沉。在Teku团队中，我们故意采取了不同的方法。在我看来，促进客户端多样性的另一种方法是使它们彼此完全不同。也就是说，针对特定用户群和用例优化客户端。比如说，Nimbus 专注于低功耗设备，而Teku专注的是机构质押市场。我想知道，通过让特定的客户端调整到特定的用户群，我们是否能够同样实现良好的署多样性。
最终，我们可能会通过明智地使用标准来适应这两种方法。毕竟，无论明确的产品重点是什么，Teku 仍然是个人质押者的高质量客户端。但我觉得，你可能有兴趣瞥一眼我的世界。
工具
Rémy Roy 根据他的详细指南，制作了一个很棒的科普视频，它可以教你如何监控你的验证器，这里有一些很棒的学资料。
Beaconcha.in 的验证器监控应用程序继续变得越来越好。有一个客户端度量导出器，你可以运行它将节点的数据导入应用程序。Lighthouse实际上是开箱即用的，不需要导出器，我们也在 Teku 对此进行了本地支持。
去中心化Staking
SSV社区第二次电话会议于8月11日举行，Alon Muroch 介绍了 SSV 网络公共测试网的发布情况，此外还有一个新网站可供访问。
（注：SSV是“密钥共享验证器”-这是一个相当奇怪的名称，它更适合称为“分布式验证器”或“弹性验证器”。）
与此同时，Rocket Pool 测试网第 4 阶段已经启动，其模拟了一个完全的 Rocket Pool。
我对去中心化Staking的未来感到兴奋！我们非常需要这些技术。
优秀科普贴
上周，我参加了企业以太坊联盟的虚拟聚会，这次聚会谈论了以太坊2.0的所有事情。正如我在Twitter 上面所说的，我对企业以太坊基本上一无所知，所以这只是我通常的演示。如果你想了解我们现在的位置以及我们是如何来到这里的，那就值得一看。
如果你更喜欢推文形式，这里有一个来自Pastry的以太坊2.0科普帖子。
这是来自 Viktor Bunin（Bison Trails） 的第15期以太坊2.0更新文章。
研究
目前，信标链在经历两个epoch后（约13分钟）后才最终确认，这种延迟意味着验证器有机会重组最近的链（例如在时间盗贼攻击中），这对稳定性和用户体验不利。如果仅在一个slot后就有某种程度的经济最终性（即重组链的巨成本），那就太好了。Vitalik 在基于的累积终结性模型中提出了这样一种机制，这将是未来实施 Casper CBC 共识的替代方案。它可以减少最低质押量，从而允许更多的验证者进来。
分离分片构建者和分片blob提议者角色的想法变得越来越重要。关于该想法的早期设计已合并到分片规范中，其主要目标是使得MEV民主化，以便其价值不仅仅被型staking池子捕获，除此此外，该想法还有一些其他的好处。
免责声明：文中图片均来源于网络，如有版权问题请联系我们进行删除！
