以太坊进展：信标链、Altair升级、合并、质押等

信标链

ConsenSys 研究员 Joanne Fuller 和 Franck Cassez 完成了信标链规范在 Dafny 语言中的验证，为未来的协议开发和分析奠定了基础。你可以进入文档链接了解更多信息并自行运行证明。

文档：

https://github.com/ConsenSys/eth2.0-dafny

译者注：Dafny 是微软推出的一种编程语言，用于程序正确性验证。

此外，Eth2 API 规范已更新至 v2.0.0，为 Altair 升级做准备。

Altair 升级的目的之一是让轻客户端在 Eth2 网络中高效运行，以便用户可通过浏览器去信任地运行轻客户端，而不是通过 Infura 或其他受信任的第三方发送交易。你可以查看 Alex Stokes 撰写的文章《启动信标链轻客户端生态系统》了解更多。

趣闻：ETH2 存款合约已超过 wrapped Ether（wETH）合约，成为 ETH 持有量最多的合约。

数据来源：https://etherscan.io/accounts

Altair 升级

信标链 Altair 升级在测试网 Pyrmont 的启动时间已确定为 epoch 61,650，slot 1,972,800，即 UTC 时间 8 月 19 日中午 12 点（再加 7 秒）。

合并

EIP-3675 是 Eth1 执行层与 Eth2 共识层合并的规范。ConsenSys 研究员 Mikhail Kalinin 在 Ethereum Cat Herder 的 PeepAnEIP 系列中详细解释了 EIP-3675。

以太坊客户端 Nethermind 从 Eth1 角度出发，在推特上发表了其对  EIP-3675 的看法。

质押

8 月 11 日 StakeHouse 举行了第 5 期社区会议。如果你想了解 GUI 客户端安装程序和其他项目的进展，可以进入文档链接查看。

文档：

https://github.com/stake-house/stakehouse/wiki/Updates-from-the-Teams 

为了实现客户端多样性，来自 EthStaker 和 StakeHouse 的 Colfax 提出了一些很棒的建议。我很乐意看到 Colfax 列出的这些点能一一实现。

好的数据和用户教育

客户端 UI

将客户端添加至 DappNode 和 AvadoCloud

构建多客户端 UI

标准化密钥管理

客户端切换工具

通过 PRA 构建客户端套装软件

关于客户端切换，我个人能够接受让客户端同质化以便于切换的方案，但这会让产品经理有点沮丧。我认为可以考虑另一种方案——让客户端「截然不同」。即每个客户端针对特定的用户群体和用例进行优化。Nimbus 专注于低功耗设备，而 Teku 专注于机构质押市场，通过这种方式或许也能促进客户端多样性。

我们还可以设法双管齐下，把这两种方法都用起来。

工具

软件开发员 Rémy Roy 撰写了一份详细的验证器监控指南，并基于该指南做了一个很棒的讲解视频。

指南：

https://github.com/remyroy/ethstaker/blob/main/monitoring.md

视频：

https://www.youtube.com/watch?v=Jkvyd8k_R9Y

Beaconcha.in 对验证器监控 App 进行了优化。你可以通过客户端数据导出工具，将自己的节点数据导入 App。Lighthouse 不需要这个工具就能够导入节点数据，Teku 团队也在研究原生支持数据导入的功能。

工具：

https://github.com/gobitfly/eth2-client-metrics-exporter

去中心化质押

8 月 11 日 SSV 举行了第 2 期社区会议，BloxStaking 的 CEO Alon Muroch 展示了 SSV 公共测试网启动。（SSV 是指 Secret Shared Validator 秘密共享验证者，我个人认为叫做 Distributed Validator 分布式验证者或者 Resilient Validator 弹性验证者更合适。）

同时，Rocket Pool 测试网已进入阶段 4 ——模拟完全开放的 Rocket Pool。

好文推荐

想了解 Eth2 的现状以及发展历程吗？那不妨看看以太坊企业联盟虚拟会议。

视频：

https://www.youtube.com/watch?v=J5antzuQ-SU

最近大家关注的焦点都在 EIP-1559 上，但它其实只是以太坊升级至「宁静」或者 Eth2 的一小步，未来还会有更多重大升级，Pastry 发了一条推特长文对这些升级进行了阐述。

推文：

https://twitter.com/PastryETH/status/1425640993085403140

Bison Trails 的 Viktor Bunin 发布了 Eth2 Update 015 期。

原文：

https://bisontrails.co/eth2/015

研究

目前，信标链上的区块需要两个 epoch 的时间（约 13 分钟）才能实现最终确定性（finality）。确定性的延迟意味着验证者有机会通过时间强盗攻击等方式重组最新生成的区块，对信标链的稳定性造成威胁。

当一个 slot 之后重组链的成本很高时，新区块也许就能完成某种程度上的经济最终确定性。以太坊创始人 Vitalik 在其发布的文章《基于委员会的累积最终确定性模型》中就提出了这样的一种机制。它将是以太坊未来执行 Casper CBC 共识的另一种方式，还能降低 Eth2 质押的数额门槛，允许更多用户进入 Eth2 网络成为验证者。

将分片区块构建者和分片区块提议者进行角色分离的想法变得更加落地。早期设计已合并至分片规范中，其主要目标是消除 MEV 的信息不对称性，使 MEV 民主化以便其价值不仅仅被大型质押池所捕获。