Naar inhoudBlockAssay

Autoriteits- en upgradeontwerp

P12-L03 · P12 · P12-M01

Leg afwegingen bij behoud, overdracht en intrekking van controle uit

ILLUSTRATIVE · needs_review

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

SPECIFICATION_ONLY · ILLUSTRATIVE

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
Primaire bron openen
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
Primaire bron openen
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.

Toets je redenering

P12-L03-Q1 · M wordt ingetrokken maar U blijft. Welke uitspraak past?
P12-L03-Q2 · Wat bewijst 2-of-3 in deze papieren kaart?
P12-L03-Q3 · Waarom implementatie-/adminpaden inspecteren?
P12-L03-Q4 · Wat moet een behouden pauzerol bekendmaken?
P12-L03-Q5 · Welk paar onderbouwt een live intrekkingsuitspraak?