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

鏈聞消息，ConsenSys 研究員、以太坊 2.0 開發者 Ben Edgington 在披露的以太坊 2.0 新進展中表示，信標鏈規範在 Dafny 語言中的正式驗證已完成，另外，以太坊 2.0 API 規範已更新至 v2.0.0，爲 Altair 升級做準備。Altair 升級的一個主要目的是使輕客戶端能夠在以太坊 2.0 網絡中高效運行。

在研究進展中，目前信標鏈上區塊需要兩個 epoch 的時間完成敲定，大概 13 分鐘，最終確定性的延遲意味着驗證者有機會重組最近的鏈。