Skip to content
Blockchain

Warum ermöglicht das Upgrade meines Smart Contracts, bereits geprüften Speicher lautlos zu korrumpieren?

82

Möglichkeit

Upgradefähige Proxy-Muster (UUPS, Transparent Proxy, Diamond) sind Standard in produktivem DeFi, unterliegen aber einer strengen Einschränkung: Das Speicherlayout einer neuen Implementierung muss mit jedem Slot kompatibel sein, der von der vorherigen vergeben wurde. Wird eine neue Zustandsvariable an der falschen Position eingefügt, werden alle nachfolgenden Slots lautlos korrumpiert, ohne einen On-Chain-Fehler auszulösen. Automatisierte Prüfwerkzeuge wie das Upgrade-Plugin von OpenZeppelin erkennen einfache Fälle, übersehen aber ERC-7201-Namespaced-Speicher mit benutzerdefinierter Packung, Slot-Zuweisungen auf Assembly-Ebene und Diamond-Facetten-Querkollisionen, bei denen zwei Facetten dieselbe Speicherregion beanspruchen. Eine im Januar 2026 erschienene Peer-reviewed-Studie (ProxyLens) identifizierte eine bedeutende Klasse von Inter-Facetten-Kollisionsschwachstellen, die vorhandene Werkzeuge nicht erkennen. Prüfer überprüfen Implementierungsverträge isoliert und können die vollständige Speicherkarte eines Proxys mit mehreren delegierten Facetten nicht rekonstruieren.

Warum es wichtig ist

Ein Werkzeug, das eine vollständige, versionsvergleichende Speicherkarte über alle Proxy- und Implementierungsverträge hinweg erstellt, würde eine Klasse lautloser Datenkorrumpierung in ein blockiertes Deployment verwandeln.

Wie ich die Chance bewerte

Der Opportunity Score ist meine persönliche Einschätzung, keine Messung: wie stark es schmerzt, wie oft es auftritt und wie wenig heute existiert, um es zu lösen. Ein höherer Wert bedeutet, dass ich es für lohnender halte, es umzusetzen.

Schweregrad9/10

Wie viel Schmerz es verursacht, wenn es auftritt.

Häufigkeit6/10

Wie oft Menschen tatsächlich darauf stoßen.

Whitespace8/10

Wie wenig gute Werkzeuge dafür heute existieren.

Weitere lösungswürdige Probleme