Bitlayer Research: OP-DLC 2 أكبر طريقة بسيطة

عنوان النص الأصلي: "التكنولوجيا الأساسية لـ Bitlayer: DLC واعتباراتها في التحسين"

المؤلف الأصلي: موتوو رند و ليندل، مجموعة بيتلاير للأبحاث

1.المقدمة

إطار تنفيذ العقد اللامعين (DLC) هو إطار تنفيذ العقد القائم على آلة الأوراكل المقدم من قبل Tadge Dryja من معهد ماساتشوستس للتكنولوجيا في عام 2018. يسمح DLC للأطراف الاثنين بالدفع الشرطي وفقًا للشروط المحددة مسبقًا. يتم تحديد النتائج المحتملة مسبقًا من قبل الجانبين وتوقيعها مسبقًا ، ويتم استخدام هذه التوقيعات المسبقة لتنفيذ الدفع عندما يوقع آلة الأوراكل على النتيجة. بالتالي ، يمكننا القول أن DLC يوفر تطبيقات تمويل لامركزية جديدة مع ضمان أمان الإيداع بالبتكوين.

لخص المقال السابق "تحليل المبدأ DLC وتفكيره الأمثل" مزايا DLC في حماية الخصوصية والعقود المعقدة ومخاطر الأصول المنخفضة ، كما حلل مشاكل مخاطر المفتاح السري ، ومخاطر الثقة اللامركزية ، ومخاطر التواطؤ في DLC ، وقدم أوراكل لامركزية ، وتوقيعات عتبة ، وآليات تحدي متفائلة في DLC لحل المشكلات المختلفة التي يجب أن تواجهها. نظرا لأن DLC يتضمن ثلاثة مشاركين ، آلة أوراكل وأليس وبوب ، فإن المؤامرة بين المشاركين المختلفين معقدة نسبيا ، مما يؤدي إلى استراتيجيات وقائية معقدة نسبيا. استراتيجيات الدفاع المعقدة ليست مثالية ، ولا تتوافق مع البساطة ، وتفتقر إلى جمال البساطة.

في بيتكوين ، يجب تنفيذ أي سلوك لأي مشارك من خلال UTXO. لذلك ، فإن استخدام آلية الإجماع للتأكد من صحة UTXO مقاوم للهجمات التعسفية. وبالمثل ، في DLC ، يجب تنفيذ أي سلوك لأي طرف من خلال CET (معاملة العقد). لذلك ، إذا كنت تستخدم آلية التحدي المتفائل للتأكد من صحة CET ، فستتمكن من مقاومة الهجمات التعسفية. على وجه التحديد ، بعد آلة أوراكل التكديس 2B TC ، ستتمكن من التوقيع على CET. أضف ميكانيكي التحدي المتفائل إلى CET. إذا لم يتم الطعن في CET ، أو إذا تمت معالجة التحدي بنجاح ، فإن CET صحيح ، ويمكن إكمال تسوية ، آلة أوراكل يتم تحرير التكديس ، ويتم دفع الرسوم ؛ إذا حاولت Oracle فعل الشر ، فيمكن لأي شخص التحدي بنجاح ، ولن تسوية CET ، وسيفقد آلة أوراكل التكديس ، ولن يتمكن آلة أوراكل أطول من التوقيع على نفس CET. تمشيا مع بساطة الشارع ، مع الجمال البسيط.

2. مبدأ DLC

أليس وبوب يوقعان اتفاق المقامرة: راهن على أن قيمة التجزئة الهاش للكتلة رقم 01928374656574839201 ستكون عددًا فرديًا أو زوجيًا. إذا كانت فردية ، فسيفوز أليس باللعبة ويمكنها سحب الأصول ؛ إذا كانت زوجية ، فسيفوز بوب باللعبة ويمكنه سحب الأصول. باستخدام أداة القرصنة والتصميم الاقتصادي ، يمكن تمرير معلومات الكتلة رقم 01928374656574839201 من خلال جهاز الأوراكل لبناء توقيع شرطي يضمن فوز الشخص الصحيح بجميع الأصول.

تولد المنحنى البيضاوي معيارًا G ، والترتيب هو q. آلة اليوم الأخير، وأليس وبوب لديهما مفاتيح سرية (z، Z)، (x، X)، (y، Y) على التوالي.

تداول التمويل (على السلسلة): أليس وبوب يقومان بإنشاء صفقة تمويل معًا، حيث يقوم كل منهما بقفل 10 BTC في إخراج متعدد التوقيعات 2 من 2 (مفتاح عام X ينتمي إلى أليس، ومفتاح عام Y ينتمي إلى بوب).

