Aller au contenuBlockAssay

Conception des autorités et mises à niveau

P12-L03 · P12 · P12-M01

Expliquer les compromis de conservation, transfert et révocation des contrôles

ILLUSTRATIVE · needs_review

Prérequis: P12-L02

Objectifs pédagogiques

  • Expliquer les compromis de conservation, transfert et révocation des contrôles
  • Cartographier chaque contrôle conservé et expliquer ce qu’une révocation proposée retire ou ne retire pas.

Pourquoi ce sujet compte

« Renoncé » décrit imparfaitement les contrôles si un administrateur proxy, un rôle de création séparé ou une autorité de pause demeure. Une carte de permissions doit nommer la fonction concernée et toutes les voies pertinentes.

Explication

Inventoriez les capacités : création, destruction, pause, liste noire ou restrictions de transfert, mise à jour des métadonnées, changement des frais et mise à niveau de l’implémentation. Certaines peuvent ne pas exister ; leur absence exige des preuves d’implémentation, pas un bouton manquant. Nommez le rôle ou l’autorité pouvant invoquer chaque voie, sa délégation/récupération et ses conditions de changement.

Une révocation est limitée à une capacité particulière. Retirer la propriété du token ne retire pas intrinsèquement l’administrateur de mise à niveau du proxy ou un autre rôle privilégié. Les emplacements proxy normalisés aident à localiser certains champs d’implémentation/admin ; les conceptions personnalisées exigent leurs propres preuves. Multisignature et délais peuvent modifier les conditions d’exécution ; ils ne prouvent ni indépendance des signataires ni disparition de tout risque de compromission.

Pour chaque contrôle conservé proposé, déclarez conséquence pratique et raison d’être. Pour chaque transfert ou révocation, listez voies résiduelles et vérifications nécessaires. Ne transformez pas une déclaration paraissant irréversible en score de sécurité. Cette leçon ne change aucun rôle et n’exécute aucune transaction.

Terminologie

Capacité : action privilégiée accessible par une voie précise.

Révocation de rôle : suppression d’une relation d’autorisation.

Voie de mise à niveau : mécanisme pouvant changer le comportement de l’implémentation.

Contrôle résiduel : capacité restant après un changement déclaré.

Exemple historique

ILLUSTRATIVE carte Cedar : rôle de création M ; rôle de pause P ; administrateur proxy U ; éditeur de métadonnées D. Un changement proposé révoque M mais conserve P, U, D. U est décrit comme 2-of-3 avec délai de 24 heures ; indépendance des signataires et application déployée ne sont pas étayées.

Spécifications visuelles

Carte des permissions avec nœuds M, P, U, D avant/après révocation proposée de M. Conservez U/P/D comme voies pleines retenues ; annotez2-of-3/24h comme hypothèses de conception non vérifiées.

Légende : Révocation fictive propre à un rôle ; les voies de mise à niveau et pause conservées restent visibles.

SPECIFICATION_ONLY — le visuel rendu n’a pas été produit ni examiné indépendamment.

Ce que les preuves établissent

La carte fictive montre que la révocation proposée du rôle de création laisse trois capacités déclarées. Le 2-of-3 et le délai ne sont que des affirmations de conception.

Ce que les preuves n’établissent pas

Il n’existe ni état de rôle déployé, multisig vérifié, révocation réelle, garantie permanente d’offre ni preuve de signataires indépendants. U pourrait changer le comportement si l’implémentation proposée le permet.

Erreurs fréquentes

Appeler révocation de M « tous les contrôles retirés » ; supposer que multisig prouve des personnes indépendantes ; traiter un délai comme un audit ; ignorer voies de métadonnées ou frais.

Exercice pratique

Produisez des lignes de capacités avant/après et reformulez « Cedar a tout renoncé et ne peut changer ». Indiquez deux contrôles nécessaires avant toute affirmation de révocation réelle.

Afficher la correction détaillée

Avant : M création, P pause, U mise à niveau, D métadonnées. Après changement proposé : M retiré par hypothèse ; P/U/D conservés. Déclaration révisée : « La conception illustrative propose la révocation du rôle de création tout en conservant pause, mise à niveau et métadonnées ; aucun état d’autorisation réel ni transaction n’est vérifié. » Vérifiez stockage exact d’implémentation/rôles et reçu de révocation à un bloc fixe, puis voies résiduelles de mise à niveau/délégation. L’affirmation 2-of-3/24h exige preuves du contrat réel et de politique des signataires.

Liste de contrôle

  • Inventorier chaque voie privilégiée substantielle.
  • Décrire révocation spécifique et contrôle résiduel.
  • Qualifier hypothèses de signataires et délai.
  • Séparer affirmations de conception et état déployé.

Résumé

La déclaration des contrôles est propre à chaque capacité ; un rôle retiré ne prouve pas un actif immuable ou sans autorité.

Résumé

  • Une révocation a un périmètre.
  • Les voies de mise à niveau et délégation peuvent conserver le contrôle.
  • Une étiquette multisig ne prouve pas l’indépendance des signataires.

Leçon suivante

P12-L04

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

  • 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.
  • 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

P12-L03-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Expliquer les compromis de conservation, transfert et révocation des contrôles

Révocation fictive propre à un rôle ; les voies de mise à niveau et pause conservées restent visibles.

Carte des permissions avec nœuds M, P, U, D avant/après révocation proposée de M. Conservez U/P/D comme voies pleines retenues ; annotez2-of-3/24h comme hypothèses de conception non vérifiées.

Carte des permissions avec nœuds M, P, U, D avant/après révocation proposée de M. Conservez U/P/D comme voies pleines retenues ; annotez2-of-3/24h comme hypothèses de conception non vérifiées.

À 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.

P12-L03-ILLUSTRATIVE-v1

Sources et limites des affirmations

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

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

Provenance des données

id: P12-L03-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

P12-L03-Q1 · M est révoqué mais U reste. Quelle affirmation convient ?
P12-L03-Q2 · Que prouve 2-of-3 dans cette carte papier ?
P12-L03-Q3 · Pourquoi inspecter voies d’implémentation/admin ?
P12-L03-Q4 · Que doit déclarer un rôle de pause conservé ?
P12-L03-Q5 · Quelle paire étaye une déclaration de révocation réelle ?