P11-L02 · P11 · P11-M01
Calculer un swap illustratif avec frais et réserves
Prérequis: P11-L01
Objectifs pédagogiques
- Calculer un swap illustratif avec frais et réserves
- Calculer la sortie à produit constant ajustée des frais.
- Séparer impact de la courbe, effet des frais et slippage ultérieur.
Source maître EN · P11-L02 · 30 minutes estimées · needs_review
Étude formative hors ligne. Aucune connexion à un portefeuille, aucun fonds réel, aucune clé privée, aucune signature, aucune négociation en direct ni donnée personnelle de portefeuille. Les visuels sont des spécifications ; il ne s’agit ni de contenu à l’exécution ni d’une certification.
Pourquoi ce sujet compte
Une estimation de sortie est ambiguë si elle ne précise pas l’inclusion des frais, du déplacement sur la courbe et des changements d’état ultérieurs.
Explication
Placer les frais au bon endroit
Le modèle v2 ajuste l’entrée des frais de swap pour tester l’invariant [V2]. Dans notre modèle pédagogique, f=0.003 et l’entrée effective Δx_eff=Δx(1−f). Sortie= y×Δx_eff/(x+Δx_eff). La réserve x réelle reçoit toute l’entrée ; les frais retenus augmentent le produit des réserves non ajusté. Retirer les frais des réserves puis prétendre que k reste identique est incorrect.
Déclarer la convention d’impact
Dans ce cours, impact de la courbe=1−(sortie moyenne sans frais/entrée)/(rapport marginal initial). Le déficit d’exécution frais inclus utilise plutôt sortie ajustée des frais/entrée. Ces pourcentages diffèrent et doivent être nommés. Le slippage désigne ici le changement supplémentaire entre estimation modélisée et exécution dû à un état modifié, pas l’impact déjà modélisé de la courbe.
Recalculer la sensibilité à la taille
Une entrée plus grande parcourt davantage la courbe et réduit la sortie moyenne par entrée. La TVL est une valeur agrégée marquée, pas la sortie disponible pour une taille choisie. Les autres pools, routes et hooks sont absents ; ce n’est pas une cotation d’agrégateur.
Énoncer les exclusions
Les calculs conservent la précision et arrondissent seulement l’affichage ; arrondi entier réel onchain, gas, frais de transfert, MEV et swaps intermédiaires ne sont pas simulés. Une arithmétique correcte donne une estimation conditionnelle, pas un minimum garanti ni une transaction sûre. L’association LAB03 du catalogue est en aval et ne conditionne pas l’accès ; ce cours hors ligne ne nécessite pas le déploiement d’un laboratoire.
Terminologie
- Entrée effective : entrée après ajustement des frais de swap stipulés.
- Impact de la courbe : écart moyen fini sans frais au rapport initial, selon la convention déclarée.
- Déficit frais inclus : comparaison incluant les frais.
- Slippage : changement supplémentaire estimation/exécution selon la convention du cours.
Exemple historique
ILLUSTRATIVE x100 X,y1000 Y,entrée 10 X,frais 0.3%. Effective 9.97 X. Comparer 10 X sans frais et10 X ajustés des frais. Cas distinct d’entrée plus grande20 X ; aucun gas ni arrondi entier du contrat.
Spécifications visuelles
Spécification de graphique de profondeur utilisant la formule exacte ; marquer entrées10/20, entrée effective, sortie moyenne et rétention des frais. Pistes distinctes pour impact de courbe, déficit frais inclus et slippage non modélisé.
Ce que les preuves établissent
Sorties conditionnelles et comparaisons nommées de déficit d’exécution dans les données fictives.
Ce que les preuves n’établissent pas
Une cotation onchain garantie, gas/MEV réels, sortie minimale sûre ou liquidité de sortie complète.
Classification des preuves
- OBSERVED : FIX-P11-L02 stipule les frais 0.003 et les réserves 100/1000.
- INFERRED : sortie 1000×9.97/109.97 selon le modèle pédagogique.
- UNKNOWN : état lors de toute exécution réelle.
- INSUFFICIENT EVIDENCE : la sortie modélisée garantit une exécution réelle.
Erreurs fréquentes
- Utiliser l’entrée effective comme réserve finale réelle.
- Assimiler effet des frais et slippage.
- Rapporter l’impact sans convention du dénominateur.
Exercice pratique
Calculer sortie ajustée des frais, réserves finales réelles et produit. Calculer impact sans frais et déficit frais inclus pour 10 X. Calculer la sortie pour 20 X et comparer l’exécution moyenne.
Fournissez les calculs ou annotations, le tableau affirmations/sources et les limites. Répartition suggérée : étude 12 minutes, exercice 8, correction et quiz 10 ; estimation à calibrer.
Afficher la correction détaillée
Δx_eff9.97 ; sortie=9970/109.97=90.661089 Y ; réels x'=110,y'=909.338911. Produit≈100027.28017 XY, supérieur à 100000 car les frais restent. Sortie sans frais 90.909091 : impact1−9.090909/10=9.090909%. Déficit frais inclus1−9.066109/10=9.338911%. Pour20 X, effective 19.94 ; sortie 19940/119.94=166.2497916 Y, moyenne 8.3124896 Y/X, inférieure à9.0661089. Le slippage non modélisé dû au changement d’état reste UNKNOWN.
Grille formative (5 points) : données d’entrée reproductibles, méthode correcte, résultat correct, périmètre de preuve propre à chaque affirmation, limites explicites. Une observation inventée, une sortie prescriptive ou une affirmation de sécurité non étayée exigent une correction, quelle que soit la note.
Liste de contrôle
- Déclarer les frais et la convention d’impact.
- Conserver toute l’entrée dans la réserve réelle.
- Arrondir seulement l’affichage.
- Séparer courbe modélisée et exécution ultérieure.
Résumé
Le calcul ajusté des frais est reproductible si les soldes et conventions sont explicites ; l’exécution dépend encore de l’état et des coûts manquants.
Résumé
- Calculer la sortie à produit constant ajustée des frais.
- Séparer impact de la courbe, effet des frais et slippage ultérieur.
Leçon suivante
P11-L03 après examen de la correction.
Outils
NONE dans le catalogue faisant autorité. Le jeu fictif ou paquet hors ligne fourni suffit ; aucune fonctionnalité payante ni capacité Production non vérifiée n’est nécessaire. Les métadonnées de laboratoire ou de certification désignent des associations en aval, pas des conditions d’accès ni des distinctions délivrées en direct.
Sources et limites des affirmations
- [V2] Livre blanc du cœur d’Uniswap v2 (mars 2020) — Rapport des réserves, produit constant et invariant avec frais sur l’entrée ; propre à la version, pas une observation d’un déploiement actif. Vérifié le 2026-10-01; repère turn14view0.
Spécifications visuelles
P11-L02-V01
Calculer un swap illustratif avec frais et réserves
ILLUSTRATIVE — données fictives ; aucun signal ni garantie de sécurité.
Spécification de graphique de profondeur utilisant la formule exacte ; marquer entrées10/20, entrée effective, sortie moyenne et rétention des frais. Pistes distinctes pour impact de courbe, déficit frais inclus et slippage non modélisé.
Spécification de graphique de profondeur utilisant la formule exacte ; marquer entrées10/20, entrée effective, sortie moyenne et rétention des frais. Pistes distinctes pour impact de courbe, déficit frais inclus et slippage non modélisé.
À 390px, empiler le graphique ou tableau, les hypothèses, la correction et le panneau de sources ; fournir un équivalent textuel complet. Rendu en attente.
Prose explicative en RTL ; valeurs numériques, identifiants et axes chronologiques en LTR ; préserver le sens des dépendances.
FIX-P11-L02
Sources et limites des affirmations
V2 · PRIMARY_DOCUMENTATION
Livre blanc du cœur d’Uniswap v2 (mars 2020)
- Affirmation étayée
- Rapport des réserves, produit constant et invariant avec frais sur l’entrée ; propre à la version, pas une observation d’un déploiement actif.
- Limite de vérification
- La documentation étaye uniquement le mécanisme ; les valeurs du jeu fictif sont des données d’entrée originales stipulées. Les publications historiques restent attribuées à leurs auteurs.
- Date de vérification
- 2026-10-01
https://app.uniswap.org/whitepaper.pdf
Provenance des données
id: FIX-P11-L02
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.