P08-L03 · P08 · P08-M01
Inventariseer voorraadwijzigende privileges en toepasselijke voorwaarden
Vereisten: P08-L02
Leerdoelen
- Som afzonderlijke mint-/burnpaden en doelreikwijdte op.
- Bereken resterende capaciteit bij opeenvolgende gebeurtenissen.
- Identificeer rolbeheer en onopgeloste upgradevoorwaarden.
EN bronmaster · P08-L03 · 45 minuten geschat · needs_review
Waarom dit belangrijk is
“Mint uitgeschakeld” en “burn mogelijk” betreffen specifieke operaties en autorisatieregels. Eigen tokens verbranden verschilt van andermans saldo beïnvloeden als beheerder. Een limiet begrenst alleen paden die ze werkelijk toepassen.
Je inventariseert voorraadwijzigende mogelijkheden, voorwaarden en bereik. Je beoordeelt rechten; leert geen tokenuitgifte en voorspelt geen bevoegdheidsgebruik.
Uitleg
Wie mag wat doen met welk saldo?
Benoem operatie, account/rol, doelbereik, hoeveelheidsgrenzen en wijzigbaarheid. “Beheerder aanwezig” mist de nuttigste informatie. Minten naar ontvanger, eigen burn en burn van derden verschillen.
Bepaal of controle de aanroeper, allowance, rol of programmavoorwaarde betreft. Noteer de voorwaarde reproduceerbaar. Een functienaam is geen implementatie: burn kan intern overdragen, distribute kan minten.
Gebruik een mogelijkheidstabel met bewijsverwijzingen. Een historische operatie ondersteunt die gebeurtenis, niet alle huidige rechten. Een snapshotrecht ondersteunt voorwaardelijke beschikbaarheid, geen gebruik.
Onderscheid standaardburnpaden
Solana-standaardburn verlaagt accountsaldo en mintvoorraad. Eigenaar of goedgekeurde gedelegeerde kan autoriseren; permanente delegatie in het Token Extension Program voegt een mintpad toe [S08-BURN]. Gewone goedkeuring is account- en bedraggebonden, geen algemeen beheer.
PermanentDelegate kan transfer en burn over accounts van zijn mint autoriseren; accounteigenaars kunnen hem lokaal niet intrekken [S08-DELEGATE]. Inspecteer extensies in plaats van alle bevoegdheid afwezig te noemen bij ontbrekende mintbevoegdheid. Een extensiegeschikt programma bewijst geen aanwezige extensie.
OpenZeppelin ERC20Burnable onderscheidt eigen burn en allowance-gebaseerde burnFrom. Capped begrenst minten binnen die implementatie [S08-OZERC20]. Bibliotheekdocumentatie bewijst patronen, geen aanwezigheid in een specifiek contract. Inspecteer code en toestand.
Behandel limieten als voorwaardelijke claims
Een limiet heeft eenheid en context. Maximaal 1,200 weergegeven tokens met zes decimalen is 1,200,000,000 ruwe eenheden. Weergegeven totaal met ruwe limiet vergelijken vervalst capaciteit.
De limiet geldt slechts op afdwingende paden. Andere omwegen of upgrades vereisen grenzen in het rapport. Hier geldt de regel voor alle genoemde mintaanroepen in de huidige implementatie; toekomstige implementaties vallen buiten de volledige-padaanname.
Burn verlaagt voorraad en creëert ruimte bij een maximale uitstaande voorraad. Een levenslange uitgiftelimiet verschilt. Leid die niet af uit “cap”; benoem uitstaande voorraad, cumulatieve uitgifte, periodebudget of ander beleid.
Inspecteer rolbeheer
Lidmaatschap verschilt van beheer. Wie minterrollen kan geven, creëert toekomstige minters zonder zelf te kunnen minten. AccessControl gebruikt rolcontroles en beheer; Ownable is een ander patroon [S08-ACCESS]. Eén eigenaarsveld vat niet elke route samen.
Volg wie toestemming kan wijzigen. Bij een contractbeheerder vergen ondertekenaars, drempel en vertraging eigen bewijs. Multisig-label bewijst geen drempel. Houd bij ontbrekende details contractrol bekend en controleregeling onbekend.
Voorraadwijziging en upgrade zijn verwante aparte bevoegdheden. P08-L04 onderzoekt de hier gevonden upgradeleemte. “Vast onder huidige regels” wordt geen “voor altijd vast” als logica wijzigbaar is.
Scheid mogelijkheden van voltooide gebeurtenissen
Succesvolle voorraadwijziging vereist meer dan een ingezonden transactie of gebeurtenislabel. Controleer uitvoering, activum, boekhouddelta en context. Tel mislukte pogingen niet mee. Transfer naar ontoegankelijk adres kan beschikbare inventaris verminderen zonder protocolvoorraadverlaging.
Geverifieerde burn voorspelt geen waardestijging; hoeveelheid en marktuitvoering zijn andere metingen. Mintprivilege bewijst geen kwade intentie. Rapporteer voorwaarden en vraag aanvullend bewijs.
Schrijf een begrensde rechtenbevinding
“Op S0 kan M volgens de huidige regel voorraad verhogen tot de uitstaande limiet; G kan die rol verlenen” is reproduceerbaar. “Inflatoir en onveilig” vermengt een ongedefinieerde economische kwalificatie met ongefundeerd advies.
Benoem bij intrekking de exacte rol. Solana-intrekking is rolspecifiek [S08-SET]. Ontbrekende mintrol verwijdert geen zelfstandige gedelegeerde, freezerol of implementatiewijzigingspad.
Begrippen
- Mintbevoegdheid: boekhoudvoorraad kunnen verhogen.
- Burnbevoegdheid: saldi en voorraad volgens een regel kunnen verlagen.
- Allowance: bedraggebonden toestemming van houder aan spender.
- Permanente gedelegeerde: mintbevoegdheid in Token Extension Program.
- Uitstaande limiet: maximaal huidig totaal volgens de regel.
- Rolbeheerder: account dat lidmaatschap kan wijzigen.
Historisch voorbeeld
ILLUSTRATIVE — FIX-P08-03. Twee aparte fictieve activa op S0; ongeldige labels, geen uitvoeringsinstructies.
| Record | Activum | Aangeleverde huidige bevoegdheid |
|---|---|---|
| S1 | MINT-P, SIM-SOL-A | mintbevoegdheid afwezig; gewone eigenaar-/gedelegeerdeburns ondersteund |
| S2 | MINT-P | permanente gedelegeerde D aanwezig; verdere extensiedetails ontbreken |
| E1 | TOKEN-C, SIM-EVM-A | totaal 1,000 tokens; uitstaande limiet 1,200; d=6 |
| E2 | TOKEN-C | M heeft MINTER; G kan MINTER geven |
| E3 | TOKEN-C | H kan eigen saldo verbranden; J heeft allowance40 van H en mag burnFrom H |
| E4 | TOKEN-C | huidig mintpad handhaaft limiet; upgradecontrolebewijs ontbreekt |
E3's hypothetische burn van 40 komt vóór hypothetische mint van 220. H heeft voldoende saldo; beide slagen onder aangeleverde regels. Geen andere voorraadwijzigingen.
Wat het bewijs aantoont
OBSERVED in oefengegevens: MINT-P mist mintbevoegdheid maar heeft D; TOKEN-C heeft begrensd mintpad en rolbeheerder.
INFERRED: TOKEN-C heeft eerst 200 ruimte; na burn 40 heeft het 240, dus mint 220 past en laat totaal 1,180.
Wat het bewijs niet aantoont
UNKNOWN: Menselijke controle van D, weggelaten extensies, TOKEN-C-upgradecontrole en toekomstige regels.
INSUFFICIENT EVIDENCE: Geen mintbevoegdheid bewijst geen onmogelijke burn van MINT-P-saldi. Een limiet bewijst geen onveranderlijk voorraadbeleid of prijsuitkomst.
Veelgemaakte fouten
Mintintrekking gelijkstellen met alle privileges; eigen burn als willekeurige burn van derden zien; rolverlening negeren; ruw/weergave-limieten mengen; burn als waardestijgingsgarantie zien.
Praktische oefening
Maak tabel voor S1/S2 en E1–E4. Bereken beginruimte, ruimte na burn en eindvoorraad. Kan G toekomstig minten beïnvloeden en J onder de allowance 100 van H verbranden?
Uitgewerkte correctie tonen
Uitgewerkte correctie en verwachte redenering
MINT-P mist standaardmintrol; D geeft apart mintniveau-burn/transfervermogen. Eigen burn van H verschilt van J's allowanceburn; diens40 toestemming autoriseert geen100. TOKEN-C M mint binnen limiet; G kan minters toevoegen zonder MINTER.
Beginruimte =1,200−1,000=200. Na burn 40: totaal 960 en ruimte240. Mint220 geeft 1,180, met20 over. Bij d=6 vermenigvuldig met 1,000,000 voor ruw. Mint 220 vóór burn zou de beginruimte overschrijden. Volgorde telt.
Voortbestaan van limiet is onopgelost omdat E4 upgradebewijs mist. Vraag implementatiekoppeling, volledige autorisatiepaden en rol-/upgradebeheerstoestand.
Score op tien: aparte paden (vier), volgordeberekening (drie), G/J-redenering (twee), toekomstgrens (één).
Controlelijst
- Benoem operatie, doel en voorwaarde.
- Verifieer eenheden en totaal.
- Scheid rol van rolbeheer.
- Inspecteer relevante extensies.
- Scheid voltooide voorraadwijziging van beschikbare macht.
- Vermeld onopgeloste implementatiewijzigingspaden.
Samenvatting
Rechten zijn voorwaardelijke mogelijkheden. Onderscheid voorraadcreatie, saldovernietiging en macht om handelingsbevoegden te wijzigen.
Samenvatting
Geen mintrol betekent geen afwezigheid van overige controle. Een limiet vereist definitie en toepassingsbereik. Beschikbare bevoegdheid bewijst geen intentie.
Visuele specificaties
Maak aparte rechtenmatrices voor MINT-P en TOKEN-C met actor,operatie,doel,voorwaarde en bewijsrij. Voeg limietrekenen200→240→20 resterende ruimte toe. Toon upgradeleemte onbekend, niet afwezig.
Illustratieve bevoegdheidsreikwijdte en uitstaande voorraadlimiet; geen geïmplementeerde-tokenbevinding.
Gebruik deterministische SVG/HTML of grafieken met tekstalternatieven, donker marineblauw/zwart en terughoudend cyaan, elektrisch blauw en violet. Label elke hoeveelheid en onzekerheid. Stapel bij 390px de panelen; verificatie voor 768px/desktop en Arabische RTL blijft toekomstig assetwerk. Houd identificatoren LTR en feitelijke assen/richtingen van verbindingen ongewijzigd. Gebruik uitsluitend het officieel aangeleverde BlockAssay-merk als branding wordt toegevoegd. Beide records zijn specificaties, geen geleverde assets.
Hulpmiddelen
Gebruik RADAR voor het beperkte educatieve doel van deze les alleen als netwerkondersteuning, exacte identiteit, velden en herkomst zijn geverifieerd. Deze inhoud doet geen uitspraak over een runtime-eindpunt of mogelijkheden van een aanbieder. Gebruik de ingebedde offline oefengegevens zonder betaalde toegang. Ontbrekende data blijven onbekend; er zijn geen walletverbinding, transactiehandtekening, tokenlancering of live transactie vereist. Academy-voortgang, betalingen en verwijzingen veranderen Radar-bewijs nooit. Een diagnostisch paspoort bewaart waarnemingen en grenzen, geen prijsvoorspelling of veiligheidscertificaat.
Bronnen en grenzen van claims
- Solana-tokens verbranden — Standaard burn-autorisatie en gevolgen voor accountsaldo en mintvoorraad. Gecontroleerd 2026-09-30.
- Solana permanente gedelegeerde — Transfer-/burnbevoegdheid op mintniveau van het Token Extension Program. Gecontroleerd 2026-09-30.
- OpenZeppelin 5.x ERC20 — Burnable-, Capped- en Pausable-uitbreidingen; bibliotheekgedrag bewijst geen geïmplementeerde code. Gecontroleerd 2026-09-30.
- OpenZeppelin 5.x toegangscontrole — Ownable- en rolgebaseerde privilegepatronen; inspecteer de werkelijk geïmplementeerde autorisatie. Gecontroleerd 2026-09-30.
- Solana-bevoegdheid instellen — Rolspecifieke wijzigingen en intrekking; geen algemeen veiligheidsoordeel. Gecontroleerd 2026-09-30.
Documentatie onderbouwt mechanismen, geen fictieve datasetwaarden. Alle voorbeelden en oefenrecords zijn oorspronkelijk ILLUSTRATIVE materiaal, vastgezet in dit bestand. S0/S1 zijn synthetische contextlabels; observedAt is null omdat geen live of historische registermeting is verzameld. Herbeoordeel documentatie en werkelijk geïmplementeerd gedrag vóór publicatie of integratie.
Volgende les
P08-L04 na de uitgewerkte oefening en quizbeoordeling.
Visuele specificaties
P08-L03-V01
Welke voorraadwijzigingspaden blijven onder welke voorwaarden bestaan?
Illustratieve bevoegdheidsreikwijdte en uitstaande voorraadlimiet; geen geïmplementeerde-tokenbevinding.
Maak aparte rechtenmatrices voor MINT-P en TOKEN-C met actor,operatie,doel,voorwaarde en bewijsrij. Voeg limietrekenen200→240→20 resterende ruimte toe. Toon upgradeleemte onbekend, niet afwezig.
MINT-P mist mintrol maar heeft D; TOKEN-C M mint binnen limiet en G geeft rol; burn 40 en mint 220 laten 1,180.
390px gestapelde panelen met tekstequivalent; verifieer later 768px en desktop
RTL-labels en navigatie; identificatoren geïsoleerd LTR; behoud numerieke assen, gebeurtenisvolgorde en feitelijke verbindingsrichting.
FIX-P08-03
P08-L03-V02
Welke claim is ondersteund, voorwaardelijk, onbekend of niet onderbouwd?
Illustratieve bewijsgrenzen; geen veiligheids- of investeringsoordeel.
Vier rijen met labels OBSERVED/INFERRED/UNKNOWN/INSUFFICIENT EVIDENCE gekoppeld aan de claims en record-ID’s van deze les. Waarnemingen zijn aangeleverde fictieve records, geen live metingen.
Vier rijen met bewijsstatus, recordverwijzingen en volgende verificatiestappen.
390px gestapelde panelen met tekstequivalent; verifieer later 768px en desktop
RTL-labels en navigatie; identificatoren geïsoleerd LTR; behoud numerieke assen, gebeurtenisvolgorde en feitelijke verbindingsrichting.
FIX-P08-03
Bronnen en grenzen van claims
S08-BURN · official_documentation_or_standard
Solana-tokens verbranden
- Ondersteunde claim
- Standaard burn-autorisatie en gevolgen voor accountsaldo en mintvoorraad.
- Verificatiegrens
- Primaire pagina geïnspecteerd om mechanismen redactioneel te onderbouwen; geen geïmplementeerd activum of registeroefengegevens onafhankelijk gemeten.
- Controledatum
- 2026-09-30
https://solana.com/docs/tokens/basics/burn-tokens
S08-DELEGATE · official_documentation_or_standard
Solana permanente gedelegeerde
- Ondersteunde claim
- Transfer-/burnbevoegdheid op mintniveau van het Token Extension Program.
- Verificatiegrens
- Primaire pagina geïnspecteerd om mechanismen redactioneel te onderbouwen; geen geïmplementeerd activum of registeroefengegevens onafhankelijk gemeten.
- Controledatum
- 2026-09-30
https://solana.com/docs/tokens/extensions/permanent-delegate
S08-OZERC20 · official_documentation_or_standard
OpenZeppelin 5.x ERC20
- Ondersteunde claim
- Burnable-, Capped- en Pausable-uitbreidingen; bibliotheekgedrag bewijst geen geïmplementeerde code.
- Verificatiegrens
- Primaire pagina geïnspecteerd om mechanismen redactioneel te onderbouwen; geen geïmplementeerd activum of registeroefengegevens onafhankelijk gemeten.
- Controledatum
- 2026-09-30
https://docs.openzeppelin.com/contracts/5.x/api/token/erc20
S08-ACCESS · official_documentation_or_standard
OpenZeppelin 5.x toegangscontrole
- Ondersteunde claim
- Ownable- en rolgebaseerde privilegepatronen; inspecteer de werkelijk geïmplementeerde autorisatie.
- Verificatiegrens
- Primaire pagina geïnspecteerd om mechanismen redactioneel te onderbouwen; geen geïmplementeerd activum of registeroefengegevens onafhankelijk gemeten.
- Controledatum
- 2026-09-30
https://docs.openzeppelin.com/contracts/5.x/access-control
S08-SET · official_documentation_or_standard
Solana-bevoegdheid instellen
- Ondersteunde claim
- Rolspecifieke wijzigingen en intrekking; geen algemeen veiligheidsoordeel.
- Verificatiegrens
- Primaire pagina geïnspecteerd om mechanismen redactioneel te onderbouwen; geen geïmplementeerd activum of registeroefengegevens onafhankelijk gemeten.
- Controledatum
- 2026-09-30
https://solana.com/docs/tokens/basics/set-authority
Herkomst van gegevens
id: FIX-P08-03
dataStatus: ILLUSTRATIVE
observedAt: null
source: Original frozen educational fixture embedded in lesson
timeBasis: Synthetic S0/S1 snapshots, not UTC observations or real blocks
identifiers: Deliberately invalid fictional network, asset and account labels; never use as transaction targets
scope: Two separate fictional permission snapshots and ordered cap arithmetic.