OP-DLC 2 : Les grandes vérités sont toujours simples
1. Introduction
En 2018, Tadge Dryja du Massachusetts Institute of Technology a proposé un cadre d'exécution de contrats basé sur des oracles - Discreet Log Contract (DLC). Ce cadre 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 effectuant des pré-signatures, le paiement étant exécuté lorsque l'oracle signe le résultat. Le DLC ouvre de nouvelles possibilités pour les applications financières décentralisées tout en garantissant la sécurité des dépôts en bitcoins.
Des recherches antérieures ont résumé les avantages des DLC en matière de protection de la vie privée, de contrats complexes et de risques d'actifs, tout en soulignant les problèmes auxquels ils sont confrontés, tels que les risques de clé, les risques de confiance décentralisée et les risques de collusion. Pour résoudre ces problèmes, les chercheurs ont tenté d'introduire des solutions telles que des oracles décentralisés, des signatures de seuil et des mécanismes de défi optimiste. Cependant, en raison de l'implication de plusieurs parties dans les DLC, les stratégies de défense deviennent complexes et ne respectent pas le principe du "simple est le meilleur".
Dans le système Bitcoin, le comportement de toutes les parties prenantes est réalisé via UTXO. Par conséquent, assurer l'exactitude des UTXO peut résister à toute attaque. De même, dans les DLC, toutes les actions sont réalisées par le biais de CET (Contrat d'Exécution de Transaction). En introduisant un mécanisme de défi optimiste pour garantir l'exactitude des CET, il est possible de prévenir efficacement diverses attaques. Plus précisément, les oracles doivent miser 2BTC pour signer le CET et inclure un mécanisme de défi optimiste dans le CET. Si le CET n'est pas contesté ou fait face avec succès à un défi, il est considéré comme correct et le règlement est effectué, l'oracle libère sa mise et reçoit des frais. En revanche, si l'oracle agit de manière malveillante, quiconque peut réussir à contester, entraînant l'impossibilité de régler le CET, l'oracle perd sa mise et son droit de signature sur ce CET. Ce mécanisme simple et efficace reflète le principe de conception "La simplicité est la sophistication suprême".
2. Principe du DLC
Alice et Bob signent un contrat de pari : parier si le hachage du ξ-ème bloc est impair ou pair. Si c'est impair, Alice gagne et retire les actifs ; si c'est pair, Bob gagne et retire les actifs. Le DLC transmet les informations du ξ-ème bloc via un oracle, construit une signature conditionnelle, garantissant que le gagnant obtienne tous les actifs.
Les principales étapes du DLC comprennent :
Transaction de capital : Alice et Bob créent ensemble une transaction de capital, chacun verrouillant 10BTC dans une sortie multisignature.
Construire le CET : les deux parties créent le CET1 et le CET2 pour les transactions d'investissement.
Calcul des oracles : Le calcul des oracles promet et définit les paramètres associés.
Règlement : L'oracle signe le CET correspondant en fonction de la valeur de hachage du ξème bloc.
Retrait : Le gagnant calcule une nouvelle clé privée et retire les BTC verrouillés.
Des recherches ont révélé que tous les comportements dans le DLC doivent être réalisés via CET. Par conséquent, il suffit d'utiliser un mécanisme de défi optimiste pour garantir l'exactitude de CET afin de se protéger contre toute attaque. Un CET incorrect sera contesté et empêché d'être exécuté, tandis qu'un CET correct sera exécuté. De plus, l'oracle doit payer le prix des actes malveillants.
3. OP-DLC 2
OP-DLC comprend les cinq dispositions clés suivantes :
Les oracles sont constitués d'une alliance, où n'importe quel membre peut signer un CET. Les oracles doivent staker 2 BTC pour pouvoir émettre une signature et gagner des frais. Les malfaiteurs perdront leur mise. Alice et Bob peuvent également devenir des oracles, réalisant ainsi une minimisation de la confiance.
Si un oracle malveillant modifie le résultat, n'importe quelle partie participante peut lancer un défi.
Les CET signés honnêtement peuvent être correctement réglés une semaine plus tard. L'oracle reçoit une récompense de 0,05 BTC en compensation.
Toute personne peut contester une signature d'oracle. Les signatures honnêtes seront réglées une semaine plus tard, l'oracle débloquera la mise et recevra des frais. Les signatures malhonnêtes entraîneront une perte de mise pour l'oracle, et il ne pourra plus soumettre la même signature pour ce contrat DLC.
Le défi dans l'OP-DLC est qu'il est sans autorisation, ce qui permet à n'importe quelle partie prenante de superviser la bonne exécution du contrat, minimisant ainsi la confiance dans l'oracle. Contrairement au réseau Lightning, Alice et Bob peuvent être hors ligne, car seules les signatures honnêtes régleront le CET, tandis que les oracles malveillants seront punis.
Les avantages de l'OP-DLC incluent :
Haut contrôle des actifs, les utilisateurs peuvent seulement se faire confiance.
Taux d'utilisation des fonds élevé, les utilisateurs n'ont pas besoin d'avancer une quantité équivalente de fonds.
Les oracles pouvant signer sont déterminés lors du dépôt, l'utilisateur peut devenir un oracle.
Les inconvénients incluent :
Le temps de retrait nécessite une semaine.
Le nombre de pré-signatures est en relation linéaire avec le nombre de CET, et augmente rapidement.
4. Conclusion
Le DLC OP garantit l'exécution correcte des CET et empêche les CET erronés en introduisant un mécanisme de défi optimiste dans le CET, tout en punissant les oracles malveillants. Ce design permet de résister efficacement à diverses attaques, illustrant une solution simple et élégante.
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.
11 J'aime
Récompense
11
6
Partager
Commentaire
0/400
SerumSqueezer
· 07-20 04:01
Le délai de retrait d'une semaine est vraiment trop long.
Voir l'originalRépondre0
SnapshotDayLaborer
· 07-20 04:00
Pas assez d'efficacité, j'ai laissé l'herbe pousser pendant une semaine.
Voir l'originalRépondre0
NFTRegretDiary
· 07-20 03:59
Encore des fioritures sur la Blockchain, sécurité fictive.
Voir l'originalRépondre0
MidnightMEVeater
· 07-20 03:49
Une semaine d'attente... le temps du buffet pour les mineurs est arrivé.
Voir l'originalRépondre0
0xLostKey
· 07-20 03:38
Une semaine pour retirer des fonds, c'est incroyable !
OP-DLC 2 : Mécanisme de défi optimiste pour renforcer la sécurité et l'efficacité des smart contracts Bitcoin
OP-DLC 2 : Les grandes vérités sont toujours simples
1. Introduction
En 2018, Tadge Dryja du Massachusetts Institute of Technology a proposé un cadre d'exécution de contrats basé sur des oracles - Discreet Log Contract (DLC). Ce cadre 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 effectuant des pré-signatures, le paiement étant exécuté lorsque l'oracle signe le résultat. Le DLC ouvre de nouvelles possibilités pour les applications financières décentralisées tout en garantissant la sécurité des dépôts en bitcoins.
Des recherches antérieures ont résumé les avantages des DLC en matière de protection de la vie privée, de contrats complexes et de risques d'actifs, tout en soulignant les problèmes auxquels ils sont confrontés, tels que les risques de clé, les risques de confiance décentralisée et les risques de collusion. Pour résoudre ces problèmes, les chercheurs ont tenté d'introduire des solutions telles que des oracles décentralisés, des signatures de seuil et des mécanismes de défi optimiste. Cependant, en raison de l'implication de plusieurs parties dans les DLC, les stratégies de défense deviennent complexes et ne respectent pas le principe du "simple est le meilleur".
Dans le système Bitcoin, le comportement de toutes les parties prenantes est réalisé via UTXO. Par conséquent, assurer l'exactitude des UTXO peut résister à toute attaque. De même, dans les DLC, toutes les actions sont réalisées par le biais de CET (Contrat d'Exécution de Transaction). En introduisant un mécanisme de défi optimiste pour garantir l'exactitude des CET, il est possible de prévenir efficacement diverses attaques. Plus précisément, les oracles doivent miser 2BTC pour signer le CET et inclure un mécanisme de défi optimiste dans le CET. Si le CET n'est pas contesté ou fait face avec succès à un défi, il est considéré comme correct et le règlement est effectué, l'oracle libère sa mise et reçoit des frais. En revanche, si l'oracle agit de manière malveillante, quiconque peut réussir à contester, entraînant l'impossibilité de régler le CET, l'oracle perd sa mise et son droit de signature sur ce CET. Ce mécanisme simple et efficace reflète le principe de conception "La simplicité est la sophistication suprême".
2. Principe du DLC
Alice et Bob signent un contrat de pari : parier si le hachage du ξ-ème bloc est impair ou pair. Si c'est impair, Alice gagne et retire les actifs ; si c'est pair, Bob gagne et retire les actifs. Le DLC transmet les informations du ξ-ème bloc via un oracle, construit une signature conditionnelle, garantissant que le gagnant obtienne tous les actifs.
Les principales étapes du DLC comprennent :
Transaction de capital : Alice et Bob créent ensemble une transaction de capital, chacun verrouillant 10BTC dans une sortie multisignature.
Construire le CET : les deux parties créent le CET1 et le CET2 pour les transactions d'investissement.
Calcul des oracles : Le calcul des oracles promet et définit les paramètres associés.
Règlement : L'oracle signe le CET correspondant en fonction de la valeur de hachage du ξème bloc.
Retrait : Le gagnant calcule une nouvelle clé privée et retire les BTC verrouillés.
Des recherches ont révélé que tous les comportements dans le DLC doivent être réalisés via CET. Par conséquent, il suffit d'utiliser un mécanisme de défi optimiste pour garantir l'exactitude de CET afin de se protéger contre toute attaque. Un CET incorrect sera contesté et empêché d'être exécuté, tandis qu'un CET correct sera exécuté. De plus, l'oracle doit payer le prix des actes malveillants.
3. OP-DLC 2
OP-DLC comprend les cinq dispositions clés suivantes :
Les oracles sont constitués d'une alliance, où n'importe quel membre peut signer un CET. Les oracles doivent staker 2 BTC pour pouvoir émettre une signature et gagner des frais. Les malfaiteurs perdront leur mise. Alice et Bob peuvent également devenir des oracles, réalisant ainsi une minimisation de la confiance.
Si un oracle malveillant modifie le résultat, n'importe quelle partie participante peut lancer un défi.
Les CET signés honnêtement peuvent être correctement réglés une semaine plus tard. L'oracle reçoit une récompense de 0,05 BTC en compensation.
Toute personne peut contester une signature d'oracle. Les signatures honnêtes seront réglées une semaine plus tard, l'oracle débloquera la mise et recevra des frais. Les signatures malhonnêtes entraîneront une perte de mise pour l'oracle, et il ne pourra plus soumettre la même signature pour ce contrat DLC.
Le défi dans l'OP-DLC est qu'il est sans autorisation, ce qui permet à n'importe quelle partie prenante de superviser la bonne exécution du contrat, minimisant ainsi la confiance dans l'oracle. Contrairement au réseau Lightning, Alice et Bob peuvent être hors ligne, car seules les signatures honnêtes régleront le CET, tandis que les oracles malveillants seront punis.
Les avantages de l'OP-DLC incluent :
Les inconvénients incluent :
4. Conclusion
Le DLC OP garantit l'exécution correcte des CET et empêche les CET erronés en introduisant un mécanisme de défi optimiste dans le CET, tout en punissant les oracles malveillants. Ce design permet de résister efficacement à diverses attaques, illustrant une solution simple et élégante.