Vai al contenutoBlockAssay

Progettazione di autorità e aggiornamenti

P12-L03 · P12 · P12-M01

Spiegare i compromessi tra mantenimento, trasferimento e revoca del controllo

ILLUSTRATIVE · needs_review

Prerequisiti: P12-L02

Obiettivi di apprendimento

  • Spiegare i compromessi tra mantenimento, trasferimento e revoca del controllo
  • Mappare ogni controllo mantenuto e spiegare che cosa una revoca proposta rimuove e che cosa non rimuove.

Perché è importante

«Rinunciato» è una descrizione incompleta del controllo se rimangono un amministratore del proxy, un ruolo di mint separato o un’autorità di pausa. Una mappa dei permessi necessita della funzione interessata e di ogni percorso pertinente.

Spiegazione

Crea un inventario delle capacità: mint, burn, pausa, blacklist o restrizioni di trasferimento, aggiornamento dei metadati, modifica delle commissioni e aggiornamento dell’implementazione. Alcune capacità possono non esistere; l’assenza richiede evidenze dell’implementazione anziché un pulsante mancante nell’interfaccia. Identifica ruolo o autorità che può invocare ogni percorso, relativa via di delega/recupero e condizioni di modifica.

Una revoca è circoscritta a una capacità specifica. Rimuovere la proprietà del token non rimuove intrinsecamente un amministratore di aggiornamento del proxy o un altro ruolo privilegiato. Gli slot standard dei proxy aiutano a individuare determinati campi di implementazione/amministrazione, ma progetti personalizzati richiedono evidenze proprie. Configurazioni multisig e ritardi possono modificare le condizioni di esecuzione; non stabiliscono firmatari indipendenti né eliminano ogni rischio di compromissione.

Per ogni controllo che si propone di mantenere, dichiara conseguenza pratica e motivo dell’esistenza. Per ogni trasferimento o revoca, elenca percorsi residui e verifiche necessarie. Non trasformare una dichiarazione apparentemente irreversibile in un punteggio di sicurezza. Questa lezione non cambia ruoli e non esegue transazioni.

Terminologia

Capacità: azione privilegiata raggiungibile tramite un percorso specifico.

Revoca del ruolo: rimozione di una relazione di autorizzazione.

Percorso di aggiornamento: meccanismo che può cambiare comportamento dell’implementazione.

Controllo residuo: capacità che rimane dopo una modifica dichiarata.

Esempio storico

ILLUSTRATIVE mappa Cedar: ruolo di mint M; ruolo di pausa P; amministratore del proxy U; editor dei metadati D. Una modifica proposta revoca M ma mantiene P, U, D. U è descritto come 2-su-3 con ritardo di 24 ore; indipendenza dei firmatari e imposizione distribuita non sono comprovate.

Specifiche visive

Mappa dei permessi del contratto con nodi M, P, U, D prima/dopo la revoca proposta di M. Mantieni U/P/D come percorsi continui mantenuti; annota2-su-3/24h come ipotesi progettuali non verificate.

Didascalia: Revoca fittizia specifica del ruolo; i percorsi mantenuti di aggiornamento e pausa rimangono visibili.

SPECIFICATION_ONLY — la visualizzazione non è stata prodotta né sottoposta a revisione indipendente.

Cosa dimostrano le prove

La mappa fittizia chiarisce che la revoca proposta del ruolo di mint lascia tre capacità dichiarate. Il 2-su-3 e il ritardo sono soltanto affermazioni progettuali.

Cosa non dimostrano le prove

Non vi sono stato distribuito dei ruoli, multisig verificato, revoca effettiva, garanzia permanente dell’offerta o prova di firmatari indipendenti. U potrebbe cambiare il comportamento se l’implementazione proposta lo permette.

Errori comuni

Chiamare la revoca di M «tutto il controllo rimosso»; presumere che un’etichetta multisig provi persone indipendenti; trattare un ritardo come audit; ignorare percorsi di metadati o commissioni.

Esercizio pratico

Produci righe delle capacità prima/dopo e riscrivi «Cedar ha rinunciato integralmente e non può cambiare». Dichiara due verifiche necessarie prima di qualsiasi affermazione di revoca reale.

Mostra correzione dettagliata

Prima: M mint, P pausa, U aggiornamento, D metadati. Dopo la modifica proposta: M rimosso per ipotesi; P/U/D mantenuti. Dichiarazione rivista: «Il progetto illustrativo propone la revoca del ruolo di mint mantenendo controlli di pausa, aggiornamento e metadati; nessuno stato reale di autorizzazione o transazione è verificato». Verifica implementazione esatta/memoria dei ruoli e ricevuta della revoca a un blocco fisso, poi ispeziona percorsi residui di aggiornamento/delega. L’affermazione 2-su-3/24h necessita di evidenze del contratto effettivo e della politica dei firmatari.

