我们能否验证一个 ERC，而不只是它的代码？

以太坊研究社区探讨能否在标准文本定稿前让 ERC 本身可被验证，而非仅验证其代码。文章以证券型代币的 RESTRICTED 状态下 FREEZE 与 SEIZE 两条指令为例，说明顺序不同会产生不同终态与结果轨迹，并指出 ERC-1400 系列中 ERC-1644 与 ERC-7943 仍未定义统一的目的、权限与回滚语义。