• <option id="cacee"><noscript id="cacee"></noscript></option>
  • <table id="cacee"><noscript id="cacee"></noscript></table>
  • <td id="cacee"></td>
  • <option id="cacee"></option>
  • <table id="cacee"></table>
  • <option id="cacee"><option id="cacee"></option></option>
  • <table id="cacee"><source id="cacee"></source></table><td id="cacee"><rt id="cacee"></rt></td>
    <option id="cacee"><option id="cacee"></option></option>
     找回密碼
     立即注冊

    掃一掃,登錄網站

    首頁 快訊 查看內容
    • 1044
    • 1
    • 分享到

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

    2021-8-15 21:07

    8月15日消息,ConsenSys研究員、以太坊2.0開發者Ben Edgington在披露的以太坊2.0新進展中表示,信標鏈規范在Dafny語言中的正式驗證已完成,另外,以太坊2.0API規范已更新至v2.0.0,為Altair升級做準備。Altair升級的一個主要目的是使輕客戶端能夠在以太坊2.0網絡中高效運行。在研究進展中,目前信標鏈上區塊需要兩個epoch的時間完成敲定,大概13分鐘,最終確定性的延遲意味著驗證者有機會重組最近的鏈。
    版權申明:本內容來自于互聯網,屬第三方匯集推薦平臺。本文的版權歸原作者所有,文章言論不代表鏈門戶的觀點,鏈門戶不承擔任何法律責任。如有侵權請聯系QQ:3341927519進行反饋。
    標簽: 信標鏈
    相關新聞
    發表評論

    請先 注冊/登錄 后參與評論

      回頂部
    • <option id="cacee"><noscript id="cacee"></noscript></option>
    • <table id="cacee"><noscript id="cacee"></noscript></table>
    • <td id="cacee"></td>
    • <option id="cacee"></option>
    • <table id="cacee"></table>
    • <option id="cacee"><option id="cacee"></option></option>
    • <table id="cacee"><source id="cacee"></source></table><td id="cacee"><rt id="cacee"></rt></td>
      <option id="cacee"><option id="cacee"></option></option>
      妖精视频