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

En 2018, Tadge Dryja du MIT a proposé le Discreet Log Contract (DLC), qui est un cadre d'exécution de contrat basé sur des oracles. Le DLC permet aux deux parties d'effectuer des paiements conditionnels en fonction de conditions prédéfinies. Les deux parties déterminent à l'avance les résultats possibles et effectuent une pré-signature, qui sera utilisée pour exécuter le paiement lorsque l'oracle signera le résultat. 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 « Analyse des principes du DLC et réflexion sur son optimisation » résume les avantages et les problèmes du DLC, et propose quelques idées d'optimisation. Cependant, en raison de la participation de plusieurs parties dans le DLC, les attaques de collusion entre différentes parties sont relativement complexes, ce qui rend les stratégies de prévention également relativement compliquées. Les stratégies de défense complexes ne sont pas parfaites et manquent de simplicité esthétique.

Dans Bitcoin, toute action doit être réalisée via UTXO. Par conséquent, en garantissant la validité de l'UTXO par le biais d'un mécanisme de consensus, il est possible de résister à toute attaque. De même, dans les DLC, toutes les actions sont réalisées à travers le CET(Contract Execution Transaction). Tant que le mécanisme de défi optimiste est utilisé pour garantir la validité du CET, il est possible de résister à toute attaque. Plus précisément, l'oracle doit miser 2BTC avant de pouvoir signer le CET. Un mécanisme de défi optimiste est ajouté au CET. Si le CET n'est pas contesté ou réussit à faire face à un défi, il est considéré comme valide et peut être réglé, l'oracle libérant sa mise et recevant des frais. Si l'oracle tente de frauder, n'importe qui peut contester avec succès, le CET ne pourra pas être réglé, et l'oracle perdra sa mise et ne pourra plus signer le même CET. Cette méthode est simple et efficace, reflétant la sagesse de la simplicité.

Principe du DLC

Prenons l'exemple du contrat de pari entre Alice et Bob : parier sur la parité du hash du ξème bloc. Si c'est un nombre impair, Alice gagne, si c'est un nombre pair, Bob gagne. Le DLC transmet les informations du bloc via un oracle et construit une signature conditionnelle pour que la partie gagnante l'emporte.

Le processus de base du DLC comprend :

1. Transaction de capital: Alice et Bob déposent chacun 10 BTC à l'adresse multisignature 2-of-2.

2. Construire un CET : créer deux résultats possibles pour le CET.

3. L'oracle calcule l'engagement et génère une nouvelle clé publique pour Alice et Bob.

4. Règlement : l'oracle signe le CET correspondant en fonction du résultat réel.

5. Retrait: Le gagnant calcule une nouvelle clé privée et retire 20BTC.

Des recherches ont montré que toute action dans le DLC doit être réalisée via le CET. Tant que le mécanisme de défi optimiste garantit l'exactitude du CET, il peut résister à toute attaque. Un CET incorrect sera contesté et non exécuté, tandis qu'un CET correct sera exécuté. Les oracles doivent payer le prix des comportements malveillants.

OP-DLC 2

OP-DLC comprend les 5 dispositions suivantes :

1. Les oracles sont constitués d'alliances, chaque membre peut signer des CET. Il faut staker 2 BTC pour pouvoir signer et gagner des frais. Les malfaiteurs perdent leur mise. Alice et Bob peuvent également devenir des oracles, réalisant ainsi une minimisation de la confiance.

2. Lorsqu'un oracle modifie malicieusement le résultat, toute personne peut lancer un défi.

3. L'oracle signe honnêtement le CET, le règlement peut être effectué correctement une semaine plus tard. L'oracle reçoit une récompense de 0,05 BTC.

4. Toute personne peut contester la signature de l'oracle. Une signature honnête est réglée une semaine après exécution, l'oracle débloque le staking et reçoit des frais. Une signature malhonnête devient invalide après avoir été contestée avec succès, l'oracle perd son staking et ne peut plus faire de signature pour le même résultat sur ce contrat.

5. Le défi dans OP-DLC est sans autorisation, tout le monde peut superviser l'exécution du contrat. Cela permet de minimiser la confiance envers les oracles. Alice et Bob peuvent être hors ligne, car les oracles malveillants seront punis.

Les avantages de l'OP-DLC incluent :

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

Les inconvénients incluent:

• Le délai de retrait est d'une semaine.
• Le nombre de signatures à pré-signer augmente de manière linéaire avec le nombre de CET.

Conclusion

OP-DLC introduit un mécanisme de défi optimiste dans CET, garantissant une exécution correcte de CET et évitant le règlement des CET erronés. Cette méthode simple et efficace peut résister à toute attaque, illustrant la beauté de la simplicité de la conception.