Naar inhoudBlockAssay

Mint- en burnbevoegdheden

P08-L03 · P08 · P08-M01

Inventariseer voorraadwijzigende privileges en toepasselijke voorwaarden

ILLUSTRATIVE · needs_review

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.

RecordActivumAangeleverde huidige bevoegdheid
S1MINT-P, SIM-SOL-Amintbevoegdheid afwezig; gewone eigenaar-/gedelegeerdeburns ondersteund
S2MINT-Ppermanente gedelegeerde D aanwezig; verdere extensiedetails ontbreken
E1TOKEN-C, SIM-EVM-Atotaal 1,000 tokens; uitstaande limiet 1,200; d=6
E2TOKEN-CM heeft MINTER; G kan MINTER geven
E3TOKEN-CH kan eigen saldo verbranden; J heeft allowance40 van H en mag burnFrom H
E4TOKEN-Chuidig 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

SPECIFICATION_ONLY · ILLUSTRATIVE

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

SPECIFICATION_ONLY · ILLUSTRATIVE

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

Toets je redenering

P08-L03-Q1 · Wat volgt uit S1/S2?
P08-L03-Q2 · Wat is TOKEN-C's eerste mintruimte?
P08-L03-Q3 · Wat is totaal na burn 40 en mint 220?
P08-L03-Q4 · Wat kan G beïnvloeden?
P08-L03-Q5 · Mag J 100 van H verbranden met allowance40?