Exacte contract- en mintverificatie

EN bronmaster · P08-L01 · 45 minuten geschat · needs_review

Elke volgende berekening vereist het bedoelde activum. Een correcte rechtenaudit van verkeerd contract blijft mislukt onderzoek. Naam, symbool en pictogram zijn navigatiehulp, geen primaire sleutels. Deze les breidt exacte mintidentificatie uit tot reproduceerbaar identiteitsrecord met accountrol en besturende logica.

Match een gedeclareerd doel met records, vind ontbrekend implementatiebewijs en schrijf een herhaalbaar resultaat. Je ondertekent, keurt goed of koopt niets.

Bouw de identiteitstuple

Begin met netwerk, exact adres en objecttype. Onderscheid mainnet, tests en verschillende EVM-ketens. Een adresachtige tekst is onvolledig; explorer-URL kan ander netwerk kiezen ondanks vertrouwd adres. Houd gevraagd netwerk aan bij populairdere lookalikes.

Schrijf volledige identificator, geen voorvoegsel. Valideer bij echte inspectie codering en vergelijk gedecodeerde adresbytes met betrouwbare tool. EVM-checksumhoofdletters en Solana-base58 vergen andere behandeling. De ongeldige oefenlabels voorkomen onbedoelde transacties; vergelijkingen zijn educatieve tekstvergelijkingen.

Vraag welk object wordt benoemd. Solana-mint verschilt van tokenaccount met eenheden en Token Program met instructielogica [S08-TOKENS]. EVM-implementatie achter proxy is niet vanzelf het gebruikerssaldo-adres. Benoem rol vóór waardegebruik.

Scheid bestaan, logica en affiliatie

Een teruggegeven account bewijst een object op een context, geen merkgoedkeuring. Broncodeverificatie betreft overeenkomst van bron en geïmplementeerde code, geen officiële affiliatie of volledige audit. Deze vragen vereisen aparte records [S08-CODE]. Etherscan onderscheidt exact en vergelijkbaar; laatste kan constructor-/initialisatieverschillen laten. Inspecteer het matchtype, geen uniforme badgeinterpretatie.

Gebruik aparte uitkomsten: exact object gematcht, implementatie onopgelost, affiliatie onbevestigd. De eerste lost de andere niet op. Behoud bij codeovereenkomst compiler, configuratie en deploybereik; parafraseer niet als “veilig”.

ERC-20 definieert interface; naam/symbool zijn optioneel en compatibiliteit certificeert geen project [S08-ERC20]. Verwacht symbool bewijst geen affiliatie. Bekende methoden kunnen aanvullende controles bevatten buiten de basisinterface.

Traceer de logicagrens

Noteer bij Solana-mint het Token Program dat het data-account bezit. Verwar programma-eigendom niet met tokenaccounteigenaar voor bezit. Extensiemint vereist extensiebewuste decodering. Een parser die extra toestand negeert bewijst geen afwezig extra gedrag.

Een proxyadres kan vastblijven terwijl gedelegeerde logica verandert. ERC-1967 beschrijft implementatie-/beaconkoppeling en optionele adminslot [S08-PROXY]. Werkelijke implementatie bepaalt toepasselijkheid; lege standaardvelden bewijzen niet dat elk upgrademechanisme ontbreekt.

Bewaar proxyadres, implementatie en context samen. Code en toestand op verschillende contexten mengen records. Bij ontbrekende koppeling identificeer je gebruikersobject maar markeer je logica onvolledig. Vul niet met willekeurig door interface als implementatie gelabeld contract.

Bewaar ophaalherkomst

Noteer bron, ophaaltijd, teruggegeven blok/slot, commitment/finaliteit en decoderveronderstellingen. Timeout is onbeschikbare data. Verkeerd-netwerkantwoord is mismatch, geen afwezigheid op bedoeld netwerk. Herprobeer niet stilzwijgend op andere keten om gegevens te mengen.

Interfaces kunnen dezelfde indexer delen. Overeenstemming is nuttig, geen automatische onafhankelijkheid. Noteer onderliggende bron indien zichtbaar, anders onafhankelijkheid onbekend. Ruw record plus decodering is reproduceerbaarder dan bijgesneden beeld zonder exacte identificator.

