注：原文作者是以太坊2.0开发者BenEdgington。
信标链
Dafny语言的信标链规范形式化验证已经结束！这是我优秀的ConsenSys同事JoanneFuller和FranckCassez共同完成的，这是一项巨大的成就，它也是用Dafny语言完成的有史以来最复杂的项目之一。这项工作有望为我们未来的协议开发和分析的高度严谨性奠定基础。你可以从repo中了解更多信息并自己运行证明。我相信一些博客文章和论文很快就会出现。
此外，以太坊2.0API规范已更新至v2.0.0?，这为Altair升级做好了准备。
Altair升级的主要动机之一是使轻客户端能够在以太坊2.0网络中高效运行，这使得用户能在浏览器中无需信任地运行轻客户端，而不是通过Infura或其他受信任的第三方发送交易。为了让我们了解需要什么，AlexStokes撰写了一篇关于引导信标链轻客户端生态系统?的文章。
以太坊L2网络总锁仓量为60.5亿美元:金色财经报道，据L2BEAT最新数据显示，以太坊Layer2（L2）上总锁仓量为60.5亿美元。其中锁仓量最高的为扩容方案Arbitrum，锁仓量30.4亿美元，占比50.33%。其次是dYdX，锁仓量9.68亿美元，占比16%。[2022/3/19 14:06:26]
另一个有点有趣的消息是，以太坊2.0存款合约刚刚超过了WETH合约，成为了目前ETH存款数量最多的智能合约。
Altair升级
Pyrmont测试网的Altair升级时间已经确定，据悉，该测试网将在UTC时间8月19日中午12点左右进行升级。
注意：如果你在Pyrmont测试网上运行验证器，请在星期四之前升级你的客户端。
合并
现场 | V神：rollups和分片结合以太坊TPS可达到2.5万至10万:金色财经现场报道，首届区块链服务网络（BSN）全球技术创新发展峰会暨湖北区块链技术创新大会11月27日在武汉举行。以太坊创始人Vitalik在会上发表主旨演讲表示，rollups可以提高扩展性，把以太坊的TPS从15-45提高至1000-4000。再把rollups和分片结合在一起，可以把以太坊的TPS提高到2.5万至10万。他还表示，rollups已经基本准备好了，但分片将需要更多的时间。企业会用私有链的原因之一是公链的可扩展性非常差，但以太坊 2.0将有非常好的扩展性。[2020/11/27 22:19:49]
现在大家已经知道EIP-3675?就是执行以太坊1.0与以太坊2.0共识链合并的规范，对吧？对此，MikhailKalinin进行了非常深入的研究，感兴趣的读者可以看他的讲解视频?。
当前以太坊上DeFi协议总锁仓量约合131.1亿美元:据欧科云链OKLink数据显示，截至今日18时，当前以太坊上DeFi协议总锁仓量约合131.1亿美元。其中排名前三的分别是Uniswap 30亿美元（+0.41%），Maker 21.1亿美元（+0.84）以及WBTC 15.7亿美元（+4.59%）。[2020/10/28]
然后是一条来自Nethermind的简短推文?，其从以太坊1.0的角度讨论了合并的一些重要事宜。
Staking
StakeHouse第五次社区电话会议于8月11日举行。这次会议关注了GUI客户端安装程序以及其他项目的进展。这里是团队的更新?以及一个项目创意列表。
声音 | 风投公司Accomplice合伙人：“以太坊杀手”社区帮助探索新用例:风险投资公司Accomplice合伙人Ash Egan最近讨论了他对当前加密资产投资前景的看法。Egan重点介绍了“以太坊杀手”社区内正在进行的创新，以及它如何“扩展沙箱”，从而允许探索加密生态系统的新用例。此外，其表示，虽然Facebook和其他非金融组织等公司已经负责加密创新，但“希望任何人都能参与加密网络”。关于大规模采用，Egan声称用户需要货币化，强调广告和推荐等步骤。因此，在流动性层，围绕将本地资产与内部代币挂钩以提供更多股息或治理权利的开发可能性更高。（AMBCrypto）[2019/11/20]
客户端多样性仍然是一个巨大的话题，EthStaker的Colfax和StakeHouse制定了一些重要的原则，以使staking社区变得更加多样化。
有很多值得喜欢的地方，我很想看到这些事情的发生。然而，这条经典路线试图让以太坊2.0客户端完全可互换。正如我和Colfax讨论过的那样，我认为还有另一种方法可以考虑。
虽然我认为客户端完全可以替代，但这确实让产品经理的心有点沉。在Teku团队中，我们故意采取了不同的方法。在我看来，促进客户端多样性的另一种方法是使它们彼此完全不同。也就是说，针对特定用户群和用例优化客户端。比如说，Nimbus专注于低功耗设备，而Teku专注的是机构质押市场。我想知道，通过让特定的客户端调整到特定的用户群，我们是否能够同样实现良好的部署多样性。
最终，我们可能会通过明智地使用标准来适应这两种方法。毕竟，无论明确的产品重点是什么，Teku仍然是个人质押者的高质量客户端。但我觉得，你可能有兴趣瞥一眼我的世界。
工具
RémyRoy根据他的详细指南，制作了一个很棒的科普视频?，它可以教你如何监控你的验证器，这里有一些很棒的学习资料。Beaconcha.in?的验证器监控应用程序继续变得越来越好。有一个客户端度量导出器，你可以运行它将节点的数据导入应用程序。Lighthouse实际上是开箱即用的，不需要导出器，我们也在Teku中进行了本地支持。
去中心化Staking
SSV社区第二次电话会议于8月11日举行，AlonMuroch介绍了SSV网络公共测试网的发布情况，此外还有一个新网站?可供访问。
与此同时，RocketPool测试网?第4阶段已经启动，其模拟了一个完全开放的RocketPool。
我对去中心化Staking的未来感到兴奋！我们非常需要这些技术。
优秀科普贴
上周，我参加了企业以太坊联盟的虚拟聚会?，这次聚会谈论了以太坊2.0的所有事情。正如我在Twitter上所说的，我对企业以太坊基本上一无所知，所以这只是我通常的演示。如果你想了解我们现在的位置以及我们是如何来到这里的，那就值得一看。如果你更喜欢推文形式，这里有一个来自Pastry的以太坊2.0科普帖子?。这是来自ViktorBunin的第15期以太坊2.0更新文章?。
研究
目前，信标链在经历两个epoch后后才最终确认，这种延迟意味着验证器有机会重组最近的链，这对稳定性和用户体验不利。如果仅在一个slot后就有某种程度的经济最终性，那就太好了。Vitalik在基于委员会的累积终结性模型中提出了这样一种机制?，这将是未来实施CasperCBC共识的替代方案。它可以减少最低质押量，从而允许更多的验证者。分离分片构建者和分片blob提议者角色的想法?变得越来越重要。关于该想法的早期设计已合并到分片规范中，其主要目标是使得MEV民主化，以便其价值不仅仅被大型staking池子捕获，除此此外，该想法还有一些其他的好处。关于分片的主题，这里有一篇关于64个分片是否是初始阶段正确分片数字?的讨论贴，贴主建议开始时分片数量越少越好，以减少区块空间可用性的供应冲击。有趣的事实：规范中分片的最大数量仍然是1024个，我们已经设想从低数量的分片开始，然后逐渐增加分片数量。
定期电话会议
第70次实施者电话会议于??8月12日举行。
议程?视频?我的速记?
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。