Zum InhaltBlockAssay

Freigaben, allowances und Widerruf

P03-L04 · P03 · P03-M01

Spender, Betrag und Widerrufsgrenzen prüfen

ILLUSTRATIVE · needs_review

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

Dokumentation erklärt Mechanismen. Historische Datensätze behalten ihre angegebene Quellenklasse. Quellenprüfung ist keine unabhängige redaktionelle Abnahme.

Visuelle Spezifikationen

P03-L04-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

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
Primärquelle öffnen
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
Primärquelle öffnen
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

Prüfe deine Begründung

P03-L04-Q1 · Belegt R2 Widerruf?
P03-L04-Q2 · Was deckt R3 ab?
P03-L04-Q3 · Widerspricht R4 dem Nullwert von TOKEN-A?
P03-L04-Q4 · Verwendbarkeit von R5?
P03-L04-Q5 · Begrenzte Aussage?