Naar inhoudBlockAssay

Misbruik van aanbodprivileges en beperkende overdrachten

P13-L04 · P13 · P13-M01

Identificeer waargenomen bevoorrechte wijzigingen en resterende onzekerheid

ILLUSTRATIVE · needs_review

Vereisten: P13-L03

Leerdoelen

  • Identificeer waargenomen bevoorrechte wijzigingen en resterende onzekerheid
  • Identificeer een bevoorrechte toestandswijziging en begrens conclusies over selectieve overdracht tot het geteste scenario.

Waarom dit belangrijk is

Een mint of beperking kan gebruikersmogelijkheden wezenlijk veranderen, maar noch codeaanwezigheid noch één mislukte overdracht bewijst onafhankelijk kwaadaardig gebruik bij elke wallet.

Uitleg

Scheid bereikbare mogelijkheid, waargenomen aanroep, toestandseffect en toegeschreven intentie. Een functie genaamd mint is onvoldoende: inspecteer haar implementatie, autorisatie en eventuele alternatieve paden. Een waargenomen bevoorrechte mint heeft exacte tokenidentiteit, gebeurtenis-/toestandsreconciliatie, blok en bedrag nodig. Een limietslogan kan door upgrades of alternatieve rollen beperkt zijn. Een beperkingsfunctie kan legitieme vermelde doelen hebben, maar haar werkelijke effecten moeten bij een vastgelegde toestand worden getest.

Benoem bij selectieve overdrachten afzenderklasse, ontvanger, route, bedrag, blok en uitvoeringsmethode. Een succesvolle bevoorrechte afzender bewijst niet dat gewone gebruikers kunnen uitstappen; een falend gewoon scenario bewijst geen universeel falen. Reverts kunnen voortkomen uit saldo, allowance, route, deadline, toestand of beleid. Economisch uitvoerverlies verschilt ook van nominale kosten. Houd concurrerende verklaringen en onopgeloste afhankelijkheden zichtbaar.

Deze fixture gebruikt papieren uitvoeringsrijen, geen live simulaties of transacties. Radar-context wordt door het curriculum genoemd maar produceert hier geen echte uitvoer. Rapporteer elke technische wijziging binnen de gestipuleerde reikwijdte en weiger menselijke-/intentietoeschrijving zonder onafhankelijk bewijs.

Begrippen

Mogelijkheid: bereikbaar bevoorrecht gedrag.

Aanroep: vastgelegd gebruik van dat gedrag.

Selectieve beperking: verschillende uitkomsten onder genoemde afzender-/routevoorwaarden.

Testreikwijdte: exacte toestand en parameters voor een uitvoeringswaarneming.

Historisch voorbeeld

ILLUSTRATIVE bij blok B: gestipuleerde mint door rol M voegt 200 toe aan aanbod 1000 en produceert 1200. Bij B+1 mislukt bij gewone afzender W een overdracht van 10 eenheden op route R met reden POLICY; bevoorrechte afzender P slaagt met hetzelfde genoemde bedrag/dezelfde route. Saldi en allowances zijn gestipuleerd voldoende. Implementatie en bredere routedekking ontbreken.

Visuele specificaties

Contractpermissiematrix met M-mint en W/P-overdrachtsrijen, exacte papieren parameters en uitkomsten. Voeg hiaten voor ongeteste routes/bedragen toe in plaats van een universele honeypotbadge.

Bijschrift: Fictieve bevoorrechte wijziging en selectieve uitkomsten; geen universele uitstap- of intentieconclusie.

SPECIFICATION_ONLY — het gerenderde beeld is niet geproduceerd of onafhankelijk beoordeeld.

Wat het bewijs aantoont

Binnen de fictie neemt het aanbod rekenkundig toe met 20%, en twee afzenderscenario’s hebben verschillende beleidsuitkomsten. Dat zijn afgebakende papieren waarnemingen.

Wat het bewijs niet aantoont

Geen werkelijke mint, codedeployment, universeel overdrachtsfalen, schadelijke intentie, controleursidentiteit of onafhankelijk Radar-resultaat is vastgesteld. Eén route en bedrag dekken niet elk uitstappad.

Veelgemaakte fouten

Codeaanwezigheid een waargenomen aanroep noemen; aannemen dat bevoorrecht succes publieke uitstap bewijst; één route naar alle overdrachten generaliseren; een beperking als automatische fraude behandelen.

Praktische oefening

Bereken aanbodverandering, schrijf een scenariotabel en classificeer “iedereen kan uitstappen”, “niemand kan overdragen” en “beleid verschilt per afzender”. Benoem twee ontbrekende tests.

Uitgewerkte correctie tonen

Aanbod=1000+200=1200; relatieve toename 200/1000=20%. Rijen:W/10/R/B+1/falen POLICY;P/10/R/B+1/slagen. Het gestipuleerde verschil is voor deze rijen onderbouwd. Beide universele uitspraken zijn niet vastgesteld. Ontbrekende tests omvatten een ander bedrag en andere route/toestand met gewone afzenders; inspecteer implementatie en autorisatie voordat het mechanisme buiten de gegeven reden wordt toegeschreven. Intentie en identiteit blijven onvoldoende met bewijs onderbouwd.

Controlelijst

  • Scheid mogelijkheid, aanroep en effect.
  • Reconcileer aanbod met verenigbare ruwe eenheden.
  • Begrens afzender/bedrag/route/toestand.
  • Behoud alternatieve verklaringen en onbekende intentie.

Samenvatting

Waargenomen bevoorrechte effecten en afgebakende uitvoeringsverschillen hebben specifieke records nodig en mogen geen universele of criminele claims worden.

Samenvatting

  • Een bereikbare functie is geen bewijs van haar gebruik.
  • Bevoorrecht succes bewijst geen uitstap voor gewone gebruikers.
  • Eén getest scenario kan niet over alle uitvoeringspaden beslissen.

Volgende les

P13-L05

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

  • 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.
  • 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.

Bewijsklassen

ILLUSTRATIVE — volledig fictieve offline invoer; geen actuele waarneming.

Observatiedatum

null — geen echte waarneming

Inhoudsversie

1

Beoordelingsdatum

null

Beoordelingsstatus

needs_review

Visuele specificaties

P13-L04-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Identificeer waargenomen bevoorrechte wijzigingen en resterende onzekerheid

Fictieve bevoorrechte wijziging en selectieve uitkomsten; geen universele uitstap- of intentieconclusie.

Contractpermissiematrix met M-mint en W/P-overdrachtsrijen, exacte papieren parameters en uitkomsten. Voeg hiaten voor ongeteste routes/bedragen toe in plaats van een universele honeypotbadge.

Contractpermissiematrix met M-mint en W/P-overdrachtsrijen, exacte papieren parameters en uitkomsten. Voeg hiaten voor ongeteste routes/bedragen toe in plaats van een universele honeypotbadge.

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.

P13-L04-ILLUSTRATIVE-v1

Bronnen en grenzen van claims

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

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

Herkomst van gegevens

id: P13-L04-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

P13-L04-Q1 · Aanbod 1000 plus 200 produceert welke relatieve toename?
P13-L04-Q2 · Bevoorrechte P slaagt terwijl W faalt op R. Wat bewijst dat?
P13-L04-Q3 · Er bestaat een mintfunctie in broncode. Wat blijft nodig voor een werkelijke mintclaim?
P13-L04-Q4 · Waarom voldoende-saldo-/allowanceaannames vastleggen?
P13-L04-Q5 · Wat moet de volgende test variëren?