原文：What’sNewinEth2-13August2021
作者：BenEdgington
译者：Daisy
信标链
ConsenSys研究员JoanneFuller和FranckCassez完成了信标链规范在Dafny语言中的验证，为未来的协议开发和分析奠定了基础。你可以从这里了解更多信息并自行运行证明。
译者注：Dafny是微软推出的一种编程语言，用于程序正确性验证。
此外，Eth2API规范已更新至v2.0.0，为Altair升级做准备。
Altair升级的目的之一是让轻客户端在Eth2网络中高效运行，以便用户可通过浏览器去信任地运行轻客户端，而不是通过Infura或其他受信任的第三方发送交易。你可以查看AlexStokes撰写的文章《启动信标链轻客户端生态系统》了解更多。
数据：合并后以太坊流通量已减少超4万枚:3月1日消息，据 ultrasound.money 数据显示，以太坊自合并以来流通量减少量首次超 4 万枚，目前减少 40,078 枚左右。当前以太坊流通量约为 120,481,062 枚。[2023/3/1 12:36:45]
趣闻：Eth2存款合约已超过wrappedEther合约，成为ETH持有量最多的合约。
数据来源：https://etherscan.io/accounts
Altair升级
信标链Altair升级在测试网Pyrmont的启动时间已确定为epoch61,650，slot1,972,800，即UTC时间8月19日中午12点。
动态 | Huobi在以太坊区块链增发约190.56万HUSD:WhaleAlert数据监测，北京时间下午1点05分，Huobi在以太坊区块链增发1,905,611?枚HUSD（1,905,611 USD），交易哈希为：0x3907605faa7c2a2057f86958baf7adcfe307b068be3c41cdf19c385ed1d87c76。[2020/2/7]
合并
EIP-3675是Eth1执行层与Eth2共识层合并的规范。ConsenSys研究员MikhailKalinin在EthereumCatHerder的PeepAnEIP系列中详细解释了EIP-3675。
以太坊客户端Nethermind从Eth1角度出发，在推特上发表了其对?EIP-3675的看法。
动态 | DeFi正在推动以太坊的去中心化:在一份由ConsenSys研究人员发布的名为“衡量区块链的去中心性”的文章中，研究人员Everett Muzzy和Mally Anderson试图量化“以太坊网络随时间的去中心性”。在查看了各种链上指标后，他们得出结论，由于DeFi热潮和其他因素，即使在矿工和矿池变得更加集中的情况下，以太坊也变得更加去中心化。（Decrypt）[2019/12/23]
质押
8月11日StakeHouse举行了第5期社区会议。如果你想了解GUI客户端安装程序和其他项目的进展，可以点此查看。
为了实现客户端多样性，来自EthStaker和StakeHouse的Colfax提出了一些很棒的建议。我很乐意看到Colfax列出的这些点能一一实现。
动态 | 以太坊ERC-1155标准创建成功，混合ERC-20与ERC-721标准:以太坊Github发布消息，以太坊ERC-1155标准创建成功，该标准混 ERC-20与ERC-721标准。据悉，这是一个管理多个代币类型的合约的标准接口。单个已部署的合约可以包括同质代币、非同质代币或其他配置(例如半同质代币)的任何组合。[2019/6/18]
好的数据和用户教育客户端UI将客户端添加至DappNode和AvadoCloud构建多客户端UI标准化密钥管理客户端切换工具通过PRA构建客户端套装软件关于客户端切换，我个人能够接受让客户端同质化以便于切换的方案，但这会让产品经理有点沮丧。我认为可以考虑另一种方案——让客户端「截然不同」。即每个客户端针对特定的用户群体和用例进行优化。Nimbus专注于低功耗设备，而Teku专注于机构质押市场，通过这种方式或许也能促进客户端多样性。
我们还可以设法双管齐下，把这两种方法都用起来。
工具
软件开发员RémyRoy撰写了一份详细的验证器监控指南，并基于该指南做了一个很棒的讲解视频。Beaconcha.in对验证器监控App进行了优化。你可以通过客户端数据导出工具，将自己的节点数据导入App。Lighthouse不需要这个工具就能够导入节点数据，Teku团队也在研究原生支持数据导入的功能。?
去中心化质押
8月11日SSV举行了第2期社区会议，BloxStaking的CEOAlonMuroch展示了SSV公共测试网启动。
同时，RocketPool测试网已进入阶段4——模拟完全开放的RocketPool。
好文推荐
想了解Eth2的现状以及发展历程吗？那不妨看看以太坊企业联盟虚拟会议。最近大家关注的焦点都在EIP-1559上，但它其实只是以太坊升级至「宁静」或者Eth2的一小步，未来还会有更多重大升级，Pastry发了一条推特长文对这些升级进行了阐述。BisonTrails的ViktorBunin发布了Eth2Update015期。研究
目前，信标链上的区块需要两个epoch的时间才能实现最终确定性。确定性的延迟意味着验证者有机会通过时间强盗攻击等方式重组最新生成的区块，对信标链的稳定性造成威胁。
当一个slot之后重组链的成本很高时，新区块也许就能完成某种程度上的经济最终确定性。以太坊创始人Vitalik在其发布的文章《基于委员会的累积最终确定性模型》中就提出了这样的一种机制。它将是以太坊未来执行CasperCBC共识的另一种方式，还能降低Eth2质押的数额门槛，允许更多用户进入Eth2网络成为验证者。
将分片区块构建者和分片区块提议者进行角色分离的想法变得更加落地。早期设计已合并至分片规范中，其主要目标是消除MEV的信息不对称性，使MEV民主化以便其价值不仅仅被大型质押池所捕获。关于分片，这篇文章《逐步推出分片》讨论了是否应该一开始就启动64个分片。作者提议最初启动的分片数量不宜太多，以缓冲区块空间可用性的供应冲击。
风险提示：本文内容均不构成任何形式的投资意见或建议。imToken对本文所提及的第三方服务和产品不做任何保证和承诺，亦不承担任何责任。数字资产投资有风险，请谨慎评估该等投资风险，咨询相关专业人士后自行作出决定。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。