P13-L04 · P13 · P13-M01
Identifier modifications privilégiées observées et incertitude restante
Prérequis: P13-L03
Objectifs pédagogiques
- Identifier modifications privilégiées observées et incertitude restante
- Identifier changement d’état privilégié et limiter conclusions de transfert sélectif au scénario testé.
Pourquoi ce sujet compte
Création ou restriction peut changer capacités des utilisateurs, mais code présent ou un transfert échoué ne prouve pas indépendamment usage malveillant sur tous les portefeuilles.
Explication
Séparez capacité accessible, invocation observée, effet d’état et intention attribuée. Un nom mint ne suffit pas : inspectez implémentation, autorisation et voies alternatives. Création privilégiée observée exige identité exacte du token, rapprochement événement/état, bloc et montant. Un slogan de plafond peut être limité par mises à niveau ou rôles alternatifs. Une restriction peut avoir objectifs légitimes déclarés, mais effets réels se testent à état défini.
Pour transferts sélectifs, précisez classe d’expéditeur, destinataire, route, montant, bloc et méthode. Succès privilégié ne prouve pas sortie des utilisateurs ordinaires ; échec ordinaire ne prouve pas échec universel. Reverts peuvent venir de solde, allocation, route, échéance, état ou politique. Perte économique de sortie diffère aussi des frais nominaux. Conservez explications alternatives et dépendances non résolues.
L’exemple utilise lignes papier, pas simulations ou transactions réelles. Radar est nommé mais ne produit aucune sortie réelle. Rapportez modifications techniques dans leur périmètre stipulé et refusez attribution humaine/d’intention sans preuve indépendante.
Terminologie
Capacité : comportement privilégié accessible.
Invocation : usage enregistré de ce comportement.
Restriction sélective : résultats différents sous conditions d’expéditeur/route indiquées.
Périmètre de test : état et paramètres exacts d’une observation d’exécution.
Exemple historique
ILLUSTRATIVE au bloc B : création stipulée du rôle M ajoute 200 à offre 1000, donnant 1200. À B+1, W ordinaire échoue transfert de 10 unités sur R pour POLICY ; P privilégié réussit même montant/route. Soldes et allocations stipulés suffisants. Implémentation et couverture plus large absentes.
Spécifications visuelles
Matrice de permissions avec création M et transferts W/P, paramètres papier exacts et résultats. Ajouter lacunes de routes/montants non testés, pas badge universel de honeypot.
Caption: Modification privilégiée et résultats sélectifs fictifs ; aucune conclusion universelle de sortie ou d’intention.
SPECIFICATION_ONLY — le visuel rendu n’a pas été produit ni examiné indépendamment.
Ce que les preuves établissent
Dans la fiction, offre augmente de 20% et deux scénarios d’expéditeur ont résultats de politique différents. Observations papier limitées.
Ce que les preuves n’établissent pas
Aucune création réelle, déploiement, échec universel, intention nuisible, identité de contrôleur ou résultat Radar indépendant établi. Une route et un montant ne couvrent pas toutes les sorties.
Erreurs fréquentes
Appeler présence de code invocation observée ; supposer succès privilégié prouve sortie publique ; généraliser une route ; traiter restriction comme fraude automatique.
Exercice pratique
Calculez variation d’offre, rédigez tableau de scénarios et classez « tous peuvent sortir », « personne ne peut transférer » et « politique diffère selon expéditeur ». Nommez deux tests manquants.
Afficher la correction détaillée
Offre=1000+200=1200 ; hausse relative 200/1000=20%. Lignes : W/10/R/B+1/échec POLICY ; P/10/R/B+1/succès. Différence stipulée étayée pour ces lignes. Deux assertions universelles non établies. Tests manquants : autre montant et autre route/état avec expéditeurs ordinaires ; inspectez implémentation et autorisation avant attribution de mécanisme au-delà du motif fourni. Intention et identité restent insuffisamment étayées.
Liste de contrôle
- Séparer capacité, invocation et effet.
- Rapprocher offre en unités brutes compatibles.
- Limiter expéditeur/montant/route/état.
- Conserver explications alternatives et intention inconnue.
Résumé
Effets privilégiés observés et différences limitées d’exécution exigent enregistrements précis sans devenir assertions universelles ou criminelles.
Résumé
- Une fonction accessible ne prouve pas qu’elle a été utilisée.
- Le succès d’un compte privilégié ne prouve pas qu’un utilisateur ordinaire peut sortir.
- Un seul scénario testé ne règle pas toutes les voies d’exécution.
Leçon suivante
P13-L05
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.
- PROXY: Emplacements de stockage du proxy ERC-1967 — Emplacements normalisés d’implémentation/admin ; renoncer à un rôle ne prouve pas que toutes les voies de mise à niveau sont désactivées. 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-L04-V01
Identifier modifications privilégiées observées et incertitude restante
Modification privilégiée et résultats sélectifs fictifs ; aucune conclusion universelle de sortie ou d’intention.
Matrice de permissions avec création M et transferts W/P, paramètres papier exacts et résultats. Ajouter lacunes de routes/montants non testés, pas badge universel de honeypot.
Matrice de permissions avec création M et transferts W/P, paramètres papier exacts et résultats. Ajouter lacunes de routes/montants non testés, pas badge universel de honeypot.
À 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-L04-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
PROXY · PRIMARY_DOCUMENTATION
Emplacements de stockage du proxy ERC-1967
- Affirmation étayée
- Emplacements normalisés d’implémentation/admin ; renoncer à un rôle ne prouve pas que toutes les voies de mise à niveau sont désactivées.
- 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-1967
Provenance des données
id: P13-L04-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.