スマートコントラクトをアップグレードすると、監査人が承認済みのストレージをなぜサイレントに破壊できてしまうのか？

アップグレード可能なプロキシパターン（UUPS、Transparent Proxy、Diamond）はプロダクション環境のDeFiで標準的だが、厳格な制約を伴う。新しい実装のストレージレイアウトは、以前の実装が割り当てたすべてのスロットと互換性がなければならない。誤った位置に新しい状態変数を挿入すると、その後のすべてのスロットがオンチェーンエラーなしにサイレントで破損する。OpenZeppelinのアップグレードプラグインのような自動チェッカーは単純なケースは検出できるが、カスタムパッキングを使用したERC-7201名前空間ストレージ、アセンブリレベルのスロット割り当て、2つのファセットが同じストレージ領域を主張するDiamondファセットのクロスコリジョンは見逃す。2026年1月の査読付き研究（ProxyLens）は、既存ツールが検出できないファセット間コリジョン脆弱性の重大なクラスを発見した。監査人は実装コントラクトを単独でレビューするため、複数の委任ファセットを持つプロキシの完全なストレージマップを再構築することができない。