11月6日、イーサリアム財団は、展開済みのイーサリアムプロジェクトを手がけるスマートコントラクト開発者および監査人に対し、次期大型アップグレード「Glamsterdam」に向けた仕様変更の計画が自らの作業にどのような影響を与えるかを検証するよう直接的に要請しました。この検証を支援するため、財団は計画されている変更によって破綻すると特定した8つの不変条件のリストを公表しました。

不変条件とは、プロトコルまたはアプリケーションがあらゆる有効な実行において維持することが期待される特性です。例えば、展開済みコントラクトとその監査が依拠する、トランザクションの有効性、ステート処理、実行結果に関する保証などが挙げられます。ネットワークの仕様が変更されると、それまで成立していた不変条件が破綻し、本番システムが構築されていた前提が無効になる可能性があります。財団の通知はまさにこの懸念に対処するものであり、外部チームに対し、特定された8件のケースを自らのコードベースと照らして確認するよう求めた理由でもあります。イーサリアムの展開済みコントラクトコードはプロトコルが変更されても自動的に変わるわけではないため、プロジェクトが依拠するいかなる保証も、アップグレード自体によって吸収されるのではなく、その背後にいるチームが再確認しなければなりません。

Glamsterdamは、Fusakaに続くことが計画されているイーサリアムの次期大型ネットワークアップグレードのコードネームです。イーサリアムでは、この種のアップグレードを公開仕様プロセスを通じて調整しており、プロトコルの変更はアップグレードの仕様に組み込まれる前に、クライアントチーム、研究者、アプリケーション開発者の間で議論されます。このアップグレードはプロトコルの長年の命名規則を踏襲しており、その名はアムステルダムに由来します。このプロセスにおいて、仕様レベルの変更は実行およびコンセンサスのルールに影響を与える可能性があり、それがさらにスマートコントラクトが依拠する保証に影響を及ぼすことがあります。この通知はすでに発効しているルールではなく計画中の仕様を対象としているため、評価は変更が発効する前、すなわちイーサリアムの公開プロセスを進行している段階で行われています。

財団の11月6日の働きかけは、プロトコルの変更と展開済みソフトウェアの間のまさにこの接点を対象としたものでした。開発者と監査人は、自らの展開について、特定された8つの不変条件の破綻のどれが該当するか、またGlamsterdamの仕様変更が発効した際にどのような実際的な影響があるかを評価するよう求められました。アップグレードが進行するにつれて注目すべき具体的なシグナルは、これらのレビューが特定された8件の破綻を展開済みプロジェクトにどうマッピングしていくか、そしてGlamsterdamの仕様が公開プロセスを通じてどのように進化し続けるかです。

本レポートは2026年11月9日にCOINOTAGによって最初に公開されました:イーサリアム財団、Glamsterdamで破綻する8つの不変条件を提示。完全な記事はCoinotagからご覧いただけます:完全版。