P12-L03 · P12 · P12-M01
Leg afwegingen bij behoud, overdracht en intrekking van controle uit
Vereisten: P12-L02
Leerdoelen
- Leg afwegingen bij behoud, overdracht en intrekking van controle uit
- Breng elke behouden controle in kaart en leg uit wat een voorgestelde intrekking wel en niet verwijdert.
Waarom dit belangrijk is
“Afstand gedaan” is een onvolledige controlebeschrijving als een proxyadmin, afzonderlijke mintrol of pauzeautoriteit blijft bestaan. Een permissiekaart heeft de betrokken functie en elk relevant pad nodig.
Uitleg
Maak een mogelijkhedeninventaris: mint, burn, pauzeren, blacklist of overdrachtsbeperkingen, metadatawijziging, kostenwijziging en implementatie-upgrade. Sommige mogelijkheden bestaan mogelijk niet; afwezigheid vereist implementatiebewijs in plaats van een ontbrekende interfaceknop. Benoem de rol of autoriteit die elk pad kan aanroepen, de delegatie-/herstelroute en de voorwaarden voor wijziging.
Een intrekking is beperkt tot een specifieke mogelijkheid. Verwijdering van tokeneigendom verwijdert niet inherent een proxy-upgradeadmin of andere bevoorrechte rol. Standaard proxyslots helpen bepaalde implementatie-/adminvelden te vinden, maar aangepaste ontwerpen vereisen hun eigen bewijs. Multisignature- en vertragingsregelingen kunnen uitvoeringsvoorwaarden veranderen; zij bewijzen geen onafhankelijke ondertekenaars en elimineren niet elk compromitteringsrisico.
Maak voor elke voorgestelde behouden controle het praktische gevolg en het bestaansdoel bekend. Som voor elke overdracht of intrekking de resterende paden en vereiste verificatie op. Verander een onomkeerbaar ogende verklaring niet in een veiligheidsscore. Deze les wijzigt geen rollen en voert geen transactie uit.
Begrippen
Mogelijkheid: bevoorrechte actie bereikbaar via een specifiek pad.
Rolintrekking: verwijdering van één autorisatierelatie.
Upgradepad: mechanisme dat implementatiegedrag kan veranderen.
Resterende controle: mogelijkheid die na een genoemde wijziging blijft bestaan.
Historisch voorbeeld
ILLUSTRATIVE Cedar-kaart: mintrol M; pauzerol P; proxyadmin U; metadata-editor D. Een voorgestelde wijziging trekt M in maar behoudt P, U, D. U wordt beschreven als 2-of-3 met een vertraging van 24 uur; onafhankelijkheid van ondertekenaars en gedeployde handhaving zijn niet met bewijs onderbouwd.
Visuele specificaties
Contractpermissiekaart met M-, P-, U-, D-nodes vóór/na voorgestelde M-intrekking. Houd U/P/D als doorgetrokken behouden paden; annoteer2-of-3/24h als ongeverifieerde ontwerpaannames.
Bijschrift: Fictieve rolspecifieke intrekking; behouden upgrade- en pauzepaden blijven zichtbaar.
SPECIFICATION_ONLY — het gerenderde beeld is niet geproduceerd of onafhankelijk beoordeeld.
Wat het bewijs aantoont
De fictieve kaart maakt duidelijk dat de voorgestelde mintrolintrekking drie genoemde mogelijkheden behoudt. De 2-of-3 en vertraging zijn uitsluitend ontwerpclaims.
Wat het bewijs niet aantoont
Er is geen gedeployde roltoestand, geverifieerde multisig, werkelijke intrekking, permanente aanbodgarantie of bewijs van onafhankelijke ondertekenaars. U zou gedrag kunnen veranderen als de voorgestelde implementatie dit toestaat.
Veelgemaakte fouten
Intrekking van M “alle controle verwijderd” noemen; aannemen dat een multisiglabel onafhankelijke mensen bewijst; een vertraging als audit behandelen; metadata- of kostenpaden negeren.
Praktische oefening
Maak mogelijkhedenrijen voor vóór/na en herschrijf “Cedar heeft volledig afstand gedaan en kan niet veranderen.” Vermeld twee controles die nodig zijn vóór enige live intrekkingsclaim.
Uitgewerkte correctie tonen
Vóór: M mint, P pauze, U upgrade, D metadata. Na de voorgestelde wijziging: M volgens aanname verwijderd; P/U/D behouden. Herziene verklaring: “Het illustratieve ontwerp stelt mintrolintrekking voor terwijl pauze-, upgrade- en metadatacontroles behouden blijven; geen live autorisatietoestand of transactie is geverifieerd.” Controleer de exacte implementatie-/rolopslag en het intrekkingsbewijs bij een vast blok, en inspecteer daarna resterende upgrade-/delegatiepaden. De 2-of-3/24h-verklaring heeft werkelijk contract- en ondertekenaarsbeleidbewijs nodig.
Controlelijst
- Inventariseer elk wezenlijk bevoorrecht pad.
- Beschrijf rolspecifieke intrekking en resterende controle.
- Kwalificeer aannames over ondertekenaars en vertraging.
- Houd ontwerpclaims gescheiden van gedeployde toestand.
Samenvatting
Controleverklaringen zijn specifiek per mogelijkheid; één verwijderde rol bewijst geen onveranderlijk of autoriteitsvrij activum.
Samenvatting
- Intrekking heeft een reikwijdte.
- Upgrade- en delegatiepaden kunnen controle behouden.
- Een multisiglabel bewijst geen onafhankelijkheid van ondertekenaars.
Volgende les
P12-L04
Hulpmiddelen
Gebruik de genoemde BlockAssay-tool uitsluitend als context voor het lezen van bewijs. Deze les maakt geen tooluitvoer, accountsessie of toegangsaanspraak aan. Offline oefening; onderteken, deploy, autoriseer of financier niets.
Bronnen en grenzen van claims
- PROXY: ERC-1967-proxyopslagslots — Gestandaardiseerde implementatie-/adminslots; afstand doen van één rol bewijst niet dat alle upgradepaden uitgeschakeld zijn. Grens: Alleen documentatie van het mechanisme; oorspronkelijke illustratieve waarden zijn gestipuleerd, geen waarnemingen. Historische gegevens hebben afzonderlijk vastgelegde herkomst en expliciete hiaten in de verzameling.
- ERC20: ERC-20-standaard — Tokeninterface en allowance-semantiek; de standaard bewijst geen identiteit van de uitgever of veilige permissies. Grens: Alleen documentatie van het mechanisme; oorspronkelijke illustratieve waarden zijn gestipuleerd, geen waarnemingen. Historische gegevens hebben afzonderlijk vastgelegde herkomst en expliciete hiaten in de verzameling.
Bewijsklassen
ILLUSTRATIVE — volledig fictieve offline invoer; geen actuele waarneming.
Observatiedatum
null — geen echte waarneming
Inhoudsversie
1
Beoordelingsdatum
null
Beoordelingsstatus
needs_review
Visuele specificaties
P12-L03-V01
Leg afwegingen bij behoud, overdracht en intrekking van controle uit
Fictieve rolspecifieke intrekking; behouden upgrade- en pauzepaden blijven zichtbaar.
Contractpermissiekaart met M-, P-, U-, D-nodes vóór/na voorgestelde M-intrekking. Houd U/P/D als doorgetrokken behouden paden; annoteer2-of-3/24h als ongeverifieerde ontwerpaannames.
Contractpermissiekaart met M-, P-, U-, D-nodes vóór/na voorgestelde M-intrekking. Houd U/P/D als doorgetrokken behouden paden; annoteer2-of-3/24h als ongeverifieerde ontwerpaannames.
Stapel waarnemingen, aannames, hiaten en conclusie op 390 px; behoud volledige ID’s en een volledig tekstequivalent. Brede tabellen scrollen lokaal.
Proza mag RTL volgen; ID’s, hoeveelheden en tijdassen blijven LTR. Behoud de richting van afhankelijkheden.
P12-L03-ILLUSTRATIVE-v1
Bronnen en grenzen van claims
PROXY · PRIMARY_DOCUMENTATION
ERC-1967-proxyopslagslots
- Ondersteunde claim
- Gestandaardiseerde implementatie-/adminslots; afstand doen van één rol bewijst niet dat alle upgradepaden uitgeschakeld zijn.
- Verificatiegrens
- Alleen documentatie van het mechanisme; oorspronkelijke illustratieve waarden zijn gestipuleerd, geen waarnemingen. Historische gegevens hebben afzonderlijk vastgelegde herkomst en expliciete hiaten in de verzameling.
- Controledatum
- 2026-10-02
https://eips.ethereum.org/EIPS/eip-1967
ERC20 · PRIMARY_DOCUMENTATION
ERC-20-standaard
- Ondersteunde claim
- Tokeninterface en allowance-semantiek; de standaard bewijst geen identiteit van de uitgever of veilige permissies.
- Verificatiegrens
- Alleen documentatie van het mechanisme; oorspronkelijke illustratieve waarden zijn gestipuleerd, geen waarnemingen. Historische gegevens hebben afzonderlijk vastgelegde herkomst en expliciete hiaten in de verzameling.
- Controledatum
- 2026-10-02
https://eips.ethereum.org/EIPS/eip-20
Herkomst van gegevens
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.