P03-L04 · P03 · P03-M01
Spender, Betrag und Widerrufsgrenzen prüfen
Voraussetzungen: P03-L03
Lernziele
- Spender, Betrag und Widerrufsgrenzen prüfen
- Vollständige allowance-Tupel und Kontexte lesen.
- Einen Nullzustand begrenzen, ohne das Zurücksetzen aller Autorisierungen zu behaupten.
EN-Quellmaster · P03-L04 · needs_review
Nur Studium ohne Netzwerkverbindung und mit reinem Lesezugriff. Niemals Geheimnisse, Passwörter oder Authentifizierungscodes bereitstellen. Keine Wallet-Verbindung, echte Freigabe, Live-Widerruf, Transaktionssignatur, Übertragung, Gelder oder Handel. Visuelle Elemente sind nur Spezifikationen.
Warum das wichtig ist
Berechtigungen sind asset-/spender-/kontextspezifisch. Eine allowance von null kann einen nützlichen Befund stützen, während andere Tokens und signierte Autorisierungen ungeklärt bleiben.
Erklärung
Das vollständige Tupel benennen
ERC-20 beschreibt die Semantik von allowance, approve und transferFrom [ERC20]. Eine Berechtigungszeile braucht Netzwerk, Token, owner, spender und Beobachtungskontext. Ein anderer Token ist eine andere Berechtigung, auch wenn der angezeigte Spender identisch ist.
Zustand statt Sitzungsbeschriftungen lesen
R1/R3 zeigen dasselbe Tupel in zwei vorgegebenen Kontexten. R2 zeigt eine UI-Trennung; sie beschreibt keine Zustandsänderung des Token-Contracts. Angeforderter Widerruf, übermittelte Aktion und resultierender Zustand wären getrennte Evidenzstufen. R3 ist ohne Netzwerkverbindung bereitgestellt; Lernende dürfen keinen Live-Widerruf senden.
R4 betrifft TOKEN-B und kann nicht in die Zeile von TOKEN-A integriert werden. Nur den beruhigenden Nullwert zu berichten und die andere Zeile auszulassen würde wesentlichen Umfang verlieren. Beide Werte bewahren und erklären, welche Frage jeder beantwortet.
Signierte Autorisierungen bei Bedarf ungeklärt lassen
Ein Permit hat nach anwendbaren Contract-Regeln getrennte Signatur-/Nonce-/Deadline-Semantik [PERMIT]. R5 lässt seine Beziehung zum aktuellen Nonce-/Verwendungszustand bewusst aus. Eine allowance von null belegt nicht, dass jede ausstehende Signatur ungültig geworden ist. Die benötigte Nachfrage betrifft anwendbare Regeln und relevanten Zustand, keine weitere Live-Unterrichtstransaktion.
Ein allowance-Zustand macht auch eine frühere Übertragung nicht rückgängig und belegt nicht, dass ein Inhaber niemals Wiederherstellungsmaterial offengelegt hat. Berechtigungsinventar und Offenlegung von Signaturfähigkeit sind verschiedene Recherchefragen.
Enge Ergebnisse nennen
OBSERVED: Übungswerte und Sitzungsstatus. INFERRED: Änderung des ausgewählten Tupels von 100 auf null. UNKNOWN: vollständiges Berechtigungsinventar und Verwendbarkeit von R5. INSUFFICIENT EVIDENCE: «alle Vermögenswerte sind sicher». Eine begrenzte Schlussfolgerung nennt das ausgewählte Tupel bei H12 und lässt die getrennten Zeilen ungeklärt.
Begriffe
- Allowance: abgegrenzter Berechtigungswert.
- Spender: anwendbare Autorisierungsrolle.
- Widerrufsevidenz: resultierender Berechtigungszustand in einem Kontext.
- Abdeckung: tatsächlich bereitgestellte Berechtigungszeilen.
Historisches Beispiel
ILLUSTRATIVE Karten. R1 SIM-N/TOKEN-A/OWNER-X/SPENDER-Y bei SIM-H10 allowance 100 ganze Übungseinheiten. R2 UI bei T1 getrennt. R3 gleiches Tupel H12 allowance 0. R4 TOKEN-B/gleicher Inhaber/Spender H12 allowance 80. R5 TOKEN-A-Permit-Zusammenfassung mit aktueller Nonce-/Verwendungsbeziehung UNKNOWN. Keine echte Freigabe, Signatur oder Transaktion.
Visuelle Spezifikationen
Tupel-/Kontextmatrix. R1→R3 ist ein ausgewählter Vergleich; R4 bleibt 80, R5 unbekannt. R2 in eine Sitzungszeile ohne automatische Kante zum Onchain-Zustand setzen.
Was die Evidenz belegt
Ausgewählte Übungszustände und abgegrenzter Vergleich.
Was die Evidenz nicht belegt
Live-Widerruf, vollständiges Berechtigungszurücksetzen, Ungültigkeit aller Permits, Umkehr eines Verlusts oder garantierte Sicherheit.
Häufige Fehler
- Trennung als Widerruf bezeichnen.
- Einen Nullwert auf jeden Token verallgemeinern.
- Annehmen, ein Nullzustand annulliere jede Signatur.
Praktische Übung
Berechtigungszeilen R1/R3/R4 erstellen. Grenzen von R2 und R5 erklären. «Trennung und null machen jeden Vermögenswert sicher» umformulieren.
Eine Tabelle und begrenzte Schlussfolgerung nur anhand des bereitgestellten Materials ohne Netzwerkverbindung einreichen. Redaktionelle Zeiteinteilung: Studium 12 min, Übung 8 min, Korrektur/Quiz 10 min.
Ausführliche Lösung anzeigen
Das ausgewählte Tupel von TOKEN-A ist 100 bei H10 und null bei H12. TOKEN-B bleibt 80. R2 beweist nur UI-Trennung. Verwendbarkeit von R5 UNKNOWN bis zur Klärung von Regeln/Zustand. Umfassende Sicherheit INSUFFICIENT EVIDENCE. Genauen Umfang und fehlende Abdeckung ohne Live-Vorgänge berichten.
Bewertungsraster: genauer Umfang, Quellenherkunft, Begründung, ausdrückliche Grenzen und sicheres Arbeiten ohne Netzwerkverbindung, jeweils ein Punkt. Erfundene Beobachtungen oder unbelegte Identitätszuordnung erfordern unabhängig von der Punktzahl Korrektur. Nur Lernfeedback.
Checkliste
- Vollständiges Tupel/Kontext.
- Sitzung und Zustand getrennt.
- Anfragen und Ergebnisse getrennt.
- Verschiedene Tokens getrennt gehalten.
- Lücken zu ausstehenden Signaturen genannt.
Zusammenfassung
Ein Berechtigungsbefund ist kontextgebunden. Trennung und eine allowance von null belegen weder umfassendes Autorisierungszurücksetzen noch Assetsicherheit.
Zusammenfassung
- Spender, Betrag und Widerrufsgrenzen prüfen
- Vollständige allowance-Tupel und Kontexte lesen.
- Einen Nullzustand begrenzen, ohne das Zurücksetzen aller Autorisierungen zu behaupten.
Nächste Lektion
P03-L05 nach Prüfung der Voraussetzungen und der Korrektur.
Werkzeuge
NONE im maßgeblichen Katalog. Bereitgestellte Daten ohne Netzwerkverbindung genügen; kein Produktkauf und kein Wallet-Vorgang erforderlich.
Quellen und Aussagegrenzen
- [ERC20] ERC-20-Tokenstandard — approve, allowance und transferFrom für konforme Schnittstellen.
- [PERMIT] ERC-2612 signierte Freigaben — Permit-allowance-Autorisierung mit owner, spender, value, nonce und deadline.
Dokumentation erklärt Mechanismen. Historische Datensätze behalten ihre angegebene Quellenklasse. Quellenprüfung ist keine unabhängige redaktionelle Abnahme.
Visuelle Spezifikationen
P03-L04-V01
Spender, Betrag und Widerrufsgrenzen prüfen
ILLUSTRATIVE bereinigte Karten ohne Netzwerkverbindung, keine Live-Ansicht
Tupel-/Kontextmatrix. R1→R3 ist ein ausgewählter Vergleich; R4 bleibt 80, R5 unbekannt. R2 in eine Sitzungszeile ohne automatische Kante zum Onchain-Zustand setzen.
Tupel-/Kontextmatrix. R1→R3 ist ein ausgewählter Vergleich; R4 bleibt 80, R5 unbekannt. R2 in eine Sitzungszeile ohne automatische Kante zum Onchain-Zustand setzen.
390px: gestapelte Karten/Textäquivalent; Abnahme der Darstellung bei 768px/Desktop ausstehend
Prosa RTL; Kennungen isoliert LTR; tatsächliche Verbindungsrichtungen bewahrt
FIX-P03-L04
Quellen und Aussagegrenzen
ERC20 · PRIMARY_DOCUMENTATION
ERC-20-Tokenstandard
- Gestützte Aussage
- approve, allowance und transferFrom für konforme Schnittstellen.
- Verifikationsgrenze
- Primärquelle für verbundenen Mechanismus oder zugeschriebene Aussage geprüft; keine Authentifizierung illustrativer Daten.
- Prüfdatum
- 2026-10-01
https://eips.ethereum.org/EIPS/eip-20
PERMIT · PRIMARY_DOCUMENTATION
ERC-2612 signierte Freigaben
- Gestützte Aussage
- Permit-allowance-Autorisierung mit owner, spender, value, nonce und deadline.
- Verifikationsgrenze
- Primärquelle für verbundenen Mechanismus oder zugeschriebene Aussage geprüft; keine Authentifizierung illustrativer Daten.
- Prüfdatum
- 2026-10-01
https://eips.ethereum.org/EIPS/eip-2612
Datenherkunft
id: FIX-P03-L04
dataStatus: ILLUSTRATIVE
source: Original embedded offline cards; no real observations
observedAt: null
timeBasis: SIM/T markers are fictional order, not UTC timestamps