Verity完成EIP-8282形式化驗証

據吳說區塊鏈發布，形式化驗証團隊 Verity 宣布，已為以太坊基金會完成 EIP-8282 的形式化驗証。該驗証利用 AI 輔助 Lean 証明流程，直接對 EVM 字節碼進行數學驗証，並由 Lean 內覈檢査証明，共發現 3 處文檔與代碼不一致。