P12-L03 · P12 · P12-M01
Abwägungen bei Beibehaltung, Übertragung und Widerruf von Kontrolle erklären
Voraussetzungen: P12-L02
Lernziele
- Abwägungen bei Beibehaltung, Übertragung und Widerruf von Kontrolle erklären
- Jede beibehaltene Kontrolle abbilden und erklären, was ein vorgeschlagener Widerruf entfernt und was nicht.
Warum das wichtig ist
„Verzichtet“ ist eine unvollständige Kontrollbeschreibung, wenn Proxyadmin, separate Mintrolle oder Pausenbefugnis verbleiben. Eine Berechtigungskarte benötigt die betroffene Funktion und jeden relevanten Pfad.
Erklärung
Ein Fähigkeitsinventar erstellen: Mint, Burn, Pause, Blacklist oder Transferbeschränkungen, Metadatenaktualisierung, Gebührenänderung und Implementierungsupgrade. Manche Fähigkeiten können fehlen; Abwesenheit erfordert Implementierungsevidenz statt einer fehlenden Oberflächenschaltfläche. Die Rolle oder Befugnis benennen, die jeden Pfad aufrufen kann, ihre Delegierungs-/Wiederherstellungsroute und die Bedingungen für deren Änderung.
Ein Widerruf ist auf eine bestimmte Fähigkeit begrenzt. Entfernen der Token-Ownership entfernt nicht automatisch einen Proxy-Upgradeadmin oder eine andere privilegierte Rolle. Standardproxyspeicherplätze helfen, bestimmte Implementierungs-/Adminfelder zu finden, aber individuelle Designs erfordern eigene Evidenz. Multisignatur- und Verzögerungsregelungen können Ausführungsbedingungen ändern; sie belegen keine unabhängigen Unterzeichner und beseitigen nicht jedes Kompromittierungsrisiko.
Für jede vorgeschlagene beibehaltene Kontrolle praktische Folge und Existenzgrund offenlegen. Für jede Übertragung oder jeden Widerruf verbleibende Pfade und nötige Verifizierung auflisten. Eine irreversibel wirkende Erklärung nicht in einen Sicherheitsscore umwandeln. Diese Lektion ändert keine Rollen und führt keine Transaktion aus.
Begriffe
Fähigkeit: privilegierte Handlung, die über einen spezifischen Pfad erreichbar ist.
Rollenwiderruf: Entfernung einer Autorisierungsbeziehung.
Upgradepfad: Mechanismus, der Implementierungsverhalten ändern kann.
Verbleibende Kontrolle: nach einer angegebenen Änderung verbleibende Fähigkeit.
Historisches Beispiel
ILLUSTRATIVE Cedar-Karte: Mintrolle M; Pausenrolle P; Proxyadmin U; Metadateneditor D. Eine vorgeschlagene Änderung widerruft M, behält aber P, U, D. U wird als 2-of-3 mit einer 24-Stunden-Verzögerung beschrieben; Unterzeichnerunabhängigkeit und bereitgestellte Durchsetzung sind nicht belegt.
Visuelle Spezifikationen
Vertragsberechtigungskarte mit M-, P-, U-, D-Knoten vor/nach vorgeschlagenem M-Widerruf. U/P/D als durchgezogene beibehaltene Pfade erhalten;2-of-3/24h als unverifizierte Designannahmen markieren.
Beschriftung: Fiktiver rollenspezifischer Widerruf; beibehaltene Upgrade- und Pausenpfade bleiben sichtbar.
SPECIFICATION_ONLY — die gerenderte Visualisierung wurde noch nicht erstellt oder unabhängig geprüft.
Was die Evidenz belegt
Die fiktive Karte verdeutlicht, dass der vorgeschlagene Mintrollenwiderruf drei angegebene Fähigkeiten belässt. 2-of-3 und Verzögerung sind nur Designaussagen.
Was die Evidenz nicht belegt
Es gibt keinen bereitgestellten Rollenzustand, verifizierte Multisig, tatsächlichen Widerruf, dauerhafte Angebotsgarantie oder unabhängigen Unterzeichnernachweis. U könnte Verhalten ändern, wenn die vorgeschlagene Implementierung dies erlaubt.
Häufige Fehler
Widerruf von M „alle Kontrolle entfernt“ nennen; annehmen, dass eine Multisigbezeichnung unabhängige Menschen belegt; Verzögerung als Audit behandeln; Metadaten- oder Gebührenpfade ignorieren.
Praktische Übung
Fähigkeitszeilen vor/nach erstellen und „Cedar hat vollständig verzichtet und kann sich nicht ändern“ umschreiben. Zwei erforderliche Prüfungen vor jeder realen Widerrufsaussage angeben.
Ausführliche Lösung anzeigen
Vorher: M Mint, P Pause, U Upgrade, D Metadaten. Nach der vorgeschlagenen Änderung: M nach Annahme entfernt; P/U/D beibehalten. Überarbeitete Offenlegung: „Das illustrative Design schlägt Mintrollenwiderruf unter Beibehaltung von Pausen-, Upgrade- und Metadatenkontrollen vor; kein realer Autorisierungszustand oder Transaktion ist verifiziert.“ Exakte Implementierung/Rollenspeicherung und Widerrufsbeleg bei einem festen Block prüfen, dann verbleibende Upgrade-/Delegierungspfade untersuchen. Die 2-of-3/24h-Aussage benötigt tatsächliche Vertrags- und Unterzeichnerrichtlinienevidenz.
Checkliste
- Jeden wesentlichen privilegierten Pfad inventarisieren.
- Rollenspezifischen Widerruf und verbleibende Kontrolle beschreiben.
- Unterzeichner- und Verzögerungsannahmen einschränken.
- Designaussagen vom bereitgestellten Zustand trennen.
Zusammenfassung
Kontrolloffenlegung ist fähigkeitsspezifisch; eine entfernte Rolle belegt keinen unveränderlichen oder befugnisfreien Vermögenswert.
Zusammenfassung
- Widerruf hat einen Umfang.
- Upgrade- und Delegierungspfade können Kontrolle erhalten.
- Eine Multisigbezeichnung beweist keine Unterzeichnerunabhängigkeit.
Nächste Lektion
P12-L04
Werkzeuge
Verwenden Sie das benannte BlockAssay-Werkzeug nur als Kontext zum Lesen von Evidenz. Diese Lektion erzeugt keine Werkzeugausgabe, Kontositzung oder Zugangsberechtigung. Offline-Übung; nichts signieren, bereitstellen, genehmigen oder finanzieren.
Quellen und Aussagegrenzen
- PROXY: ERC-1967-Proxy-Speicherplätze — Standardisierte Implementierungs-/Admin-Speicherplätze; Verzicht auf eine Rolle belegt nicht, dass alle Upgradepfade deaktiviert sind. Grenze: Nur Mechanismusdokumentation; originale illustrative Werte sind festgelegt, keine Beobachtungen. Historische Unterlagen haben separat eingefrorene Herkunftsnachweise und ausdrückliche Erhebungslücken.
- ERC20: ERC-20-Standard — Tokenschnittstelle und Semantik der Ausgabeberechtigungen; der Standard belegt weder Emittentenidentität noch sichere Berechtigungen. Grenze: Nur Mechanismusdokumentation; originale illustrative Werte sind festgelegt, keine Beobachtungen. Historische Unterlagen haben separat eingefrorene Herkunftsnachweise und ausdrückliche Erhebungslücken.
Evidenzklassifikationen
ILLUSTRATIVE — vollständig fiktive Offline-Eingaben; keine aktuelle Beobachtung.
Beobachtungsdatum
null — keine reale Beobachtung
Inhaltsversion
1
Prüfdatum
null
Prüfstatus
needs_review
Visuelle Spezifikationen
P12-L03-V01
Abwägungen bei Beibehaltung, Übertragung und Widerruf von Kontrolle erklären
Fiktiver rollenspezifischer Widerruf; beibehaltene Upgrade- und Pausenpfade bleiben sichtbar.
Vertragsberechtigungskarte mit M-, P-, U-, D-Knoten vor/nach vorgeschlagenem M-Widerruf. U/P/D als durchgezogene beibehaltene Pfade erhalten;2-of-3/24h als unverifizierte Designannahmen markieren.
Vertragsberechtigungskarte mit M-, P-, U-, D-Knoten vor/nach vorgeschlagenem M-Widerruf. U/P/D als durchgezogene beibehaltene Pfade erhalten;2-of-3/24h als unverifizierte Designannahmen markieren.
Beobachtungen, Annahmen, Lücken und Schlussfolgerung bei 390 px untereinander anordnen; vollständige IDs und eine vollständige Textalternative erhalten. Breite Tabellen scrollen nur lokal.
Prosa kann RTL folgen; IDs, Mengen und Zeitachsen bleiben LTR. Abhängigkeitsrichtung erhalten.
P12-L03-ILLUSTRATIVE-v1
Quellen und Aussagegrenzen
PROXY · PRIMARY_DOCUMENTATION
ERC-1967-Proxy-Speicherplätze
- Gestützte Aussage
- Standardisierte Implementierungs-/Admin-Speicherplätze; Verzicht auf eine Rolle belegt nicht, dass alle Upgradepfade deaktiviert sind.
- Verifikationsgrenze
- Nur Mechanismusdokumentation; originale illustrative Werte sind festgelegt, keine Beobachtungen. Historische Unterlagen haben separat eingefrorene Herkunftsnachweise und ausdrückliche Erhebungslücken.
- Prüfdatum
- 2026-10-02
https://eips.ethereum.org/EIPS/eip-1967
ERC20 · PRIMARY_DOCUMENTATION
ERC-20-Standard
- Gestützte Aussage
- Tokenschnittstelle und Semantik der Ausgabeberechtigungen; der Standard belegt weder Emittentenidentität noch sichere Berechtigungen.
- Verifikationsgrenze
- Nur Mechanismusdokumentation; originale illustrative Werte sind festgelegt, keine Beobachtungen. Historische Unterlagen haben separat eingefrorene Herkunftsnachweise und ausdrückliche Erhebungslücken.
- Prüfdatum
- 2026-10-02
https://eips.ethereum.org/EIPS/eip-20
Datenherkunft
id: P12-L03-ILLUSTRATIVE-v1
dataStatus: ILLUSTRATIVE
observedAt: null
source: Original offline scenario in realOrHistoricalExample
scope: Fictional stipulated labels and values. No wallet, deployment, transaction, token launch or production observation.