بناء CET (خارج السلسلة): أليس وبوب يقومان بإنشاء CET 1 وCET 2 ، لاستخدامها في إنفاق صفقات التمويل.

يقوم جهاز البيانات بحساب الالتزام R = k · G ، ثم يقوم بحساب S و S'

S: = R - التجزئة (OddNumber ، R) · Z

S': = R - التجزئة (الرقم الزوجي ، R) · Z

ثم يكون المفتاح العام الجديد المقابل لأليس وبوب كما يلي:

PK^{Alice} := X + S

PK^{Bob} := Y + S'.

تسوية (خارج السلسلة->داخل السلسلة): عند إنشاء كتلة الأول بنجاح ، يتم توقيع CET 1 أو CET 2 المقابل آلة أوراكل وفقا للقيمة التجزئة ل كتلة.

إذا كان التجزئة فرديًا ، فيتم توقيع الآلة العجائبية كما يلي s

s := k - التجزئة (OddNumber ، R) z

إذاعة CET 1.

إذا كانت الهاش عددًا زوجيًا ، فإن جهاز اليوم يوقع s'

ق ': = k - التجزئة (الرقم الزوجي ، R) z

إذاعة CET 2.

سحب (داخل السلسلة): إذا قامت آلة الأوراكل ببث CET 1 ، فيمكن لـ Alice حساب المفتاح الخاص الجديد وإنفاق 20 بيتكوين مقفلة

sk^{Alice} = x + s

إذا بثت آلة الأوراقل CET 2 ، يمكن لبوب حساب مفتاح خاص جديد وإنفاق 20 بيتكوين مقفلة

sk^{Bob} = y + s'

اكتشف فريق بحث Bitlayer: في هذه العملية ، يجب تحقيق أي إجراء باستخدام CET. لذلك ، يكفي استخدام آلية التحدي المتفائل لضمان صحة CET ، وبالتالي يمكن مقاومة أي هجوم. سيتم تحدي CET الخاطئ ولن يتم تنفيذه ، في حين سيتم تنفيذ CET الصحيح. بالإضافة إلى ذلك ، يجب أن يتكبد آلة اليومية تكلفة للسلوك الخبيث.

إذا كان f(t) هو البرنامج المراد تحديه، فيجب بناء CET كما يلي

ق = k - التجزئة (f (t) ، R) z.

افترض أن القيمة التجزئة ل كتلة الحقيقي فردية ، أي f (ξ) = OddNumber ، يجب آلة أوراكل التوقيع CET 1

s := k - التجزئة (OddNumber ، R) z.

لكن الآلة الأوراكل تفعل الشر، وتغير قيمة الدالة إلى Even، ووقعت CET 2:

ق ': = k - التجزئة (EvenNumber ، R) z.

لذا ، يمكن لأي مستخدم إفشال هذا السلوك الخبيث بناءً على f(ξ) ≠ OddNumber.

3.OP-DLC 2

OP-DLC تتضمن القواعد الخمسة التالية:

تتكون آلة الأوراكل من اتحاد يضم n شريكًا، حيث يمكن لأي عضو فيه توقيع CET. يجب عليها أن ترهن 2B TC لتتمكن من إصدار توقيع لجني رسوم العمولة. إذا ارتكب أحد الأعضاء مخالفة، فإنه يخسر التكديس. يمكن للأعضاء الآخرين الاستمرار في توقيع CET لضمان قدرة المستخدمين على سحب الأموال. يمكن لأليس وبوب أيضًا أن يكونا آلة أوراكل وأن يحققا حقًا في الثقة الذاتية وتقليل الثقة.
إذا كان جهاز الأوراكل يقوم بالفساد وتعديل النتائج، فسيؤدي ذلك بالضرورة إلى حدوث حالة f 1(ξ) ≠ z 1، f 2(z 1) ≠ z 2. وبالتالي، يمكن لأي طرف مشارك أن يطلق تحديًا، أي يقوم بإجراء صفقة Disprove-CET 1.
إذا قامت آلة الأوراكل بتوقيع CET بصدق ، فلا يمكن لأي طرف المشارك أن يبدأ صفقة Disprove صالحة. بعد أسبوع ، يمكن تسوية CET بشكل صحيح. بالإضافة إلى ذلك ، تحصل آلة الأوراكل على مكافأة 0.05 بتكوين ، كدفعة مسبقة لاستخدام رأس المال لمدة أسبوع ورسوم توقيع CET بصدق.
يمكن لأي مشارك تحدي Oracle_sign:

