Aller au contenuBlockAssay

Garanties des prêts et liquidation

P11-L05 · P11 · P11-M02

Retracer les seuils d’emprunt et les incitations à liquider

ILLUSTRATIVE · needs_review

Prérequis: P11-L04

Objectifs pédagogiques

  • Retracer les seuils d’emprunt et les incitations à liquider
  • Distinguer capacité d’emprunt et seuil de liquidation.
  • Retracer remboursement fictif de dette et saisie de garantie.

Source maître EN · P11-L05 · 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

La comptabilité des garanties explique un mécanisme de prêt conditionnel, tout en laissant non résolues les dépendances au prix, à la liquidité et au contrat.

Explication

Lire les deux seuils séparément

Capacité d’emprunt et seuil de liquidation sont des paramètres distincts. Aave décrit le facteur de santé comme valeur de garantie multipliée par seuil de liquidation pondéré, divisée par valeur de dette [AAVE]. Ce cours utilise une garantie fictive, sans mode efficacité/isolation ni paramètres actifs de réserve. Le LTV fourni de 50% régit la capacité initiale ; le seuil de liquidation75% régit le calcul du facteur de santé.

Le facteur de santé (HF) est un rapport ; le seuil de liquidation (LT) est un paramètre distinct du LTV.

Retracer les effets du prix et de la dette

Avec garantie1000 et dette 400, capacité fournie 500 et facteur de santé750/400=1.875. Si la valeur oracle de la garantie tombe à 500 et la dette augmente à 410, facteur375/410≈0.9146. Notre règle pédagogique HF<1 permet la liquidation. Une valeur oracle est une entrée de cette règle, pas une vérité de marché infaillible.

Comptabiliser l’incitation du liquidateur

Le liquidateur fictif rembourse100 unités de dette et reçoit une garantie valorisée à 105, bonus de5%. La dette tombe à 310 et la garantie à 395. Prix inchangés et sans frais supplémentaires, nouveau HF=395×0.75/310≈0.9556. Une liquidation partielle ne rétablit pas nécessairement HF≥1. Facteurs de clôture, limites de poussière et bonus réels dépendent de la version et de l’état ; la documentation actuelle n’est pas une observation de l’incident de2023.

Le mécanisme n’assure ni remboursement ni sécurité

Garantie irréalisable, prix périmés, intérêts de dette, changements de gouvernance et exécution indisponible peuvent modifier le résultat. Dépôts ou TVL ne signifient pas que les prêteurs peuvent retirer immédiatement le même montant ; utilisation et liquidité du marché comptent. Un calcul ne prouve ni solvabilité des garanties ni sécurité des contrats. Aucun prêt ni transaction de liquidation n’est exécuté.

Terminologie

  • LTV : rapport maximal d’emprunt initial fourni.
  • Seuil de liquidation : facteur de valeur fourni pour l’éligibilité.
  • Facteur de santé : garantie ajustée du seuil divisée par dette.
  • Bonus : valeur supplémentaire stipulée de garantie pour remboursement de dette.

Exemple historique

ILLUSTRATIVE garantie 1000,dette 400,LTV50%,LT75%. Stress garantie 500,dette 410. Éligibilité pédagogiqueHF<1 ; remboursement100,bonus5%,sans frais supplémentaires ; même prix oracle durant la liquidation partielle. Aucun réseau ou actif réel.

Spécifications visuelles

Flux permissions/prêt : garantie→seuil→HF ; accroissement de dette et entrées oracle ; rembourser100→garantie 105 saisie ; marquer HF<1 persistant. Ne pas représenter des paramètres actifs de protocole.

Ce que les preuves établissent

Capacité et facteurs de santé conditionnels, comptabilité pédagogique de liquidation partielle.

Ce que les preuves n’établissent pas

Vérité réelle de l’oracle, exécution de liquidation, paramètres actuels de réserve, capacité de sortie du prêteur ou sécurité du protocole.

Classification des preuves

  • OBSERVED : FIX-P11-L05 stipule LTV50% et LT75%.
  • INFERRED : HF stressé 375/410<1 aux prix fournis.
  • UNKNOWN : fraîcheur réelle de l’oracle et valeur exécutable de garantie.
  • INSUFFICIENT EVIDENCE : comprendre la liquidation prouve la sécurité d’un protocole de prêt.

Erreurs fréquentes

  • Utiliser LTV comme seuil de liquidation.
  • Supposer qu’une liquidation partielle rétablit toujours la santé.
  • Assimiler garantie marquée et espèces.

Exercice pratique

Calculer capacité d’emprunt/HF initial et HF stressé. Appliquer remboursement100 et bonus de garantie 5%, puis recalculerHF. Expliquer deux hypothèses pouvant invalider le résultat.

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

Capacité 1000×0.5=500. HF initial1000×0.75/400=1.875. HF stressé500×0.75/410=0.914634. Garantie saisie 100×1.05=105 ; reste 395, dette 310. HF 395×0.75/310=0.955645, encore sous 1. Réévaluation oracle, frais supplémentaires ou autres règles de clôture exigent un recalcul ; le modèle ne décrit pas une liquidation réelle exécutée.

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

  • Séparer LTV et LT.
  • Inclure accroissement de dette et hypothèses oracle.
  • Retracer ensemble dette et garantie.
  • Éviter les affirmations d’état actuel ou de sécurité.

Résumé

Seuils d’emprunt et incitations à liquider sont des règles comptables conditionnelles. Leurs entrées et limites d’exécution restent dans la conclusion.

Résumé

  • Distinguer capacité d’emprunt et seuil de liquidation.
  • Retracer remboursement fictif de dette et saisie de garantie.

Leçon suivante

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

Spécifications visuelles

P11-L05-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Retracer les seuils d’emprunt et les incitations à liquider

ILLUSTRATIVE — données fictives ; aucun signal ni garantie de sécurité.

Flux permissions/prêt : garantie→seuil→HF ; accroissement de dette et entrées oracle ; rembourser100→garantie 105 saisie ; marquer HF<1 persistant. Ne pas représenter des paramètres actifs de protocole.

Flux permissions/prêt : garantie→seuil→HF ; accroissement de dette et entrées oracle ; rembourser100→garantie 105 saisie ; marquer HF<1 persistant. Ne pas représenter des paramètres actifs de protocole.

À 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-L05

Sources et limites des affirmations

AAVE · PRIMARY_DOCUMENTATION

Aave — Facteur de santé et liquidations

Affirmation étayée
Seuil de liquidation des garanties, dette et incitations du liquidateur ; paramètres actifs exclus.
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://aave.com/help/borrowing/liquidations

Provenance des données

id: FIX-P11-L05

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-L05-Q1 · Quelle est la capacité initiale d’emprunt ?
P11-L05-Q2 · Quel est le HF initial ?
P11-L05-Q3 · Quel est le HF stressé ?
P11-L05-Q4 · La liquidation partielle rétablit-elle HF≥1 ici ?
P11-L05-Q5 · Que garantit une valeur marquée par oracle ?