P11-L01 · P11 · P11-M01
Leg uit hoe reserveveranderingen uitvoerbare prijzen bepalen
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
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
AMM · PRIMARY_DOCUMENTATION
Uniswap — Hoe het werkt
- Ondersteunde claim
- Pools wisselen activa met prijzen die reageren op relatieve reserves; versiereikwijdte telt.
- Verificatiegrens
- Documentatie ondersteunt alleen het mechanisme; fixturewaarden zijn oorspronkelijke gestipuleerde invoer. Historische publicaties blijven aan hun bronnen toegeschreven.
- Controledatum
- 2026-10-01
https://developers.uniswap.org/docs/get-started/concepts/how-uniswap-works
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-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.