Scheid verklaarde en bevestigde doelen. Een screenshot met “officieel adres” is verklaring. Matching bewijst slechts inspectie van benoemd object. Affiliatie vereist passend geauthenticeerde uitgeversbron met vastleggingscontext; ook bevestigde affiliatie bewijst geen veiligheid.

Gebruik een stopregel

Stop identiteitsafhankelijke conclusies bij mismatch of onopgeloste rol. Documenteer leemte, maar koppel geen andere activavoorraad of rechten aan doel. Een algemene zoekmatch vervangt dit niet.

Een korte bevinding: “Gevraagd netwerk/adres is een mint in aangeleverde S0; extensie-inventaris en uitgeversaffiliatie ontbreken.” Dat behoudt positieve bevinding en grenzen. Benoem bewijs voor de vervolgstap.

Een onafhankelijke beoordelaar moet zonder raden van netwerktab of afgekort adres vanaf je tuple kunnen starten. Alleen-lezen verificatie vereist geen walletgoedkeuring en oefeningen vereisen geen inloggegevens.

• Identiteitstuple: netwerk, volledig adres en objectrol.
• Mint: Solana-account dat token vertegenwoordigt.
• Tokenaccount: apart account met minteenheden.
• Implementatie: logica van gedelegeerd contract.
• Herkomst: bron en context achter record.
• Affiliatie: geclaimde uitgevers-/merkrelatie.

ILLUSTRATIVE — FIX-P08-01. S0 is fictief, geen echt blok. D1 vraagt SIM-SOL-A / MINT-ALPHA als mint; uitgeverstoeschrijving niet geauthenticeerd.

I1 bevat basisvelden, geen extensie-inventaris. I5 bevat koppeling, geen bron-/buildovereenkomst.

OBSERVED in oefengegevens: I1 matcht D1-tuple; I3 verwijst naar de mint met andere rol.

INFERRED: I1 is correct beginrecord voor basisinspectie. I5/I6 zijn aparte aangeleverde proxykoppeling.

UNKNOWN: Affiliatie, weggelaten extensietoestand en I5-code-/buildovereenkomst.

INSUFFICIENT EVIDENCE: Gelijke symbolen maken I2/I4 geen doel. Logica in I6 vervangt gebruikersobject I5 niet.

Alleen symbolen matchen, netwerk vergeten, bezitaccount voor mint vervangen, implementatiesaldi analyseren, zichtbare bron veiligheidscertificaat noemen.

Kies D1-match; wijs I2–I4 apart af. Schrijf afzonderlijke I5-identiteitsnotitie. Benoem drie leemten vóór volledige I1-gedragsbeoordeling.

• Bewaar netwerk en volledige identificator.
• Verifieer rol en programma-/logicakoppeling.
• Match contexten vóór bewijscombinatie.
• Scheid affiliatie van codereview.
• Stop bij mismatch van identiteitsafhankelijke invoer.

Identiteitsverificatie geeft begrensd objectrecord. Juiste netwerk en rol zijn voorwaarden voor verdere metingen.

Een symbool is een label. Mints, bezitaccounts en implementaties verschillen. Ontbrekende koppeling of affiliatiebewijs blijft zichtbaar.

Vergelijk D1 met I1–I4 met netwerk-/adres-/rolverschillen. Plaats I5→I6 apart in S0-logicapaneel; buildovereenkomst onbekend. Vermijd veiligheidsbadges.

Illustratieve identiteitsmatch; geen uitgeversbevestiging.

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.

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.

• Etherscan-tabblad contractcode — Exacte versus vergelijkbare bytecode-overeenkomsten en afzonderlijke compiler-, constructor- en auditinformatie. Gecontroleerd 2026-09-30.
• Solana-activa — Mint-/account-/programidentiteit en decimalen; onderscheid accounteigendomsvelden. Gecontroleerd 2026-09-30.
• ERC-20-tokenstandaard — Standaardinterface; optionele naam, symbool en decimalen; geen certificering van privileges of identiteit. Gecontroleerd 2026-09-30.
• ERC-1967 proxyopslagslots — Implementatie-, beacon- en optionele adminslots; inspectie per mechanisme. 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.

P08-L02 na de uitgewerkte oefening en quizbeoordeling.