信標鏈
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 民主化以便其價值不僅僅被大型質押池所捕獲。
譯文：Eth2 的新變化 – 2021 年 8 月 13 日
作者：Ben Edgington
譯者：Daisy
