Comment ajouter de la marge aux contrats Cardano (ADA)?

Comprendre la marge dans les contrats intelligents de Cardano (ADA)

Cardano fonctionne sur une blockchain de preuve de mise en place qui prend en charge les contrats intelligents via sa plate-forme Plutus. Contrairement aux systèmes financiers traditionnels, le concept de «marge» ne s'applique pas directement au sein des contrats natifs de Cardano comme dans les bourses centralisées ou les plateformes de trading de marge. Au lieu de cela, les développeurs doivent simuler des fonctionnalités de type marge en utilisant la logique sur chaîne et les mécanismes collatéraux intégrés dans les scripts du plutus.

1. La marge dans les environnements décentralisés fait référence aux actifs de verrouillage comme garanties pour permettre des positions ou des emprunts à effet de levier. Sur Cardano, cela nécessite la construction de validateurs de ploutus personnalisés qui appliquent les règles concernant les dépôts d'actifs, l'émission de prêts et les seuils de liquidation.

2. Étant donné que le modèle de grand livre de Cardano est basé sur le système UTXO étendu (EUTXO), chaque état de contrat doit être explicitement défini dans les sorties de transaction. Cela signifie que tout mécanisme de marge doit coder les soldes de garantie, les obligations de dettes et les conditions verrouillées directement dans les sorties de script.
3. Pour mettre en œuvre un comportement de marge, les développeurs définissent les scripts de validateur qui ne permettent que les dépenses dans des conditions spécifiques, telles que le remboursement de la valeur empruntée plus des frais, ou la liquidation forcée lorsque la valeur collatérale chute en dessous d'un rapport fixe.
4. Le processus consiste à créer des composants hors chaîne (en utilisant Haskell ou Plutus TX) qui construisent des transactions satisfaisant à ces validateurs, garantissant aux utilisateurs des ADA ou des jetons natifs en garantie et recevoir des actifs synthétiques ou des liquidités en retour.
5. Toutes les opérations doivent respecter les invariants de l'équilibre et éviter de sureserver en validant les données d'entrée par rapport aux paramètres de chaîne tels que les aliments de prix des oracles et les seuils de risque prédéfinis.

Construire des positions garanties avec Plutus

La mise en œuvre de la fonctionnalité de marge sur Cardano repose fortement sur la rédaction de scripts Plutus sécurisés et déterministes qui régissent l'accès au fonds. Ces scripts agissent comme des agents d'entiercement, détenant des garanties jusqu'à ce que certaines conditions soient remplies.

1. Une configuration typique commence par un utilisateur soumettant une transaction qui verrouille l'ADA dans une adresse de script Plutus. Cette transaction comprend des valeurs de référence spécifiant le montant déposé, les conditions de prêt et l'identité de l'emprunteur.

2. Une autre transaction, déclenchée plus tard, peut échanger une partie de l'ADA verrouillée après avoir vérifié que les conditions externes - comme une garantie suffisante - sont satisfaites.
3. Les développeurs utilisent les valeurs de rédempteur pour signaler l'intention (par exemple, «rembourser» ou «liquider») et les données pour stocker l'état (par exemple, «500 $ d'ADA verrouillé»). Les deux sont vérifiés par rapport à la logique métier à l'intérieur du validateur.
4. Les contraintes de temps peuvent être appliquées via des intervalles de validité ou des signatures requises des fournisseurs d'Oracle qui signalent les prix du marché.
5. Étant donné que chaque action est une transaction de blockchain, tous les événements liés à la marge - les dépôts, les retraits, les liquidations - sont enregistrés en permanence et vérifiables publiquement.

Intégration des oracles pour la gestion des risques dynamiques

Des données de prix fiables sont essentielles pour maintenir des positions de marge saines. Sans évaluation précise de la garantie et de la dette, l'application automatisée des appels de marge devient impossible.

1. Les services d'Oracle tiers publient des prix de jetons en les engageant dans des transactions en chaîne. Les contrats intelligents font référence à ces résultats pour évaluer les conditions actuelles du marché avant d'autoriser les retraits ou de déclencher des liquidations.

2. Les données nourries à Oracle doivent être coiffées et signées pour empêcher la manipulation. Les scripts valident à la fois la source et la fraîcheur des informations sur les prix avant de procéder.
3. Certains protocoles regroupent plusieurs flux d'oracle pour réduire la dépendance à un seul fournisseur, augmentant la résilience contre les temps d'arrêt ou les attaques.
4. Lorsque le ratio entre la valeur ADA verrouillée et le montant emprunté tombe en dessous d'un seuil - selon 150% - le contrat permet aux tiers d'initier la liquidation en échange d'une récompense.
5. Les liquidateurs soumettent des transactions qui déverrouillent une partie de la garantie, remboursent la dette et réclament leur incitation - toutes régies par le même validateur Plutus qui a appliqué les règles de dépôt initial.

Questions fréquemment posées

Qu'est-ce qui empêche quelqu'un de retirer toute son ADA immédiatement après avoir pris un prêt? Les validateurs du plutus bloquent les dépenses non autorisées. Une transaction de retrait ne réussira que si elle remplit toutes les conditions codées dans le script, comme prouver le remboursement complet ou le maintien de niveaux de garantie minimum.

Puis-je utiliser des actifs non ADA comme marge sur Cardano? Oui. Les jetons natifs émis sur Cardano peuvent servir de garantie si le script Plutus est conçu pour les accepter. Le validateur doit explicitement reconnaître et évaluer le type de jeton pendant l'évaluation.

Y a-t-il des outils prédéfinis pour simplifier le développement du contrat de marge? Le Framework d'application Plutus (PA-Framework) propose des bibliothèques réutilisables pour les modèles Defi communs, y compris les systèmes de mise en œuvre, de prêt et de saut qui prennent en charge les opérations de type marge. Ceux-ci accélèrent le développement tout en favorisant les meilleures pratiques.

Comment les liquidations sont-elles gérées si le réseau est congestionné? Les transactions restent en attente jusqu'à inclure dans un bloc. Cependant, étant donné que les scripts Plutus évaluent les limites du temps et les données Oracle lors de l'exécution, le traitement retardé n'invalide pas l'admissibilité à la liquidation tant que les conditions sous-jacentes sont toujours à l'inclusion.