تحسين DLC: تنفيذ خطة بسيطة لتحقيق البساطة في العظمة
في عام 2018، قدم تادج دريجا من معهد ماساتشوستس للتكنولوجيا إطار تنفيذ العقود المعتمد على الأوراق المالية Discreet Log Contract (DLC). يسمح DLC للطرفين بإجراء المدفوعات الشرطية بناءً على الشروط المحددة مسبقًا، حيث يتفق الطرفان مسبقًا على النتائج المحتملة ويوقعان عليها مسبقًا، ويتم استخدام هذه التوقيعات المسبقة لتنفيذ المدفوعات عند توقيع الأوراق المالية على النتائج. تضمن هذه الآلية أمان ودائع البيتكوين، وفي الوقت نفسه تحقق تطبيقات مالية لامركزية جديدة.
تحليل النص السابق مزايا DLC في حماية الخصوصية، العقود المعقدة، ومخاطر الأصول، كما أشار إلى مخاطر المفاتيح، مخاطر الثقة اللامركزية، ومخاطر التآمر. على الرغم من أن إدخال الأوراق اللامركزية، التوقيع الحدودي، وآلية التحدي المتفائلة يمكن أن يحل هذه المشكلات، إلا أن DLC تشمل ثلاث أطراف: الأوراق، وآليس، وبوب، مما يجعل حالات هجمات التآمر بين المشاركين مختلفين ومعقدين، مما يؤدي إلى استراتيجيات دفاعية معقدة نسبيًا. هذه الاستراتيجيات الدفاعية المعقدة ليست مثالية، وتفتقر إلى الجمال البسيط.
في البيتكوين، يجب أن تتم تصرفات أي طرف مشارك من خلال UTXO. لذلك، طالما تم التأكد من صحة UTXO، يمكن صد أي هجوم. وبالمثل، في DLC، يجب أن تتم أي تصرفات من خلال تنفيذ المعاملات عبر عقد CET(. طالما يتم استخدام آلية التحدي المتفائلة لضمان صحة CET، يمكن صد أي هجوم. بشكل أكثر تحديدًا، يجب على الأوركل أن يراهن 2BTC قبل أن يتمكن من توقيع CET. إذا تم إضافة آلية التحدي المتفائلة في CET، وإذا لم يتم تحدي CET أو تم الاستجابة للتحدي بنجاح، فسيعتبر صحيحًا ويمكن إكمال التسوية، حيث يقوم الأوركل بإلغاء الرهان والحصول على رسوم المعاملات؛ وإذا حاول الأوركل القيام بعمل ضار، يمكن لأي شخص تحدي ذلك بنجاح، ولن يمكن تسوية CET، وسيخسر الأوركل مبلغ الرهان ولن يتمكن من توقيع نفس CET مرة أخرى. هذه الخطة بسيطة وفعالة.
! [بحث Bitlayer: OP-DLC 2 Avenue to Simplicity])https://img-cdn.gateio.im/webp-social/moments-40edb8aefd5ab7a3dc753415953652b0.webp(
مبادئ DLC
كمثال على المراهنة بين أليس وبوب على مدى كون قيمة هاش الكتلة رقم ξ فردية أو زوجية: إذا كانت فردية، تفوز أليس؛ إذا كانت زوجية، يفوز بوب. يقوم DLC بنقل معلومات الكتلة عبر الأوركل لبناء توقيع مشروط، مما يسمح للطرف الصحيح بالحصول على جميع الأصول.
المولد المنحني البيضاوي هو G، والنظام هو q. مفاتيح الأوركل، وأليس وبوب هي على التوالي )z، Z(، )x، X(، )y، Y(.
إيداع الصفقة: أليس وبوب كلاهما يساهمان بمبلغ 10BTC، يتم قفلها في مخرج توقيع متعدد 2 من 2.
بناء CET: أليس وبوب يخلقان CET1 و CET2، لاستخدامهما في إنفاق معاملات التمويل.
تقوم آلة التنبؤ بحساب الالتزام R = k · G، ثم تحسب S و S':
S := R - hash)OddNumber ، R( · Z
[س] := [ر] - hash)EvenNumber, R( · Z
المفتاح العام الجديد الذي يتوافق مع أليس وبوب:
PK ^ أليس: = X + S
PK ^ Bob: = Y + S '
التسوية: بعد إنشاء الكتلة رقم ξ، يقوم الأوركل بالتوقيع على CET1 أو CET2 المقابل بناءً على قيمة التجزئة.
إذا كانت القيمة الهاشية فردية، يقوم الأوركل بتوقيع s:
s := k - hash)عدد فردي, R( z
بث CET1.
إذا كان الهاش عددًا زوجيًا، فإن الأوراكل يوقع s':
s' := ك - hash)EvenNumber ، R( z
بث CET2.
سحب العملات: إذا تم بث CET1، يمكن لأليس حساب مفتاح خاص جديد وإنفاق 20BTC:
sk ^ أليس = x + s
إذا تم بث CET2 ، يمكن لبوب حساب مفتاحه الخاص الجديد وإنفاق 20BTC:
sk ^ Bob = y + s '
أظهرت الأبحاث أن أي سلوك في العملية المذكورة أعلاه يجب أن يتم من خلال CET. لذلك، يكفي استخدام آلية التحدي المتفائلة لضمان صحة CET، مما يمكن من مقاومة أي هجوم. سيتم تحدي CET غير الصحيح ولن يتم تنفيذه، في حين سيتم تنفيذ CET الصحيح. بالإضافة إلى ذلك، يجب أن تتحمل الأوراكيل تكاليف السلوكيات الخبيثة.
إذا كان البرنامج المراد الطعن فيه f)t(، فيجب إنشاء CET على النحو التالي:
s = ك - hash)f(t( ، R) z
افترض أن قيمة تجزئة كتلة رقم ξ الفعلية هي عدد فردي، أي f)ξ( = OddNumber، يجب على الوسيط التوقيع على CET1:
s := ك - hash)OddNumber ، R( z
لكن إذا تصرف الأوركل بشكل سيء، وقام بتعديل قيمة الدالة إلى Even وتوقيع CET2:
s' := ك - hash)EvenNumber ، R( z
لذا يمكن لأي مستخدم أن يعيق هذا السلوك الخبيث بناءً على f)ξ( ≠ OddNumber.
OP-DLC 2
يحتوي OP-DLC على الأحكام التالية:
تتكون Oracle من اتحاد، ويمكن لأي عضو التوقيع على CET. يجب أن يتم إيداع 2BTC قبل أن يتمكن العضو من إصدار توقيع لكسب الرسوم. يتعرض الأعضاء المذنبون لخسارة الإيداع، بينما لا يزال بإمكان الأعضاء الآخرين التوقيع على CET لضمان سحب المستخدمين لأموالهم. يمكن لـ Alice و Bob أيضًا أن يصبحوا Oracle، لتحقيق الثقة في أنفسهم فقط.
إذا قام أوراكل بتعديل النتائج بشكل ضار، فسوف يؤدي ذلك حتمًا إلى f1)ξ( ≠ z1، f2)z1( ≠ z2. يمكن لأي طرف مشارك أن يبدأ تحدي معاملة Disprove-CET1.
عندما يوقع الأوركل على CET بصدق، لا يمكن لأي طرف مشارك بدء صفقة Disprove صحيحة. بعد أسبوع، يمكن تسوية CET بشكل صحيح، ويحصل الأوركل على مكافأة قدرها 0.05BTC، كتعويض عن رهن 2BTC لمدة أسبوع وتوقيع CET بصدق.
يمكن لأي طرف مشارك تحدي Oracle_sign:
إذا كان Oracle_sign صادقًا، فلن يتمكن من Initiate Disprove-CET1 transaction، سيتم تنفيذ تسوية CET بعد أسبوع. سيتم فتح رهن الأوراق المالية والحصول على رسوم المعاملات.
إذا كان Oracle_sign غير نزيه، أي شخص يمكنه بنجاح بدء صفقة Disprove-CET1 وإنفاق مخرج connector A، فإن توقيع تلك العرافة سيكون غير صالح، وسيتم فقدان 2BTC من الرهان، ولا يمكن في المستقبل تقديم توقيع بنفس النتيجة على عقد DLC هذا.
التحدي في OP-DLC هو أنه لا يحتاج إلى إذن، حيث يمكن لأي طرف مشارك مراقبة ما إذا كان العقد ينفذ بشكل صحيح، مما يحقق الحد الأدنى من الثقة في الأوركل. بالمقارنة مع شبكة البرق، يمكن لأليس وبوب أيضًا أن يكونوا غير متصلين، لأن الأوركل لن يتم تسويته CET إلا بتوقيع صادق، وستتمكن أي شخص من تحدي ومعاقبة الأوركل الماكر.
الميزات:
التحكم في الأصول عالي، فقط تثق بنفسك: يمكن أن يصبح أليس وبوب أوراكل يوقعان CET، وآلية التحدي المتفائلة ستفشل CET الخاطئة، ولا يمكن أن يكون هناك شر. OP-DLC يتيح للمستخدمين أن يثقوا بأنفسهم فقط.
معدل استخدام الأموال مرتفع: يعتمد المستخدمون على سحب الأموال بأنفسهم، ولا يحتاجون إلى استخدام أموال مكافئة كضمان.
يجب على الأوراق المالية القابلة للتوقيع أن تتحدد عند الإيداع، ولكن يمكن للمستخدم أن يصبح أوراقًا مالية، ليقوم بالتوقيع لنفسه.
عيوب:
يجب أن تستغرق عملية سحب الأموال أسبوعًا: في جوهرها، فإن تكلفة الوقت للأموال في OP-DLC و BitVM هي نفسها. يتعين على سحب الأموال من OP-DLC أن يمر بفترة تحدي؛ وإذا اعتمد BitVM على المستخدمين لتقديم الأموال من جيوبهم، فإن الأموال التي تم تقديمها بنفس الكمية يجب أن تمر أيضًا بفترة تحدي قبل أن يتم تعويضها بنجاح.
عدد التوقيعات المطلوبة للتوقيع المسبق ينمو بسرعة، وهو مرتبط بعدد CET بشكل خطي. يتطلب الأمر أكبر عدد ممكن من CET لتعداد جميع نتائج سحب الأموال.
الاستنتاج
تقوم OP-DLC بإدخال آلية التحدي المتفائلة إلى CET، مما يضمن عدم تسوية CET الخاطئة وخسارة المراهنات من الأوراق المالية الخبيثة؛ يضمن تنفيذ CET الصحيحة وإلغاء تأمين المراهنات من الأوراق المالية وكسب رسوم المعاملات. هذه الطريقة قادرة على مقاومة أي هجوم، مما يعكس جمال البساطة.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 14
أعجبني
14
3
مشاركة
تعليق
0/400
ChainSherlockGirl
· 07-20 18:09
مرة أخرى، إنها مسرحية كبيرة لتجميع الأموال داخل السلسلة~ من هو المستثمر الكبير وراء آلة أوراكل؟
OP-DLC: تنفيذ ترقية مقاومة الهجمات لعقد DLC باستخدام حلول بسيطة
تحسين DLC: تنفيذ خطة بسيطة لتحقيق البساطة في العظمة
في عام 2018، قدم تادج دريجا من معهد ماساتشوستس للتكنولوجيا إطار تنفيذ العقود المعتمد على الأوراق المالية Discreet Log Contract (DLC). يسمح DLC للطرفين بإجراء المدفوعات الشرطية بناءً على الشروط المحددة مسبقًا، حيث يتفق الطرفان مسبقًا على النتائج المحتملة ويوقعان عليها مسبقًا، ويتم استخدام هذه التوقيعات المسبقة لتنفيذ المدفوعات عند توقيع الأوراق المالية على النتائج. تضمن هذه الآلية أمان ودائع البيتكوين، وفي الوقت نفسه تحقق تطبيقات مالية لامركزية جديدة.
تحليل النص السابق مزايا DLC في حماية الخصوصية، العقود المعقدة، ومخاطر الأصول، كما أشار إلى مخاطر المفاتيح، مخاطر الثقة اللامركزية، ومخاطر التآمر. على الرغم من أن إدخال الأوراق اللامركزية، التوقيع الحدودي، وآلية التحدي المتفائلة يمكن أن يحل هذه المشكلات، إلا أن DLC تشمل ثلاث أطراف: الأوراق، وآليس، وبوب، مما يجعل حالات هجمات التآمر بين المشاركين مختلفين ومعقدين، مما يؤدي إلى استراتيجيات دفاعية معقدة نسبيًا. هذه الاستراتيجيات الدفاعية المعقدة ليست مثالية، وتفتقر إلى الجمال البسيط.
في البيتكوين، يجب أن تتم تصرفات أي طرف مشارك من خلال UTXO. لذلك، طالما تم التأكد من صحة UTXO، يمكن صد أي هجوم. وبالمثل، في DLC، يجب أن تتم أي تصرفات من خلال تنفيذ المعاملات عبر عقد CET(. طالما يتم استخدام آلية التحدي المتفائلة لضمان صحة CET، يمكن صد أي هجوم. بشكل أكثر تحديدًا، يجب على الأوركل أن يراهن 2BTC قبل أن يتمكن من توقيع CET. إذا تم إضافة آلية التحدي المتفائلة في CET، وإذا لم يتم تحدي CET أو تم الاستجابة للتحدي بنجاح، فسيعتبر صحيحًا ويمكن إكمال التسوية، حيث يقوم الأوركل بإلغاء الرهان والحصول على رسوم المعاملات؛ وإذا حاول الأوركل القيام بعمل ضار، يمكن لأي شخص تحدي ذلك بنجاح، ولن يمكن تسوية CET، وسيخسر الأوركل مبلغ الرهان ولن يتمكن من توقيع نفس CET مرة أخرى. هذه الخطة بسيطة وفعالة.
! [بحث Bitlayer: OP-DLC 2 Avenue to Simplicity])https://img-cdn.gateio.im/webp-social/moments-40edb8aefd5ab7a3dc753415953652b0.webp(
مبادئ DLC
كمثال على المراهنة بين أليس وبوب على مدى كون قيمة هاش الكتلة رقم ξ فردية أو زوجية: إذا كانت فردية، تفوز أليس؛ إذا كانت زوجية، يفوز بوب. يقوم DLC بنقل معلومات الكتلة عبر الأوركل لبناء توقيع مشروط، مما يسمح للطرف الصحيح بالحصول على جميع الأصول.
المولد المنحني البيضاوي هو G، والنظام هو q. مفاتيح الأوركل، وأليس وبوب هي على التوالي )z، Z(، )x، X(، )y، Y(.
إيداع الصفقة: أليس وبوب كلاهما يساهمان بمبلغ 10BTC، يتم قفلها في مخرج توقيع متعدد 2 من 2.
بناء CET: أليس وبوب يخلقان CET1 و CET2، لاستخدامهما في إنفاق معاملات التمويل.
تقوم آلة التنبؤ بحساب الالتزام R = k · G، ثم تحسب S و S':
S := R - hash)OddNumber ، R( · Z [س] := [ر] - hash)EvenNumber, R( · Z
المفتاح العام الجديد الذي يتوافق مع أليس وبوب: PK ^ أليس: = X + S PK ^ Bob: = Y + S '
التسوية: بعد إنشاء الكتلة رقم ξ، يقوم الأوركل بالتوقيع على CET1 أو CET2 المقابل بناءً على قيمة التجزئة.
إذا كانت القيمة الهاشية فردية، يقوم الأوركل بتوقيع s: s := k - hash)عدد فردي, R( z بث CET1.
إذا كان الهاش عددًا زوجيًا، فإن الأوراكل يوقع s': s' := ك - hash)EvenNumber ، R( z بث CET2.
سحب العملات: إذا تم بث CET1، يمكن لأليس حساب مفتاح خاص جديد وإنفاق 20BTC: sk ^ أليس = x + s
إذا تم بث CET2 ، يمكن لبوب حساب مفتاحه الخاص الجديد وإنفاق 20BTC: sk ^ Bob = y + s '
أظهرت الأبحاث أن أي سلوك في العملية المذكورة أعلاه يجب أن يتم من خلال CET. لذلك، يكفي استخدام آلية التحدي المتفائلة لضمان صحة CET، مما يمكن من مقاومة أي هجوم. سيتم تحدي CET غير الصحيح ولن يتم تنفيذه، في حين سيتم تنفيذ CET الصحيح. بالإضافة إلى ذلك، يجب أن تتحمل الأوراكيل تكاليف السلوكيات الخبيثة.
إذا كان البرنامج المراد الطعن فيه f)t(، فيجب إنشاء CET على النحو التالي: s = ك - hash)f(t( ، R) z
افترض أن قيمة تجزئة كتلة رقم ξ الفعلية هي عدد فردي، أي f)ξ( = OddNumber، يجب على الوسيط التوقيع على CET1: s := ك - hash)OddNumber ، R( z
لكن إذا تصرف الأوركل بشكل سيء، وقام بتعديل قيمة الدالة إلى Even وتوقيع CET2: s' := ك - hash)EvenNumber ، R( z
لذا يمكن لأي مستخدم أن يعيق هذا السلوك الخبيث بناءً على f)ξ( ≠ OddNumber.
OP-DLC 2
يحتوي OP-DLC على الأحكام التالية:
تتكون Oracle من اتحاد، ويمكن لأي عضو التوقيع على CET. يجب أن يتم إيداع 2BTC قبل أن يتمكن العضو من إصدار توقيع لكسب الرسوم. يتعرض الأعضاء المذنبون لخسارة الإيداع، بينما لا يزال بإمكان الأعضاء الآخرين التوقيع على CET لضمان سحب المستخدمين لأموالهم. يمكن لـ Alice و Bob أيضًا أن يصبحوا Oracle، لتحقيق الثقة في أنفسهم فقط.
إذا قام أوراكل بتعديل النتائج بشكل ضار، فسوف يؤدي ذلك حتمًا إلى f1)ξ( ≠ z1، f2)z1( ≠ z2. يمكن لأي طرف مشارك أن يبدأ تحدي معاملة Disprove-CET1.
عندما يوقع الأوركل على CET بصدق، لا يمكن لأي طرف مشارك بدء صفقة Disprove صحيحة. بعد أسبوع، يمكن تسوية CET بشكل صحيح، ويحصل الأوركل على مكافأة قدرها 0.05BTC، كتعويض عن رهن 2BTC لمدة أسبوع وتوقيع CET بصدق.
يمكن لأي طرف مشارك تحدي Oracle_sign:
التحدي في OP-DLC هو أنه لا يحتاج إلى إذن، حيث يمكن لأي طرف مشارك مراقبة ما إذا كان العقد ينفذ بشكل صحيح، مما يحقق الحد الأدنى من الثقة في الأوركل. بالمقارنة مع شبكة البرق، يمكن لأليس وبوب أيضًا أن يكونوا غير متصلين، لأن الأوركل لن يتم تسويته CET إلا بتوقيع صادق، وستتمكن أي شخص من تحدي ومعاقبة الأوركل الماكر.
الميزات:
التحكم في الأصول عالي، فقط تثق بنفسك: يمكن أن يصبح أليس وبوب أوراكل يوقعان CET، وآلية التحدي المتفائلة ستفشل CET الخاطئة، ولا يمكن أن يكون هناك شر. OP-DLC يتيح للمستخدمين أن يثقوا بأنفسهم فقط.
معدل استخدام الأموال مرتفع: يعتمد المستخدمون على سحب الأموال بأنفسهم، ولا يحتاجون إلى استخدام أموال مكافئة كضمان.
يجب على الأوراق المالية القابلة للتوقيع أن تتحدد عند الإيداع، ولكن يمكن للمستخدم أن يصبح أوراقًا مالية، ليقوم بالتوقيع لنفسه.
عيوب:
يجب أن تستغرق عملية سحب الأموال أسبوعًا: في جوهرها، فإن تكلفة الوقت للأموال في OP-DLC و BitVM هي نفسها. يتعين على سحب الأموال من OP-DLC أن يمر بفترة تحدي؛ وإذا اعتمد BitVM على المستخدمين لتقديم الأموال من جيوبهم، فإن الأموال التي تم تقديمها بنفس الكمية يجب أن تمر أيضًا بفترة تحدي قبل أن يتم تعويضها بنجاح.
عدد التوقيعات المطلوبة للتوقيع المسبق ينمو بسرعة، وهو مرتبط بعدد CET بشكل خطي. يتطلب الأمر أكبر عدد ممكن من CET لتعداد جميع نتائج سحب الأموال.
الاستنتاج
تقوم OP-DLC بإدخال آلية التحدي المتفائلة إلى CET، مما يضمن عدم تسوية CET الخاطئة وخسارة المراهنات من الأوراق المالية الخبيثة؛ يضمن تنفيذ CET الصحيحة وإلغاء تأمين المراهنات من الأوراق المالية وكسب رسوم المعاملات. هذه الطريقة قادرة على مقاومة أي هجوم، مما يعكس جمال البساطة.