P13-L02 · P13 · P13-M01
Reconstruire une séquence assainie d’autorisation malveillante
Prérequis: P13-L01
Objectifs pédagogiques
- Reconstruire une séquence assainie d’autorisation malveillante
- Reconstruire une séquence assainie d’autorisation et de dépense en séparant assertions d’autorisation, de mouvement et de tromperie.
Pourquoi ce sujet compte
Une autorisation peut habiliter un dépensier sans déplacer de fonds. Confondre autorisation et perte masque l’enregistrement ultérieur qui établirait un transfert réel.
Explication
Séparez représentation destinée à l’utilisateur, modification d’autorisation, tentative de dépense et mouvement observé. L’allocation ERC-20 est une permission technique ; un événement d’approbation seul ne montre pas un transfert achevé. Un mouvement réussi de type transferFrom exige exécution/reçu pertinent et rapprochement d’état. Une autorisation par signature a son propre schéma et périmètre ; ne généralisez pas approve ordinaire à tous les messages signés.
Conservez actif, propriétaire, dépensier, montant, réseau et base temporelle exacts pour un cas réel. Ici, seulement des étiquettes papier non exécutables. Si une page promet une action et l’autorisation stipulée en accorde une autre, rapportez l’incohérence. Tromperie ou coercition exige preuves admissibles de représentation et contexte ; une large allocation expose un contrôle sans prouver automatiquement une intention criminelle.
Ne demandez jamais connexion de portefeuille, signature, autorisation, envoi de fonds ou phrase de récupération/clé privée pour démontrer le mécanisme. Utilisez des enregistrements assainis. Répondre à un incident réel peut nécessiter expertise contextuelle ; cette leçon est une lecture de preuves, pas une procédure de transaction.
Terminologie
Allocation : autorisation technique de dépense pour un dépensier.
Approbation : mise à jour de permission, distincte du mouvement réel.
Événement de dépense : preuve d’exécution que des actifs ont bougé sous une capacité.
Conflit de représentation : action promise différente du contrôle accordé.
Exemple historique
ILLUSTRATIVE : page papier P promet « réclamer 10 unités ». R1 stipule que propriétaire W accorde à S allocation 1000 pour T. R2 stipule que S déplace avec succès 400 T de W vers D ; reçu R2 n’existe que comme ligne inventée. La capture n’identifie pas d’opérateur humain.
Spécifications visuelles
Chronologie de permissions P→R1 autorisation→R2 mouvement avec montants distincts 10/1000/400 et voie d’identité inconnue. Aucun URL actif ni instruction exécutable d’approbation.
Caption: Séquence fictive assainie ; autorisation et mouvement accompli sont des enregistrements distincts.
SPECIFICATION_ONLY — le visuel rendu n’a pas été produit ni examiné indépendamment.
Ce que les preuves établissent
Dans l’exemple, R1 modifie permission et R2 enregistre mouvement de 400 unités. Texte de réclamation de 10 unités contredit périmètre de permission de 1000 unités.
Ce que les preuves n’établissent pas
Aucun site réel de phishing, signature réelle, perte réelle, identité d’opérateur ou intention criminelle n’est prouvé. R1 seul n’établit aucun mouvement ; une révocation ultérieure n’annulerait pas R2.
Erreurs fréquentes
Appeler approbation un transfert ; utiliser permission illimitée comme preuve de fraude ; inventer reçu manquant ; demander une signature pour tester.
Exercice pratique
Construisez quatre colonnes pour P,R1,R2 et identité. Calculez allocation restante selon réduction simple stipulée et indiquez comment la conclusion change sans R2.
Afficher la correction détaillée
P : représentation fictive attribuée de réclamation de 10 unités. R1 : permission fictive 1000 T à S. R2 : mouvement fictif réussi de 400 T vers D. Identité : inconnue. Selon réduction ordinaire stipulée, reste=1000−400=600 ; implémentations réelles peuvent différer et nécessitent inspection. Sans R2, seulement exposition d’autorisation et discordance de représentation, pas perte accomplie. Même avec R2, mouvement technique n’identifie pas opérateur ni n’établit intention indépendamment. Aucune interaction de portefeuille.
Liste de contrôle
- Séparer représentation, approbation et mouvement.
- Lier chaque ligne à actif/propriétaire/dépensier/réseau.
- Ne pas inventer les exécutions absentes.
- Utiliser données assainies hors ligne sans signatures ni fonds.
Résumé
L’analyse d’abus d’autorisation exige permission et preuves de mouvement ; représentation et identité s’évaluent séparément.
Résumé
- Approbation n’est pas transfert.
- Une dépense ultérieure peut établir mouvement dans son périmètre.
- Autorisation technique n’identifie pas humain ni ne prouve intention.
Leçon suivante
P13-L03
Outils
Utilisez l’outil BlockAssay nommé uniquement comme contexte de lecture des preuves. Cette leçon ne crée aucune sortie d’outil, session de compte ni droit d’accès. Exercice hors ligne ; ne signez, ne déployez, n’approuvez et ne financez rien.
Sources et limites des affirmations
- ERC20: Norme ERC-20 — Interface du token et sémantique des autorisations ; la norme n’établit ni l’identité de l’émetteur ni la sécurité des permissions. Limite : Documentation du mécanisme uniquement ; les valeurs illustratives originales sont stipulées, pas observées. Les enregistrements historiques disposent d’une provenance figée séparément et de lacunes de collecte explicites.
Classification des preuves
ILLUSTRATIVE — entrées hors ligne entièrement fictives ; aucune observation actuelle.
Date d’observation
null — aucune observation réelle
Version du contenu
1
Date de révision
null
Statut de révision
needs_review
Spécifications visuelles
P13-L02-V01
Reconstruire une séquence assainie d’autorisation malveillante
Séquence fictive assainie ; autorisation et mouvement accompli sont des enregistrements distincts.
Chronologie de permissions P→R1 autorisation→R2 mouvement avec montants distincts 10/1000/400 et voie d’identité inconnue. Aucun URL actif ni instruction exécutable d’approbation.
Chronologie de permissions P→R1 autorisation→R2 mouvement avec montants distincts 10/1000/400 et voie d’identité inconnue. Aucun URL actif ni instruction exécutable d’approbation.
À 390 px, empilez observations, hypothèses, lacunes et conclusion ; conservez les IDs complets et un équivalent textuel intégral. Tout tableau large défile localement.
La prose peut suivre RTL ; les IDs, quantités et axes temporels restent LTR. Préservez le sens des dépendances.
P13-L02-ILLUSTRATIVE-v1
Sources et limites des affirmations
ERC20 · PRIMARY_DOCUMENTATION
Norme ERC-20
- Affirmation étayée
- Interface du token et sémantique des autorisations ; la norme n’établit ni l’identité de l’émetteur ni la sécurité des permissions.
- Limite de vérification
- Documentation du mécanisme uniquement ; les valeurs illustratives originales sont stipulées, pas observées. Les enregistrements historiques disposent d’une provenance figée séparément et de lacunes de collecte explicites.
- Date de vérification
- 2026-10-02
https://eips.ethereum.org/EIPS/eip-20
Provenance des données
id: P13-L02-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.