ChainCatcher 消息,以太坊貢獻者 Francesco Risitano (@frisitano) 提交了 EIP-8440 (執行鏈證明) 草案提案。該提案通過遞歸零知識證明機制,證明從頭部信標塊到起源信標塊的所有執行有效載荷的合法性,並將其綁定至信標鏈。
節點可通過單一證明,從弱主觀性檢查點建立到最新區塊頭的完整執行有效性,實現常數時間鏈同步。