Aller au contenuBlockAssay

Abus de privilèges d’offre et transferts restrictifs

P13-L04 · P13 · P13-M01

Identifier modifications privilégiées observées et incertitude restante

ILLUSTRATIVE · needs_review

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

SPECIFICATION_ONLY · ILLUSTRATIVE

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
Ouvrir la source primaire
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
Ouvrir la source primaire
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.

Testez votre raisonnement

P13-L04-Q1 · Offre 1000 plus 200 : quelle hausse relative ?
P13-L04-Q2 · P réussit et W échoue sur R. Que prouve-t-on ?
P13-L04-Q3 · Fonction mint dans source. Que faut-il pour affirmer création réelle ?
P13-L04-Q4 · Pourquoi noter hypothèses de solde/allocation suffisants ?
P13-L04-Q5 · Que varier au prochain test ?