Naar inhoudBlockAssay

Oracles, composability en contractrisico

P11-L07 · P11 · P11-M02

Breng afhankelijkheden en foutdoorwerking in kaart

ILLUSTRATIVE · needs_review

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

SPECIFICATION_ONLY · ILLUSTRATIVE

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

Toets je redenering

P11-L07-Q1 · Wat is feedleeftijd?
P11-L07-Q2 · Maakt heartbeat120 de feed hier aanvaardbaar?
P11-L07-Q3 · Wat is het genormaliseerde antwoord?
P11-L07-Q4 · Kan een actuele feed inwisselbaarheid bewijzen?
P11-L07-Q5 · Wat garandeert een audit?