Upgradeable Proxies halten State an einer Adresse, delegieren Logik aber an eine austauschbare Implementation. Nur den Proxy zu prüfen kann aktive Logik und Upgrade Authority verbergen.
Dieses Konzept ist wichtig, weil Löse bei kritischen Calls die aktive Implementation auf.
Prüfe die exakten Protokollfelder, die Autorität erzeugen oder die Ausführung verändern. Vergleiche diese Felder mit der erklärten Nutzerabsicht und der erwarteten Sicherheitsgrenze.
Prüfe die exakten Protokollfelder, die Autorität erzeugen oder die Ausführung verändern.
Auf Protokoll- und Ausführungsebene sind zu prüfen proxy und implementation und admin und storage und upgrade path. Protokollbezeichner bleiben unübersetzt, weil sie Teil des technischen Payloads sind.
proxyTechnische Prüfpunkte
implementationTechnische Prüfpunkte
adminTechnische Prüfpunkte
storageTechnische Prüfpunkte
upgrade pathTechnische Prüfpunkte
Behandle Widersprüche, übermäßige Autorität und ungeklärte Abhängigkeiten als materielle Fehlersignale.
Die praktische Folge ist, dass Identifiziere, wer Upgrades durchführen kann und unter welchen Bedingungen. Unbekannt ist nicht gleich sicher.
Übersetze jedes materielle Signal in die konkrete Folge für Assets, Autorität oder Vertrauen.
Die praktische Folge ist, dass Identifiziere, wer Upgrades durchführen kann und unter welchen Bedingungen.
Eskaliere bei widersprüchlicher oder unvollständiger Evidenz oder wenn die Konsequenz die Routine-Policy übersteigt.
Verifiziere die Anfrage mit unabhängiger Evidenz vor jeder irreversiblen Autorisierung.
Prüfe die exakten Protokollfelder, die Autorität erzeugen oder die Ausführung verändern.
Vergleiche diese Felder mit der erklärten Nutzerabsicht und der erwarteten Sicherheitsgrenze.
Verifiziere die Anfrage mit unabhängiger Evidenz vor jeder irreversiblen Autorisierung.
Dokumentiere Fakten, Annahmen, Unbekanntes und Entscheidung, damit ein anderer Analyst die Prüfung reproduzieren kann.
Eskaliere bei widersprüchlicher oder unvollständiger Evidenz oder wenn die Konsequenz die Routine-Policy übersteigt.
Dokumentiere Fakten, Annahmen, Unbekanntes und Entscheidung, damit ein anderer Analyst die Prüfung reproduzieren kann.
Löse bei kritischen Calls die aktive Implementation auf. und Identifiziere, wer Upgrades durchführen kann und unter welchen Bedingungen.
Löse bei kritischen Calls die aktive Implementation auf.
user-facing state addressdelegated logicupgrade authorityproxy state layoutlogic can change after reviewproxy verified / implementation unknown
admin untrusted
recent implementation change
initialization ambiguity
upgradeable spender
identify proxy pattern
read implementation slot / resolver
verify implementation code
identify admin / timelock
record upgradeability as ongoing trust
Fakten → materielle Evidenz
Evidenz → Konsequenz / Autorität
Konsequenz → explizite Entscheidung + nächste Aktion
proxy trust-boundary mapproxy / upgradeabilityverified0xImplV7yessingle EOA2 days agononeIdentifiziere vor der Antwort die gewährte Autorität, die ausfallende Trust Boundary und die irreversible Konsequenz.
Trenne Identität, Autorität, Ausführung und Kontext vor der Sicherheitsentscheidung.
Wer oder was fordert, erhält oder repräsentiert Autorität?
Welche Fähigkeit kann gewährt, behalten oder ausgeübt werden?
single EOAWas wird Payload, Route oder System tatsächlich tun?
verified0xImplV7yesWelche Umgebungsfakten können die Entscheidung materiell ändern?
2 days agononeAntworte nicht aus dem Gedächtnis. Nutze Fall, Protokollfelder und Prüfverfahren oben, um einen reproduzierbaren Befund zu schreiben.
Löse bei kritischen Calls die aktive Implementation auf.
Identifiziere, wer Upgrades durchführen kann und unter welchen Bedingungen.
Halte deine Begründung vor dem Checkpoint fest und schließe mit einer expliziten Entscheidung oder nächsten Aktion ab. Notizen bleiben auf diesem Gerät.
Entwickle alle drei Abschnitte vor dem Abschluss.
Dieses Modul vertieft Proxies & Ausführungskontext mit angewandter Theorie und einem eigenen Entscheidungs-Lab.