EIP-8282驗證確認3項行為保證，也發現建構者合約不一致

以太坊基金會（Ethereum Foundation）與 Verity 對以太坊區塊建構者的存款與退出合約 EIP-8282 執行位元碼進行形式驗證，確認三項行為保證，也發現研究人員仍需處理的不一致之處。

Crypto Briefing報導，Verity於2026年9月完成驗證，並證明使用者提交呼叫與協定 SYSTEM 呼叫的執行路徑符合三項保證。Verity也在公開研究說明中介紹了這項對 EIP-8282 建構者存款與退出合約屬性的機械化檢查。

形式驗證是以數學方法確認程式碼是否符合預先設定條件。此次驗證的範圍不是整份提案，而是將在鏈上執行的合約執行期位元碼及特定行為。

驗證團隊套用六種位元碼變體，確認設定的屬性是否能偵測程式碼變更。Crypto Briefing指出，審查過程也揭露研究人員需要解決的不一致，但報導沒有說明各項不一致的細節。

EIP-8282於2026年5月22日撰寫。提案將 EIP-7732 原本使用的驗證者註冊與退出流程，改為建構者專用請求，並將區塊建構者視為以存款為基礎的獨立參與者。

提案列出分別處理建構者註冊與增加存款、以及退出請求的合約。首次註冊與後續追加存款由存款合約處理；退出合約則設計為處理來自建構者指定執行地址的請求。

執行程式碼包含使用者支付手續費後提交的請求，以及由協定本身發出的 SYSTEM 呼叫。SYSTEM 呼叫會在每個區塊結束時彙整請求，再傳送至共識層。

一筆存款請求可用來註冊新建構者，也可為既有建構者追加存款。合約會接收並記錄請求，但不會直接驗證首次註冊所需的簽章。

首次存款的簽章由共識層確認。若首次存款的簽章無效，該筆存款不會被處理，資金也可能永久鎖在合約中，因此提案建議提交者在傳送前確認簽章。

已註冊建構者追加存款時，金額會計入存款；請求中所附的提款資格資訊與簽章則會被忽略。因此，即使首次註冊與追加存款使用同一合約，兩者在共識層的處理方式仍不同。

收到退出請求後，合約會記錄發出請求的地址。之後，共識層必須確認該地址與建構者指定的執行地址相符，才會處理退出。

Crypto Briefing指出，研究人員需要對照提案內容，處理已發現的不一致。可能的做法包括修改執行程式碼、調整提案，或更清楚說明預期行為。

提案列出的 Last Call 截止日為2026年11月1日。Verity於截止日前的9月完成驗證。

截至2026年11月11日，EIP頁面仍將 EIP-8282 標示為「Last Call」階段，並顯示同儕審查正在進行。提案的最終內容仍待這項審查流程定稿。