إذا كان Oracle_sign صادقًا ، فلا يمكن تنفيذ صفقة Disprove-CET 1 ، وسيتم تنفيذ تسوية CET بعد أسبوع واحد. بالإضافة إلى ذلك ، يتم إلغاء تأمين الآلة البازلاء والحصول على رسوم؛

إذا كان Oracle_sign غير صادق ، أي أن أي شخص نجح في إطلاق صفقة Disprove-CET 1 بنجاح وإنفاق مخرج connector A بنجاح ، فإن توقيع هذا الأوراكل غير صالح ويتم فقدان 2B TC المرهونة ولا يمكن لهذا الأوراكل في المستقبل إصدار توقيع بنفس النتيجة على عقد DLC ، وتعتبر عملية Settle-CET 1 التي تعتمد على مخرج connector A غير صالحة إلى الأبد.

تحديات OP-DLC هي غير مقيدة بالإذن، وبمعنى آخر، يمكن لأي طرف المشارك الاشراف على تنفيذ العقد الذي يحتوي عليه OP-DLC. وبالتالي، تم تحقيق أقل قدر من الثقة في آلة الأوراكل. بالمقارنة مع شبكة الإضاءة، يمكن لأليس وبوب أيضًا القيام بذلك دون اتصال. لأن آلة الأوراكل ستتم تسويتها فقط إذا كان لديها توقيع صادق، بينما سيتم تحدي ومعاقبة آلة الأوراكل الخبيثة من قبل أي شخص.

مزايا:

نظام التحكم في الأصول ذو مستوى عالٍ، والثقة موضوعة فقط في الذات: يمكن لـ Alice و Bob أن يصبحا آلة أوراكل ويوقعان على CET. سيقوم آلية التحدي المتفائلة بإحباط CET غير الصحيحة، وبالتالي لا يمكن فعل الشر. لذلك، يمكن لـ OP-DLC أن يجعل المستخدم يثق فقط في ذاته. في BitVM، يجب على المستخدم أن يكون المشغل وأن يشارك في جميع الإيداعات التالية لكي يثق فقط في ذاته. إذا كان المستخدم كمشغل يشارك فقط في إيداع UTXO واحد في BitVM، فإن هذا UTXO يمكن أن يتم استرداده بشكل قانوني من أي (n-1) مشغل آخر، فإن مستقبل إخراجات المستخدم سيكون لا يزال عليه الاعتماد على أن مشغل آخر سيقوم بدفعها. صلاحيات استرداد مشغل BitVM مقفلة على كل إيداع UTXO فردي.
معدل استخدام الأموال عالي: إذا كان المستخدم يثق فقط بنفسه ، فإن الكمية المطلوبة من الأموال مختلفة. في OP-DLC ، يعتمد المستخدم على سحب أمواله بنفسه ، ولا يحتاج إلى تعويض المبلغ ؛ أما في BitVM ، فيحتاج المستخدم إلى تعويض المبلغ ومن ثم تعويضه. وهذا يتسبب في ضغط مالي أكبر.
يجب تحديد جهاز البوابة الأوراكل القادر على التوقيع عند إيداع الأموال في OP-DLC ، ولكن يمكن للمستخدم أيضًا أن يصبح جهاز البوابة الأوراكل وأن يوقع بنفسه.

عيوب:

وقت السحب يحتاج إلى أسبوع: في الأساس، تكاليف الوقت اللازمة لسحب الأموال من OP-DLC و BitVM موجودة ومتساوية. يتطلب سحب الأموال من OP-DLC الانتظار حتى نهاية فترة التحدي للحصول على الأموال؛ إذا اعتمد BitVM على دفع المستخدم نفسه، فإن دفع الأموال بمقدار متساوٍ يتطلب أيضًا انتظار نهاية فترة التحدي لإعادة المال بنجاح. إذا اعتمد BitVM على مشغل آخر لدفع الأموال بسرعة، فإن ذلك يعني أنه يجب دفع تكاليف الوقت اللازمة للحصول على الأموال بمقدار متساوٍ للمشغل كرسوم خدمة.
زيادة عدد التوقيعات المطلوبة للتوقيع تتزايد بسرعة وتكون علاقة خطية مع عدد CET. يتطلب الحصول على أكبر قدر ممكن من CET لتعداد جميع نتائج سحب العملات.

4. الاستنتاج

OP-DLC يقدم آلية تحدي متفائلة إلى CET ، لضمان عدم تسوية CET الخاطئة وفقدان الرهان المتوقع المتعمد ؛ لضمان تنفيذ CET الصحيحة وفتح الرهان المتوقع والحصول على رسوم. يمكن لهذا النهج مقاومة أي هجوم وله جمالية بسيطة.

المراجع