P12-L03 · P12 · P12-M01
Spiegare i compromessi tra mantenimento, trasferimento e revoca del controllo
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
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
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
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.