一項遞迴執行證明設計提案,旨在降低以太坊(ETH)執行層從弱主觀性檢查點同步時逐區塊驗證證明的需求,藉由證明檢查點之後各區塊的執行有效性,減輕同步負擔。
Foresight News報導,frisitano於9日公開的EIP草案提出一種架構,從鏈頭一路遞迴證明至起始信標區塊的所有執行酬載有效性。每份證明都會先驗證前一份證明,再延伸至下一個區塊。
執行酬載是以太坊區塊中記錄交易執行結果的資料。提案將執行酬載證明與信標鏈連結,並在公開輸入中納入起點與鏈頭的信標區塊根、鏈ID及無狀態輸入模式版本。傳播證明時則會廣播兩個區塊根。
信標鏈是採用權益證明機制的以太坊共識層。節點必須同時確認該層的區塊連結,以及執行酬載是否有效。弱主觀性檢查點是新加入或長時間離線的節點用來同步的近期可信狀態。
草案設計為同一分支中的最新證明會包含較早的證明。因此,同步中的節點可驗證串接後的證明,無須從檢查點到鏈頭逐一接收並驗證每份證明。草案也提出透過Gossip網路分享證明,並利用有限記憶體快取進行精簡的請求與回應。
技術文件將此設計標示為討論草案。執行層與信標鏈的具體連結方式仍有待進一步整理,因此尚未訂出實際導入節點的時程。
留言 0