以太坊基金會指出 8 項在 Glamsterdam 升級下將失效的不變量
重點速覽
- •以太坊基金會於 11 月 6 日要求已部署以太坊項目的開發者與審計人員檢查 Glamsterdam 的計劃規格變更將如何影響其工作。
- •基金會公布了一份清單,列出八項其認定在 Glamsterdam 計劃規格變更下將會失效的不變量。
- •不變量是協議在每一次有效執行中都必須維持的性質;由於協議變更時已部署的合約程式碼並不會改動,項目團隊必須自行重新檢查自身的假設。
- •Glamsterdam 是以太坊下一次重大升級,計劃在 Fusaka 之後進行,並延續了該網絡以城市命名的慣例。
- •由於規格變更仍在以太坊的公開流程中推進,此次評估是在新規則生效之前進行的。

11 月 6 日,以太坊基金會向已部署以太坊項目背後的智慧合約開發者與審計人員發出直接請求:驗證該網絡下一次重大升級 Glamsterdam 的計劃規格變更將如何影響其工作。為支援這項檢查,基金會公布了一份清單,列出八項其認定在計劃變更下將會失效的不變量。
不變量是協議或應用程式在每一次有效執行中預期都會維持的性質——例如關於交易有效性、狀態處理或執行結果的保證,而這些正是已部署合約及其審計所依賴的基礎。當網絡的規格發生變更時,先前成立的不變量可能失效,進而使生產系統賴以建立的假設失去效力。這正是基金會此次通知所要解決的疑慮,也是其要求外部團隊將八項被標記的案例與自身程式碼庫進行對照審查的原因。已部署的以太坊合約程式碼並不會隨協議變更而改動,因此項目所依賴的任何保證都必須由其背後的團隊重新檢查,而非由升級本身自動吸納。
Glamsterdam 是以太坊下一次重大網絡升級的代號,計劃在 Fusaka 之後進行。以太坊透過公開的規格流程協調此類升級,協議變更會先由客戶端團隊、研究人員與應用開發者共同討論,然後才納入升級的規格之中。此次升級延續了該協議長久以來的命名慣例,名稱取自阿姆斯特丹(Amsterdam)。在此流程下,規格層面的變更可能影響執行層與共識層規則,進而影響智慧合約所依賴的保證。由於該通知涉及的是計劃中的規格,而非已生效的規則,因此評估工作是在變更生效之前、仍在以太坊公開流程中推進時進行的。
基金會 11 月 6 日的溝通正是針對協議變更與已部署軟體之間的這一介面。開發者與審計人員被要求就自身的部署評估:八項已識別的不變量失效中有哪些適用,以及在 Glamsterdam 規格變更生效後會帶來哪些實際後果。隨著升級推進,值得關注的具體訊號包括:這些審查如何將八項被標記的失效對應到已部署的項目,以及 Glamsterdam 規格如何在公開流程中持續演進。
本報導由 COINOTAG 於 2026 年 11 月 9 日首次發布:以太坊基金會指出 8 項在 Glamsterdam 升級下將失效的不變量。完整文章可透過 Coinotag 閱讀:完整版本。