storage collision 是怎么发生的，如何避免

板块

Solidity & EVM 基础（筛选关）

答题思路

讲清代理模式下 slot 布局必须严格对齐，以及继承顺序、升级实现变更导致的偏移问题。

参考答案要点

如何发生

1. 代理与实现 slot 冲突：implementation 的状态变量从 slot 0 开始，覆盖 proxy 存的 implementation / admin 等
2. 升级后布局变化：V2 在 V1 中间插入新变量，后续变量 slot 整体错位
3. 不规则继承：C3 线性化下父合约变量顺序与预期不一致

如何避免

• 代理合约 只保留固定 slot 的 admin/implementation，业务状态全部在 implementation
• 升级时 只在末尾追加 变量，禁止删除/重排/改类型
• OpenZeppelin storage gap：预留 uint256[50] __gap
• ERC-7201 namespaced storage：keccak256("namespace") 作为基 slot，逻辑模块隔离
• 升级前 diff 布局 + 审计 + 存储布局测试