Aller au contenuBlockAssay

Impact sur le prix à produit constant

P11-L02 · P11 · P11-M01

Calculer un swap illustratif avec frais et réserves

ILLUSTRATIVE · needs_review

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

SPECIFICATION_ONLY · ILLUSTRATIVE

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
Ouvrir la source primaire
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.

Testez votre raisonnement

P11-L02-Q1 · Quelle est l’entrée effective ?
P11-L02-Q2 · Quelle est la sortie ajustée des frais ?
P11-L02-Q3 · Quelle est la réserve X finale réelle ?
P11-L02-Q4 · Pourquoi le produit brut est-il plus grand ?
P11-L02-Q5 · Quel slippage d’exécution reste non résolu ?