OP-DLC 2: La vérité est souvent simple

1. Introduction

Le Contrat Log Discret (DLC) est un cadre d'exécution de contrat basé sur des oracles, permettant aux deux parties d'effectuer des paiements conditionnels en fonction de conditions prédéfinies. Le DLC permet de garantir la sécurité des dépôts en bitcoins tout en réalisant de nouvelles applications de finance décentralisée.

Le texte précédent a analysé les avantages et les problèmes auxquels le DLC est confronté, et a proposé certaines solutions. Cependant, les stratégies de défense complexes ne sont pas parfaites et manquent de simplicité.

Dans Bitcoin, toute action est réalisée via UTXO. De même, toutes les actions dans DLC sont réalisées via CET (contrat d'exécution de transaction). Par conséquent, en utilisant un mécanisme de défi optimiste pour garantir la validité du CET, on peut résister à toute attaque. Plus précisément, l'oracle doit être mis en jeu avant de signer le CET, et un mécanisme de défi optimiste est ajouté au CET. Un CET correct peut être réglé, l'oracle libère son enjeu et reçoit des frais ; un CET incorrect sera contesté, ne pouvant pas être réglé, et l'oracle perdra son enjeu. Cette méthode est simple et élégante, conforme au principe que la simplicité est la voie vers la grandeur.

2. Principe de DLC

Prenons comme exemple le pari sur la parité des valeurs de hachage de bloc par Alice et Bob pour illustrer le principe du DLC. Les principales étapes incluent la transaction de mise, la construction du CET, le règlement et le retrait.

Découverte clé : toute action doit être réalisée via le CET. Ainsi, il suffit d'utiliser le mécanisme de défi optimiste pour garantir l'exactitude du CET afin de résister à toute attaque. Un CET incorrect sera contesté et son exécution sera bloquée, tandis qu'un CET correct sera exécuté. L'oracle doit payer le prix pour les comportements malveillants.

3. OP-DLC 2

OP-DLC comprend les 5 règlements suivants :

1. L'oracle est composé d'une alliance, tout membre peut signer le CET. Il faut le staker avant de pouvoir publier des signatures pour gagner des frais.

2. Lorsqu'un oracle modifie les résultats de manière malveillante, n'importe qui peut lancer un défi.

3. Lorsqu'un oracle signe honnêtement le CET, il peut être correctement réglé et recevoir une récompense une semaine plus tard.

4. Toute personne peut lancer un défi contre Oracle_sign. Les signatures honnêtes seront réglées une semaine plus tard, tandis que les signatures malhonnêtes seront punies.

5. Le défi dans l'OP-DLC est qu'il n'est pas nécessaire d'avoir une autorisation, n'importe qui peut superviser l'exécution du contrat.

Avantages :

• Contrôle des actifs élevé, les utilisateurs peuvent uniquement se fier à eux-mêmes
• Taux d'utilisation des fonds élevé
• L'oracle est déterminé lors du dépôt, l'utilisateur peut également devenir oracle.

Inconvénients :

• Le délai de retrait est d'une semaine
• La quantité de pré-signatures est en relation linéaire avec la quantité de CET.

4. Conclusion

OP-DLC introduit un mécanisme de défi optimiste dans CET, garantissant une exécution correcte et punissant les comportements malveillants. Cette approche peut résister à toute attaque, illustrant la beauté de la simplicité.