DEX, AMM e riserve delle pool

Master della fonte EN · P11-L01 · 30 minuti stimati · needs_review

Studio formativo offline. Nessuna connessione del wallet, fondi reali, chiavi private, firme, compravendita reale o input personali di portafoglio. Le visualizzazioni sono specifiche progettuali; non è contenuto runtime né certificazione.

Il rapporto mostrato da una pool non è il prezzo medio disponibile per uno swap di dimensione arbitraria.

Nominare meccanismo e versione

Un market maker automatizzato (AMM) scambia contro asset nella pool anziché abbinare l’ordine pubblicato da un altro utente [AMM]. Versioni e progetti di pool diversi richiedono contabilità diverse. Questa lezione usa un modello senza attriti a intervallo completo e prodotto costante ispirato a v2; commissioni, token con imposte di trasferimento, liquidità concentrata e transazioni esterne sono esclusi.

Scrivere le unità delle riserve

Sia x la riserva di assetX e y la riserva di assetY. Senza commissioni x×y=k, aggiungere Δx produce nuovo y=k/(x+Δx), quindi output Δy=y−k/(x+Δx). Il rapporto marginale Y-per-X è y/x [V2]. Descrive una piccola variazione locale; l’output medio per input di uno swap finito differisce perché le riserve cambiano lungo il percorso.

Esaminare la transizione di stato

Con x100 X,y1000 Y, k100000 X·Y. Input10 X lasciax110, y909.0909, output 90.9091 Y. La media 9.0909 Y/X è inferiore al rapporto iniziale 10; il rapporto dopo lo swap 8.26446 Y/X è ancora diverso. Etichettare tutti e tre anziché chiamare ciascuno «prezzo».

Meccanismo non è sicurezza

Una grande riserva o cifra TVL non autentica possibilità di prelievo, valore autentico del token, permessi del contratto o liquidità futura. Prelievi LP, regole di trasferimento dei token, ordine di esecuzione e costo di rete possono cambiare l’esito reale. La documentazione spiega il modello; valori fittizi delle riserve non sono osservati esternamente. Non sono richiesti swap reali o interazioni col wallet.

• Riserva: importo detenuto per ogni asset nel modello.
• Invariante: regola che lega le riserve durante lo swap modellato.
• Rapporto marginale: rapporto locale delle riserve con unità.
• Esecuzione media: output modellato totale diviso per input.

ILLUSTRATIVE poolSIM-X/Y con x100 X,y1000 Y, commissione 0 e invariante100000 X·Y; input 10 X. Tutti i valori sono fittizi, con precisione didattica illimitata; nessun indirizzo di catena o contratto.

Diagramma della struttura riserve AMM/LP: prima 100 X/1000 Y, dopo 110 X/909.0909 Y, output 90.9091 Y; separare rapporti iniziale, medio e finale. Nessun contrassegno di sicurezza TVL.

La transizione fittizia delle riserve senza commissioni e la distinzione fra tre descrizioni del prezzo.

Riserve effettive, sicurezza, profondità eseguibile, valutazione reale di token o parametri attuali del protocollo.

• OBSERVED: FIX-P11-L01 stipula riserve iniziali 100/1000.
• INFERRED: output 90.9091 Y segue dall’invariante senza commissioni.
• UNKNOWN: permessi dei token e prelievi di qualsiasi pool reale.
• INSUFFICIENT EVIDENCE: conoscere il meccanismo prova asset sicuri.

• Moltiplicare input per rapporto iniziale come output esatto.
• Applicare ipotesi v2 a ogni AMM.
• Chiamare valore della riserva liquidità disponibile per l’uscita.

Calcolare k, nuove riserve, output, rapporto iniziale, esecuzione media e rapporto finale. Nominare tre esclusioni che richiederebbero nuovi input in un’affermazione reale.

Consegnare calcoli o annotazioni, tabella affermazioni/fonti e limiti. Ripartizione suggerita: studio 12 minuti, esercizio 8, correzione/quiz 10; stima soggetta a calibrazione.

• Nominare modello/versione.
• Mantenere unità di riserve e prezzi.
• Separare marginale/media/finale.
• Dichiarare esclusioni di sicurezza ed esecuzione.

L’aritmetica delle riserve AMM spiega un meccanismo condizionale di scambio; esecuzione finita, rapporto marginale e sicurezza sono domande separate.

• Distinguere rapporto marginale delle riserve ed esecuzione di uno swap finito.
• Identificare versione AMM e ipotesi rappresentate dal modello.

P11-L02 dopo la revisione della correzione.

NONE nel catalogo autorevole. I dati/pacchetto offline forniti sono sufficienti; non è richiesta alcuna funzionalità a pagamento o capacità Production non verificata. I metadati di laboratorio/certificazione indicano associazioni successive, non condizioni di accesso o riconoscimenti in tempo reale.

• [AMM] Uniswap — Come funziona — Le pool scambiano asset con prezzi che rispondono alle riserve relative; conta l’ambito della versione. Verificato il 2026-10-01; riferimento turn9view6.
• [V2] Whitepaper del nucleo Uniswap v2 (marzo 2020) — Rapporto delle riserve, meccanismi a prodotto costante e invariante con commissione sull’input; specifici della versione, non un’istantanea di distribuzione attuale. Verificato il 2026-10-01; riferimento turn14view0.