11 月 6 日，以太坊基金会向已部署以太坊项目的智能合约开发者与审计人员发出直接请求：核实为网络下一次重大升级 Glamsterdam 规划的规范变更将如何影响他们的工作。为支持这一核查，基金会公布了一份清单，列出了其认定的将在拟议变更下失效的 8 个不变量。

不变量是协议或应用程序在每一次有效执行中都应保持的属性——例如已部署合约及其审计所依赖的关于交易有效性、状态处理或执行结果的保证。当网络的规范发生变化时，此前成立的不变量可能失效，从而使生产系统赖以构建的假设失去依据。这正是基金会此次通知所关注的问题，也是其要求外部团队针对自身代码库审查这 8 个被标记情形的原因。已部署的以太坊合约代码不会随协议的变化而改变，因此项目所依赖的任何保证都必须由其背后的团队重新核查，而无法由升级本身自动消化。

Glamsterdam 是以太坊下一次重大网络升级的代号，计划在 Fusaka 之后进行。以太坊通过公开的规范流程协调此类升级：协议变更在纳入升级规范之前，会先在客户端团队、研究人员和应用开发者之间进行讨论。此次升级延续了该协议以城市命名的长期惯例，其名称来自阿姆斯特丹。在这一流程下，规范层面的变更可能影响执行层与共识层规则，进而影响智能合约所依赖的保证。由于该通知涉及的是规划中的规范而非已经生效的规则，此次评估发生在变更生效之前，届时相关规范仍在以太坊的公开流程中推进。

基金会 11 月 6 日的这一沟通行动所针对的正是协议变更与已部署软件之间的这一交界处。开发者与审计人员被要求针对自身部署评估：8 个已确认的不变量失效情形中哪些适用于自己的项目，以及在 Glamsterdam 规范变更生效后会带来哪些实际影响。随着升级的推进，值得关注的具体信号包括：这些审查如何将 8 个被标记的失效情形对应到已部署项目上，以及 Glamsterdam 规范如何继续在公开流程中演进。

本报道由 COINOTAG 于 2026 年 11 月 9 日首发：以太坊基金会标记 8 个将在 Glamsterdam 升级中失效的不变量。完整文章可通过 Coinotag 阅读：完整版本。