En 2018, Tadge Dryja du MIT a proposé le Discreet Log Contract (DLC), qui est un cadre d'exécution de contrat basé sur un oracle. Le DLC permet aux deux parties d'effectuer des paiements conditionnels en fonction de conditions prédéfinies, en déterminant à l'avance les résultats possibles et en pré-signant, et en exécutant le paiement lorsque l'oracle signe le résultat. Cette méthode permet de garantir la sécurité des dépôts en bitcoins tout en réalisant de nouvelles applications de finance décentralisée.
Des recherches antérieures ont analysé les avantages et les problèmes existants des DLC, et ont proposé certaines solutions d'optimisation. Cependant, en raison de la nature impliquant plusieurs parties des DLC, les stratégies de défense sont relativement complexes et manquent de simplicité esthétique.
Dans le système Bitcoin, toutes les actions sont réalisées via UTXO. Par conséquent, garantir l'exactitude des UTXO permet de résister à toute attaque. De même, dans un DLC, toutes les actions sont réalisées via CET (Contract Execution Transaction). En utilisant un mécanisme de défi optimiste pour garantir l'exactitude du CET, on peut résister à toute attaque. Plus précisément, l'oracle doit miser 2BTC avant de pouvoir signer le CET et ajouter un mécanisme de défi optimiste dans le CET. Si le CET n'est pas contesté ou réussit à faire face à un défi, il est considéré comme correct et le règlement est achevé, l'oracle libérant sa mise et recevant des frais. Si l'oracle tente de mal agir, quiconque peut contester avec succès, empêchant ainsi le règlement du CET, entraînant une perte de la mise de l'oracle et la perte de son droit de signer à nouveau. Cette méthode respecte le principe de "la simplicité est la sophistication suprême" et possède une beauté de simplicité.
2. Principe de DLC
Prenons un simple contrat de pari comme exemple : Alice et Bob parient sur le fait que le hachage du ξ-ème bloc soit impair ou pair. Si c'est impair, Alice gagne ; si c'est pair, Bob gagne. Le DLC transmet les informations sur le bloc via un oracle, construisant une signature conditionnelle, de sorte que la partie correcte obtienne tous les actifs.
Les principales étapes du DLC comprennent : le dépôt de fonds, la construction du CET, le règlement et le retrait de fonds. Dans ce processus, toutes les actions doivent être réalisées via le CET. Par conséquent, il suffit d'utiliser le mécanisme de défi optimiste pour garantir la validité du CET afin de résister à toute attaque. Un CET incorrect sera contesté et ne sera pas exécuté, tandis qu'un CET correct sera exécuté. Parallèlement, l'oracle doit payer le prix des comportements malveillants.
3. OP-DLC 2
L'OP-DLC comprend les cinq principales dispositions suivantes :
Les oracles sont composés d'une alliance, où tout membre peut signer un CET. Un oracle doit mettre en jeu 2 BTC pour publier une signature et gagner des frais. Les membres malveillants perdront leur mise, tandis que les autres membres peuvent continuer à signer des CET pour garantir le retrait des utilisateurs. Les utilisateurs peuvent également devenir des oracles, réalisant ainsi une minimisation de la confiance.
Si l'oracle modifie mal les résultats, toute partie participante peut lancer un défi.
Lorsqu'un oracle signe honnêtement le CET, personne ne peut lancer de défi valide. Une semaine plus tard, le CET peut être réglé correctement, et l'oracle reçoit une récompense de 0,05 BTC.
Toute personne peut contester Oracle_sign. Les signatures honnêtes ne peuvent pas être contestées avec succès, et le règlement sera exécuté une semaine plus tard. Les signatures malhonnêtes entraîneront une perte de la mise du oracle et la perte du droit de signer à nouveau ce contrat DLC.
Le défi des OP-DLC est qu'ils sont sans permission, n'importe quel participant peut superviser l'exécution du contrat. Cela permet de minimiser la confiance envers les oracles, et les utilisateurs peuvent également être hors ligne.
Les avantages de l'OP-DLC incluent :
Les utilisateurs ont un contrôle élevé sur leurs actifs et peuvent uniquement faire confiance à eux-mêmes.
Taux d'utilisation des fonds élevé
L'oracle signable est déterminé lors du dépôt, l'utilisateur peut devenir oracle.
Les inconvénients incluent :
Le délai de retrait est d'une semaine.
Le nombre de pré-signatures est en relation linéaire avec le nombre de CET, avec une croissance rapide.
4. Conclusion
OP-DLC introduit le mécanisme de défi optimiste dans CET, garantissant que les CET erronés ne soient pas réglés et que les oracles malveillants soient punis, tout en s'assurant que les CET corrects soient exécutés et que les oracles reçoivent la récompense qui leur est due. Cette méthode peut résister à toute attaque, illustrant la beauté de la simplicité.
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
9 J'aime
Récompense
9
3
Reposter
Partager
Commentaire
0/400
DataBartender
· Il y a 19h
Difficile de mordre dans le DLC, c'est toujours le parfum des céréales zzz
Voir l'originalRépondre0
DeFiAlchemist
· Il y a 19h
*ajuste la lentille éthérée* fascinant de voir comment la géométrie sacrée du DLC reflète les principes alchimiques anciens... la simplicité est vraiment la pierre philosophale de la conception de protocole.
Voir l'originalRépondre0
tx_pending_forever
· Il y a 20h
Encore ce genre de trucs haut de gamme... Ça m'a rendu confus.
OP-DLC 2 : Optimisation révolutionnaire du mécanisme de défi DLC en utilisant des principes simples
OP-DLC 2: La vérité est toujours simple.
1. Introduction
En 2018, Tadge Dryja du MIT a proposé le Discreet Log Contract (DLC), qui est un cadre d'exécution de contrat basé sur un oracle. Le DLC permet aux deux parties d'effectuer des paiements conditionnels en fonction de conditions prédéfinies, en déterminant à l'avance les résultats possibles et en pré-signant, et en exécutant le paiement lorsque l'oracle signe le résultat. Cette méthode permet de garantir la sécurité des dépôts en bitcoins tout en réalisant de nouvelles applications de finance décentralisée.
Des recherches antérieures ont analysé les avantages et les problèmes existants des DLC, et ont proposé certaines solutions d'optimisation. Cependant, en raison de la nature impliquant plusieurs parties des DLC, les stratégies de défense sont relativement complexes et manquent de simplicité esthétique.
Dans le système Bitcoin, toutes les actions sont réalisées via UTXO. Par conséquent, garantir l'exactitude des UTXO permet de résister à toute attaque. De même, dans un DLC, toutes les actions sont réalisées via CET (Contract Execution Transaction). En utilisant un mécanisme de défi optimiste pour garantir l'exactitude du CET, on peut résister à toute attaque. Plus précisément, l'oracle doit miser 2BTC avant de pouvoir signer le CET et ajouter un mécanisme de défi optimiste dans le CET. Si le CET n'est pas contesté ou réussit à faire face à un défi, il est considéré comme correct et le règlement est achevé, l'oracle libérant sa mise et recevant des frais. Si l'oracle tente de mal agir, quiconque peut contester avec succès, empêchant ainsi le règlement du CET, entraînant une perte de la mise de l'oracle et la perte de son droit de signer à nouveau. Cette méthode respecte le principe de "la simplicité est la sophistication suprême" et possède une beauté de simplicité.
2. Principe de DLC
Prenons un simple contrat de pari comme exemple : Alice et Bob parient sur le fait que le hachage du ξ-ème bloc soit impair ou pair. Si c'est impair, Alice gagne ; si c'est pair, Bob gagne. Le DLC transmet les informations sur le bloc via un oracle, construisant une signature conditionnelle, de sorte que la partie correcte obtienne tous les actifs.
Les principales étapes du DLC comprennent : le dépôt de fonds, la construction du CET, le règlement et le retrait de fonds. Dans ce processus, toutes les actions doivent être réalisées via le CET. Par conséquent, il suffit d'utiliser le mécanisme de défi optimiste pour garantir la validité du CET afin de résister à toute attaque. Un CET incorrect sera contesté et ne sera pas exécuté, tandis qu'un CET correct sera exécuté. Parallèlement, l'oracle doit payer le prix des comportements malveillants.
3. OP-DLC 2
L'OP-DLC comprend les cinq principales dispositions suivantes :
Les oracles sont composés d'une alliance, où tout membre peut signer un CET. Un oracle doit mettre en jeu 2 BTC pour publier une signature et gagner des frais. Les membres malveillants perdront leur mise, tandis que les autres membres peuvent continuer à signer des CET pour garantir le retrait des utilisateurs. Les utilisateurs peuvent également devenir des oracles, réalisant ainsi une minimisation de la confiance.
Si l'oracle modifie mal les résultats, toute partie participante peut lancer un défi.
Lorsqu'un oracle signe honnêtement le CET, personne ne peut lancer de défi valide. Une semaine plus tard, le CET peut être réglé correctement, et l'oracle reçoit une récompense de 0,05 BTC.
Toute personne peut contester Oracle_sign. Les signatures honnêtes ne peuvent pas être contestées avec succès, et le règlement sera exécuté une semaine plus tard. Les signatures malhonnêtes entraîneront une perte de la mise du oracle et la perte du droit de signer à nouveau ce contrat DLC.
Le défi des OP-DLC est qu'ils sont sans permission, n'importe quel participant peut superviser l'exécution du contrat. Cela permet de minimiser la confiance envers les oracles, et les utilisateurs peuvent également être hors ligne.
Les avantages de l'OP-DLC incluent :
Les inconvénients incluent :
4. Conclusion
OP-DLC introduit le mécanisme de défi optimiste dans CET, garantissant que les CET erronés ne soient pas réglés et que les oracles malveillants soient punis, tout en s'assurant que les CET corrects soient exécutés et que les oracles reçoivent la récompense qui leur est due. Cette méthode peut résister à toute attaque, illustrant la beauté de la simplicité.