原文：What’sNewinEth2-13August2021
作者：BenEdgington
译者：Daisy
信标链
ConsenSys研究员JoanneFuller和FranckCassez完成了信标链规范在Dafny语言中的验证，为未来的协议开发和分析奠定了基础。你可以从这里了解更多信息并自行运行证明。
译者注：Dafny是微软推出的一种编程语言，用于程序正确性验证。
此外，Eth2API规范已更新至v2.0.0，为Altair升级做准备。
Altair升级的目的之一是让轻客户端在Eth2网络中高效运行，以便用户可通过浏览器去信任地运行轻客户端，而不是通过Infura或其他受信任的第三方发送交易。你可以查看AlexStokes撰写的文章《启动信标链轻客户端生态系统》了解更多。
数据：FTX黑客仍在以太坊上持有约2.8亿美元加密资产:11月15日消息，加密情报平台Arkham Intelligence数据显示，截止目前为止FTX黑客相关钱包仍在以太坊上持有约2.82亿美元加密资产，包括持有2.14亿美元的ETH、4800万美元的DAI，此外其他网络还有4400万美元的BNB、400万美元的USDT（Avalanche）和380万美元MATIC。
该攻击者尝试使用不同的DEX聚合器，包括1inch、Cowswap和DODO exchange，为了防止滑点，被迫批量出售PAXG、LINK和MATIC。此前报道，11月12日，FTX被攻击，攻击黑客已窃取价值1.89亿美元的ETH和DAI。[2022/11/15 13:05:31]
趣闻：Eth2存款合约已超过wrappedEther合约，成为ETH持有量最多的合约。
以太坊未确认交易为103,869笔:金色财经消息，据OKLink数据显示，以太坊未确认交易103,869笔，当前全网算力为239.62TH/s，全网难度为3.24P，当前持币地址为48,164,658个，同比增加103,107个，24h链上交易量为2,644,018.26ETH，当前平均出块时间为13s。[2020/10/2]
数据来源：https://etherscan.io/accounts
Altair升级
信标链Altair升级在测试网Pyrmont的启动时间已确定为epoch61,650，slot1,972,800，即UTC时间8月19日中午12点。
合并
声音 | 以太坊核心开发者：将在2月27日进行君士坦丁堡硬分叉:以太坊核心开发者Péter Szilágyi发布推文称：“看来我们将在7280000区块进行硬分叉，现定于2月27日。”[2019/1/19]
EIP-3675是Eth1执行层与Eth2共识层合并的规范。ConsenSys研究员MikhailKalinin在EthereumCatHerder的PeepAnEIP系列中详细解释了EIP-3675。
以太坊客户端Nethermind从Eth1角度出发，在推特上发表了其对?EIP-3675的看法。
质押
8月11日StakeHouse举行了第5期社区会议。如果你想了解GUI客户端安装程序和其他项目的进展，可以点此查看。
动态 | 以太坊浏览器初创公司裁员25%:据coindesk报道，由于加密货币价格持续低迷，以太坊浏览器初创公司Status.IM削减了四分之一的员工。该公司联合创始人Jarrad Hope周一对员工表示，该公司没有预料到以太坊的价格会下降超过80％，因此创业公司的规模本应大得多。[2018/12/15]
为了实现客户端多样性，来自EthStaker和StakeHouse的Colfax提出了一些很棒的建议。我很乐意看到Colfax列出的这些点能一一实现。
好的数据和用户教育客户端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对本文所提及的第三方服务和产品不做任何保证和承诺，亦不承担任何责任。数字资产投资有风险，请谨慎评估该等投资风险，咨询相关专业人士后自行作出决定。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。