P11-L07 · P11 · P11-M02
Breng afhankelijkheden en foutdoorwerking in kaart
Vereisten: P11-L06
Leerdoelen
- Breng afhankelijkheden en foutdoorwerking in kaart
- Breng oracle- en composability-afhankelijkheden in kaart.
- Identificeer beperkingen van verouderde data en lokale prijzen.
EN-bronmaster · P11-L07 · 30 minuten geschat · needs_review
Offline formatieve studie. Geen walletverbinding, echte middelen, private sleutels, handtekeningen, live handel of persoonlijke portefeuille-invoer. Visuals zijn specificaties; dit is geen runtime-inhoud of certificering.
Waarom dit belangrijk is
Een contract kan zijn code precies volgen en tegelijk verouderde, niet-passende of economisch kwetsbare invoer gebruiken.
Uitleg
Lees de feedbetekenis
Datafeeds aggregeren invoer en publiceren updates; consumenten, proxy en aggregator vormen aparte afhankelijkheden [ORACLE]. Leg activapaar, netwerk, decimalen, bijwerktijd, round en bronmethodologie vast. Een feedgetal is geen onfeilbare waardering en een proxy kan upgradeafhankelijkheden invoeren.
Pas de verklaarde consumentcontrole toe
Onze fictieve consument accepteert leeftijd≤60 seconden en vereist correct paar en decimalen. Bij waarnemingT1000 geeft laatste updateT900 leeftijd100 en faalt versheid. Een fictieve heartbeat120 overrulet het60-secondenbeleid van de consument niet. Echte feedupdates kunnen afwijkings- en heartbeatvoorwaarden volgen en netwerkvertraging ontmoeten; het zijn geen doorlopende tickstromen.
Scheid poolspot van referentiehistorie
Een spotreserveratio kan door een lokale swap scherp bewegen. De v2-whitepaper bespreekt geaccumuleerde tijdgewogen prijswaarnemingen en afweging van versheid tegen manipulatie [V2]. Een TWAP is een bemonsterde methode, geen bewijs tegen elke manipulatie of verouderde markt. Meerdere feeds kunnen providers delen, dus schijnbare redundantie betekent niet noodzakelijk onafhankelijkheid.
Traceer foutdoorwerking
De oorspronkelijke afhankelijkheidsketen is wrapped activum→inwisselingscontract→oracle→leendrempel→liquidatie-uitstappool. Vraag bij elke verbinding welke conversie of aanname wordt gebruikt. Een inwisselingsstoring kan oraclebetekenis ondermijnen, zelfs als updates doorgaan. Auditbereik, codeversie en datum tellen en een audit garandeert geen veiligheid. De offline oefening brengt voorwaarden in kaart; zij levert geen uitvoerbare aanval of contractinteractie.
Begrippen
- Versheid: leeftijd van laatste aangeleverde waarneming relatief aan consumentbeleid.
- Heartbeat: update-triggerinterval, geen doorlopende streaming.
- Composability: uitvoer van één component wordt invoer van een andere.
- TWAP: tijdgewogen prijsschatting met verklaard venster.
Historisch voorbeeld
ILLUSTRATIVE consumentT1000,feed bijgewerktT900,heartbeat120,consument maxAge60,correct paarSIM-X/SIM-Y,decimals2. Ruw antwoord12345 betekent123.45 Y/X. Afhankelijkheidsroute: wrappedX→redeemerR→feedF→lenderL→exitPoolE. Geen echte contracten of tijdstempels.
Visuele specificaties
Afhankelijkheidskaart in walletgraafvorm, verbindingen expliciet technische afhankelijkheden en geen identiteits-/financieringstoeschrijving; zijpaneel met feedmetadata, leeftijd100>60, conversie van ruw antwoord en tak voor mislukte inwisseling.
Wat het bewijs aantoont
Het versheidsfalen, de decimale conversie en gestipuleerde afhankelijkheidsroute van de fixture.
Wat het bewijs niet aantoont
Werkelijke feedconfiguratie, provideronafhankelijkheid, inwisselbaarheid, auditeffectiviteit of protocolveiligheid.
Bewijsklassen
- OBSERVED: FIX-P11-L07 geeft updateT900 en controleT1000.
- INFERRED: leeftijd100 faalt de aangeleverde 60-secondenregel van de consument.
- UNKNOWN: werkelijke provideronafhankelijkheid en inwisselingscapaciteit.
- INSUFFICIENT EVIDENCE: oracleupdates of een audit garanderen solvabiliteit.
Veelgemaakte fouten
- Heartbeat als consumentacceptatieregel behandelen.
- Paar of decimalen negeren.
- Aannemen dat audit elke afhankelijkheid dekt.
Praktische oefening
Bereken feedleeftijd en genormaliseerd antwoord. Beslis over acceptatie volgens aangeleverd consumentbeleid. Breng inwisselingsstoring langs de route in kaart en noem twee controles buiten versheid.
Lever berekeningen of annotaties, claim-/brontabel en beperkingen. Voorgestelde verdeling: studie 12 minuten, oefening 8, correctie/quiz 10; schatting onder voorbehoud van kalibratie.
Uitgewerkte correctie tonen
Leeftijd1000−900=100 seconden;100>60 dus verwerp onder speelmodelconsumentbeleid ook al100<heartbeat120. Genormaliseerd antwoord12345/10^2=123.45 Y/X. Inwisselingsfalen kan de relatie tussen wrappedX en inwisselbaar onderliggend activum verbreken en daarna waardering en leendrempels ondermijnen; exacte effecten zijn UNKNOWN zonder regels. Paar-/netwerkidentiteit, decimale conventie, roundgeldigheid en economische referentie zijn afzonderlijke controles. Een recente tijdstempel alleen is onvoldoende.
Formatieve rubric (5 punten): reproduceerbare invoer, juiste methode, juist resultaat, claimspecifieke bewijsreikwijdte, expliciete beperkingen. Verzonnen waarneming, adviserende uitvoer of onbewezen veiligheidsclaim vereist correctie ongeacht score.
Controlelijst
- Verifieer paar/netwerk/eenheden.
- Bereken leeftijd tegen consumentbeleid.
- Breng gedeelde upstream-afhankelijkheden in kaart.
- Bewaar audit- en oraclebeperkingen.
Samenvatting
Oraclebeoordeling combineert identiteit, eenheden, versheid en economische afhankelijkheden. Samenstelbare mechanismen en audits blijven begrensd bewijs.
Samenvatting
- Breng oracle- en composability-afhankelijkheden in kaart.
- Identificeer beperkingen van verouderde data en lokale prijzen.
Volgende les
P11-L08 na beoordeling van de correctie.
Hulpmiddelen
NONE in de gezaghebbende catalogus. De aangeleverde offline fixture/het pakket volstaat; geen betaalde functie of ongeverifieerde Production-capaciteit is vereist. Lab-/certificeringsmetadata benoemt latere associaties, geen toegangspoorten of live onderscheidingen.
Bronnen en grenzen van claims
- [ORACLE] Chainlink — Overzicht van datafeeds — Aggregatie, proxyafhankelijkheden en beperkingen van tijdstempel/afwijking/heartbeat. Gecontroleerd 2026-10-01; verwijzing turn12view3.
- [V2] Uniswap v2 core-whitepaper (maart 2020) — Reserveratio, constante-productmechanica en inputkosteninvariant; versiespecifiek, geen live implementatiesnapshot. Gecontroleerd 2026-10-01; verwijzing turn14view0.
Visuele specificaties
P11-L07-V01
Breng afhankelijkheden en foutdoorwerking in kaart
ILLUSTRATIVE — fictieve invoer; geen signaal of veiligheidsgarantie.
Afhankelijkheidskaart in walletgraafvorm, verbindingen expliciet technische afhankelijkheden en geen identiteits-/financieringstoeschrijving; zijpaneel met feedmetadata, leeftijd100>60, conversie van ruw antwoord en tak voor mislukte inwisseling.
Afhankelijkheidskaart in walletgraafvorm, verbindingen expliciet technische afhankelijkheden en geen identiteits-/financieringstoeschrijving; zijpaneel met feedmetadata, leeftijd100>60, conversie van ruw antwoord en tak voor mislukte inwisseling.
Stapel grafiek/tabel, aannames, correctie en bronpaneel op 390px; lever volledig tekstequivalent. Rendering nog uit te voeren.
RTL-uitlegproza; numerieke waarden, ID’s en chronologische assen blijven LTR; behoud afhankelijkheidsrichtingen.
FIX-P11-L07
Bronnen en grenzen van claims
ORACLE · PRIMARY_DOCUMENTATION
Chainlink — Overzicht van datafeeds
- Ondersteunde claim
- Aggregatie, proxyafhankelijkheden en beperkingen van tijdstempel/afwijking/heartbeat.
- Verificatiegrens
- Documentatie ondersteunt alleen het mechanisme; fixturewaarden zijn oorspronkelijke gestipuleerde invoer. Historische publicaties blijven aan hun bronnen toegeschreven.
- Controledatum
- 2026-10-01
https://docs.chain.link/data-feeds/overview
V2 · PRIMARY_DOCUMENTATION
Uniswap v2 core-whitepaper (maart 2020)
- Ondersteunde claim
- Reserveratio, constante-productmechanica en inputkosteninvariant; versiespecifiek, geen live implementatiesnapshot.
- Verificatiegrens
- Documentatie ondersteunt alleen het mechanisme; fixturewaarden zijn oorspronkelijke gestipuleerde invoer. Historische publicaties blijven aan hun bronnen toegeschreven.
- Controledatum
- 2026-10-01
https://app.uniswap.org/whitepaper.pdf
Herkomst van gegevens
id: FIX-P11-L07
dataStatus: ILLUSTRATIVE
observedAt: null
timeBasis: T/SIM markers are fictional order, not timestamps.
source: Author-created fixture embedded in this lesson.
scope: No market observation, usable address, secret, signature or personal financial data.