Naar inhoudBlockAssay

DEX, AMM en poolreserves

P11-L01 · P11 · P11-M01

Leg uit hoe reserveveranderingen uitvoerbare prijzen bepalen

ILLUSTRATIVE · needs_review

Vereisten: P01-L06 · P03-L04 · P08-L03

Leerdoelen

  • Leg uit hoe reserveveranderingen uitvoerbare prijzen bepalen
  • Onderscheid marginale reserveratio van uitvoering van een eindige swap.
  • Identificeer welke AMM-versie en aannames het model vertegenwoordigt.

EN-bronmaster · P11-L01 · 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

De weergegeven ratio van een pool is niet de gemiddelde prijs beschikbaar voor een swap van willekeurige grootte.

Uitleg

Benoem mechanisme en versie

Een automated market maker (AMM) wisselt tegen gepoolde activa in plaats van een geplaatste order van een andere gebruiker te matchen [AMM]. Verschillende versies en poolontwerpen vereisen andere boekhouding. Deze les gebruikt een wrijvingsloos full-range-constant-productmodel geïnspireerd door v2; kosten, tokens met overdrachtsbelasting, geconcentreerde liquiditeit en externe transacties zijn uitgesloten.

Schrijf reserve-eenheden

Laat x de reserve van assetX zijn en y de reserve van assetY. Onder kostenloze x×y=k geeft toevoeging van Δx nieuwe y=k/(x+Δx), dus uitvoer Δy=y−k/(x+Δx). De marginale Y-per-X-ratio is y/x [V2]. Zij beschrijft een zeer kleine lokale verandering; gemiddelde uitvoer per invoer van een eindige swap verschilt omdat reserves onderweg veranderen.

Inspecteer de toestandsovergang

Met x100 X,y1000 Y, k100000 X·Y. Invoer10 X laatx110, y909.0909, uitvoer 90.9091 Y. Gemiddelde 9.0909 Y/X ligt onder beginratio 10; ratio na swap 8.26446 Y/X is weer een ander getal. Label alle drie in plaats van elk ‘prijs’ te noemen.

Mechanisme is geen veiligheid

Een groot reserve- of TVL-getal authenticeert opneembaarheid, echte tokenwaarde, contractpermissies of toekomstige liquiditeit niet. LP-opname, tokenoverdrachtsregels, uitvoeringsvolgorde en netwerkkosten kunnen werkelijke uitkomst veranderen. Documentatie verklaart het model; fictieve reservewaarden zijn niet extern waargenomen. Geen live swap of walletinteractie is vereist.

Begrippen

  • Reserve: door het model aangehouden bedrag per activum.
  • Invariant: regel die reserves tijdens de gemodelleerde swap verbindt.
  • Marginale ratio: lokale reserveratio met eenheden.
  • Gemiddelde uitvoering: totale gemodelleerde uitvoer gedeeld door invoer.

Historisch voorbeeld

ILLUSTRATIVE poolSIM-X/Y met x100 X,y1000 Y, kosten 0 en invariant100000 X·Y; invoer 10 X. Alle waarden zijn fictief, met onbeperkte speelmodelprecisie; geen keten- of contractadres.

Visuele specificaties

AMM-reserve-/LP-structuurdiagram: vóór 100 X/1000 Y, na 110 X/909.0909 Y, uitvoer 90.9091 Y; scheid begin-, gemiddelde en eindratio. Geen TVL-veiligheidsbadge.

Wat het bewijs aantoont

De fictieve kostenloze reserveovergang en het onderscheid tussen drie prijsbeschrijvingen.

Wat het bewijs niet aantoont

Werkelijke reserves, veiligheid, uitvoerbare diepte, echte tokenwaardering of actuele protocolparameters.

Bewijsklassen

  • OBSERVED: FIX-P11-L01 stipuleert beginreserves 100/1000.
  • INFERRED: uitvoer 90.9091 Y volgt uit de kostenloze invariant.
  • UNKNOWN: tokenpermissies en opnames van elke werkelijke pool.
  • INSUFFICIENT EVIDENCE: het mechanisme kennen bewijst de activa veilig.

Veelgemaakte fouten

  • Invoer maal beginratio als exacte uitvoer gebruiken.
  • v2-aannames op elke AMM toepassen.
  • Reservewaarde beschikbare uitstapliquiditeit noemen.

Praktische oefening

Bereken k, nieuwe reserves, uitvoer, beginratio, gemiddelde uitvoering en eindratio. Noem drie uitsluitingen die voor een echte claim nieuwe invoer vereisen.

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

k100×1000=100000. x'=110,y'=100000/110=909.090909; uitvoer 1000−909.090909=90.909091 Y. Begin 10 Y/X; gemiddelde 90.909091/10=9.090909 Y/X; eind 909.090909/110=8.264463 Y/X. Kosten, overdrachtsbeperkingen en concurrerende toestandswijzigingen zijn uitgesloten; de berekening is voorwaardelijk, geen offerte.

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

  • Benoem model/versie.
  • Behoud reserve- en prijseenheden.
  • Scheid marginaal/gemiddeld/eind.
  • Vermeld veiligheids- en uitvoeringsuitsluitingen.

Samenvatting

AMM-reserveberekening verklaart een voorwaardelijk wisselmechanisme; eindige uitvoering, marginale ratio en veiligheid zijn afzonderlijke vragen.

Samenvatting

  • Onderscheid marginale reserveratio van uitvoering van een eindige swap.
  • Identificeer welke AMM-versie en aannames het model vertegenwoordigt.

Volgende les

P11-L02 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

  • [AMM] Uniswap — Hoe het werkt — Pools wisselen activa met prijzen die reageren op relatieve reserves; versiereikwijdte telt. Gecontroleerd 2026-10-01; verwijzing turn9view6.
  • [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-L01-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Leg uit hoe reserveveranderingen uitvoerbare prijzen bepalen

ILLUSTRATIVE — fictieve invoer; geen signaal of veiligheidsgarantie.

AMM-reserve-/LP-structuurdiagram: vóór 100 X/1000 Y, na 110 X/909.0909 Y, uitvoer 90.9091 Y; scheid begin-, gemiddelde en eindratio. Geen TVL-veiligheidsbadge.

AMM-reserve-/LP-structuurdiagram: vóór 100 X/1000 Y, na 110 X/909.0909 Y, uitvoer 90.9091 Y; scheid begin-, gemiddelde en eindratio. Geen TVL-veiligheidsbadge.

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-L01

Bronnen en grenzen van claims

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-L01

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-L01-Q1 · Wat is begin-k?
P11-L01-Q2 · Wat is gemodelleerde uitvoer voor 10 X?
P11-L01-Q3 · Wat is gemiddelde uitvoering?
P11-L01-Q4 · Beschrijft dit geconcentreerde bereiken?
P11-L01-Q5 · Wat bewijst mechanismekennis over veiligheid?