Pourquoi la mise à niveau de mon contrat intelligent me permet-elle de corrompre silencieusement un stockage que les auditeurs avaient déjà validé ?

Les modèles de proxy évolutifs (UUPS, Transparent Proxy, Diamond) sont standard en DeFi de production, mais imposent une contrainte stricte : la disposition du stockage d'une nouvelle implémentation doit être compatible avec chaque emplacement assigné par la précédente. Insérez une nouvelle variable d'état à la mauvaise position et chaque emplacement suivant est corrompu silencieusement, sans erreur on-chain. Les outils de vérification automatisés comme le plugin de mise à niveau d'OpenZeppelin détectent les cas évidents, mais passent à côté du stockage nommé ERC-7201 avec un packing personnalisé, des assignations de slots au niveau assembleur, et les collisions croisées entre facettes Diamond où deux facettes revendiquent la même région de stockage. Une étude évaluée par des pairs publiée en janvier 2026 (ProxyLens) a identifié une classe significative de vulnérabilités de collision inter-facettes que les outils existants ne détectent pas. Les auditeurs examinent les contrats d'implémentation de façon isolée et ne peuvent pas reconstituer la cartographie complète du stockage d'un proxy comportant plusieurs facettes déléguées.