以太坊2.0新進展：信標鏈規范在Dafny語言中的正式驗證已完成

8月15日消息，ConsenSys研究員、以太坊2.0開發者Ben Edgington在披露的以太坊2.0新進展中表示，信標鏈規范在Dafny語言中的正式驗證已完成，另外，以太坊2.0API規范已更新至v2.0.0，為Altair升級做準備。Altair升級的一個主要目的是使輕客戶端能夠在以太坊2.0網絡中高效運行。在研究進展中，目前信標鏈上區塊需要兩個epoch的時間完成敲定，大概13分鐘，最終確定性的延遲意味著驗證者有機會重組最近的鏈。

以太坊鏈上BTC錨定幣總發行量達1個月高點:金色財經消息，數據顯示，近期比特幣跨鏈鎖倉的需求有所增加，當前以太坊鏈上的BTC錨定幣總發行量回升至300.667枚(約合63.79億美元)為近1個月高點。其中，發行量前三的錨定幣分別是：WBTC(24.7萬枚)、HBTC(3.9萬枚)、BBTC(9900枚)。[2022/8/21 12:38:00]

以太坊網絡本周已銷毀5.32萬枚ETH:金色財經報道，據Ultrasound數據顯示，截止目前，以太坊網絡本周總共銷毀53243.09枚ETH。其中，OpenSea銷毀4069.74枚ETH，ETHtransfers銷毀5565.25枚ETH，UniswapV2銷毀4363.38枚。注：自以太坊倫敦升級引入EIP-1559后，以太坊網絡會根據交易需求和區塊大小動態調整每筆交易的BaseFee，而這部分的費用將直接燃燒銷毀。[2021/12/13 7:35:09]

Sigma Prime發布以太坊2.0客戶端Lighthouse更新報告:以太坊2.0客戶端Lighthouse開發團隊Sigma Prime發布Lighthouse更新報告，包括：

1.大型公共多客戶端測試網Medalla已經啟動；

2. Lighthouse版本0.2.0已經發布（與Medalla測試網一致）；

3. Rust-gossipsub 1.1已準備好進行測試；

4. 關鍵管理改進和EF Launchpad集成；

5. 高級同級管理和同級評分；

6. 穩定性、性能和測試網改進方面的重要工作。[2020/8/17]