幣界網消息，吳說獲悉，形式化驗證團隊 Verity 宣布，已為以太坊基金會完成 EIP-8282 的形式化驗證，利用 AI 辅助 Lean 證明流程，直接對 EVM 字節碼進行數學驗證，並由 Lean 內核檢查證明結果。此次驗證涵蓋區塊構建者質押存入及退出合約的三項關鍵屬性，包括請求提交、隊列處理及費用與控制邏輯。驗證過程中還發現 EIP 文檔與實際代碼存在三處不一致，隨後進行了修訂。 EIP-8282 是以太坊 EPBS （ EIP-7732 ）機制的配套提案，相關證明不涵蓋共識層調度及 BLS 檢查等環節。