search icon
‌
‌
‌
menu-icon
anue logo
熱門時事鉅亨號鉅亨買幣
search icon
‌
‌
快訊

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

金色財經

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

暢行幣圈交易全攻略，專家駐群實戰交流

▌立即加入鉅亨買幣實戰交流 LINE 社群（點此入群）
不管是新手發問，還是老手交流，只要你想參與虛擬貨幣現貨交易、合約跟單、合約網格、量化交易、理財產品的投資，都歡迎入群討論學習！

▶ 前往鉅亨買幣找交易所優惠

文章標籤

以太信標規範
‌
‌
Empty
‌