Lista di controllo

  • Inventaria ogni percorso privilegiato rilevante.
  • Descrivi revoca specifica del ruolo e controllo residuo.
  • Qualifica ipotesi sui firmatari e sul ritardo.
  • Mantieni separate affermazioni progettuali e stato distribuito.

Riepilogo

La dichiarazione del controllo è specifica della capacità; un ruolo rimosso non stabilisce un asset immutabile o privo di autorità.

Riepilogo

  • La revoca ha un ambito.
  • Percorsi di aggiornamento e delega possono preservare il controllo.
  • Un’etichetta multisig non prova indipendenza dei firmatari.

Lezione successiva

P12-L04

Strumenti

Usa lo strumento BlockAssay indicato soltanto come contesto per leggere le evidenze. Questa lezione non crea output dello strumento, sessioni di account o diritti di accesso. Esercizio offline; non firmare, distribuire, approvare o finanziare nulla.

Fonti e limiti delle affermazioni

  • PROXY: Slot di memoria dei proxy ERC-1967 — Slot standardizzati di implementazione/amministrazione; rinunciare a un ruolo non dimostra che tutti i percorsi di aggiornamento siano disabilitati. Limite: Soltanto documentazione del meccanismo; i valori illustrativi originali sono stipulati, non osservazioni. I dati storici hanno provenienza congelata separatamente e lacune esplicite nella raccolta.
  • ERC20: Standard ERC-20 — Interfaccia dei token e semantica delle autorizzazioni di spesa; lo standard non stabilisce identità dell’emittente o sicurezza dei permessi. Limite: Soltanto documentazione del meccanismo; i valori illustrativi originali sono stipulati, non osservazioni. I dati storici hanno provenienza congelata separatamente e lacune esplicite nella raccolta.

Classificazioni delle prove

ILLUSTRATIVE — input offline interamente fittizi; nessuna osservazione attuale.

Data di osservazione

null — nessuna osservazione reale

Versione del contenuto

1

Data di revisione

null

Stato della revisione

needs_review

Specifiche visive

P12-L03-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Spiegare i compromessi tra mantenimento, trasferimento e revoca del controllo

Revoca fittizia specifica del ruolo; i percorsi mantenuti di aggiornamento e pausa rimangono visibili.

Mappa dei permessi del contratto con nodi M, P, U, D prima/dopo la revoca proposta di M. Mantieni U/P/D come percorsi continui mantenuti; annota2-su-3/24h come ipotesi progettuali non verificate.

Mappa dei permessi del contratto con nodi M, P, U, D prima/dopo la revoca proposta di M. Mantieni U/P/D come percorsi continui mantenuti; annota2-su-3/24h come ipotesi progettuali non verificate.

A 390 px impila osservazioni, ipotesi, lacune e conclusione; conserva gli ID completi e un equivalente testuale integrale. Ogni tabella larga scorre localmente.

La prosa può seguire RTL; ID, quantità e assi temporali rimangono LTR. Preserva la direzione delle dipendenze.

P12-L03-ILLUSTRATIVE-v1

Fonti e limiti delle affermazioni

PROXY · PRIMARY_DOCUMENTATION

Slot di memoria dei proxy ERC-1967

Affermazione supportata
Slot standardizzati di implementazione/amministrazione; rinunciare a un ruolo non dimostra che tutti i percorsi di aggiornamento siano disabilitati.
Limite di verifica
Soltanto documentazione del meccanismo; i valori illustrativi originali sono stipulati, non osservazioni. I dati storici hanno provenienza congelata separatamente e lacune esplicite nella raccolta.
Data della verifica
2026-10-02
Apri fonte primaria
https://eips.ethereum.org/EIPS/eip-1967

ERC20 · PRIMARY_DOCUMENTATION

Standard ERC-20

Affermazione supportata
Interfaccia dei token e semantica delle autorizzazioni di spesa; lo standard non stabilisce identità dell’emittente o sicurezza dei permessi.
Limite di verifica
Soltanto documentazione del meccanismo; i valori illustrativi originali sono stipulati, non osservazioni. I dati storici hanno provenienza congelata separatamente e lacune esplicite nella raccolta.
Data della verifica
2026-10-02
Apri fonte primaria
https://eips.ethereum.org/EIPS/eip-20

Provenienza dei dati

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.

Verifica il ragionamento

P12-L03-Q1 · M è revocato ma U rimane. Quale affermazione corrisponde?
P12-L03-Q2 · Che cosa prova 2-su-3 in questa mappa su carta?
P12-L03-Q3 · Perché ispezionare percorsi di implementazione/amministrazione?
P12-L03-Q4 · Che cosa dovrebbe dichiarare un ruolo di pausa mantenuto?
P12-L03-Q5 · Quale coppia supporta un’affermazione di revoca reale?