OP-DLC 2: الحقيقة غالبًا ما تكون بسيطة

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

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

في البيتكوين، يجب تنفيذ أي إجراء من خلال UTXO. لذلك، من خلال آلية الإجماع لضمان صحة UTXO، يمكن التصدي لأي هجوم. بالمثل، في DLC، يتم تنفيذ جميع الإجراءات من خلال CET(Contract Execution Transaction). طالما تم استخدام آلية التحدي المتفائلة لضمان صحة CET، يمكن التصدي لأي هجوم. على وجه التحديد، يجب على الأوركل الرهان 2BTC قبل أن يتمكن من توقيع CET. يتم إضافة آلية التحدي المتفائلة إلى CET. إذا لم يتم تحدي CET أو تم التصدي للتحدي بنجاح، يُعتبر صحيحًا ويمكن إتمام التسوية، حيث يقوم الأوركل بإلغاء الرهان والحصول على رسوم المعاملة. إذا حاول الأوركل القيام بعمل ضار، يمكن لأي شخص التحدي بنجاح، ولن يتم تسوية CET، ويتكبد الأوركل خسارة في الرهان ولا يمكنه التوقيع على نفس CET مرة أخرى. هذه الطريقة بسيطة وفعالة، وتجسد حكمة "البساطة هي الكبرى".

! بحث Bitlayer: OP-DLC 2 Avenue to Simplicity

مبادئ DLC

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

تشمل العملية الأساسية لـ DLC:

1. إيداع المعاملات: أليس وبوب يودعان 10 BTC لكل منهما في عنوان متعدد التوقيع 2 من 2.

2. بناء CET: إنشاء CET لنتيجتين محتملتين.

3. تقوم أوراكل بحساب الالتزام وتوليد مفتاح عام جديد لـ Alice و Bob.

4. التسوية: تقوم الأوراق المالية بالتوقيع على CET المناسب بناءً على النتائج الفعلية.

5. سحب: الطرف الفائز يحسب مفتاحه الخاص الجديد ويسحب 20BTC.

أظهرت الأبحاث أن أي سلوك في DLC يجب أن يتم من خلال CET. طالما يتم استخدام آلية التحدي المتفائلة لضمان صحة CET، يمكن مقاومة أي هجوم. سيتم تحدي CET غير الصحيح وعدم تنفيذه، بينما سيتم تنفيذ CET الصحيح. يجب أن تتحمل oracle تكاليف السلوك الخبيث.

OP-DLC 2

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

1. تتكون الأوراك من اتحاد، يمكن لأي عضو توقيع CET. يجب أن يتم رهن 2BTC قبل أن يتمكن من التوقيع لكسب الرسوم. يتعرض المخالفون لخسارة الرهن. يمكن لأليس وبوب أيضًا أن يصبحوا أوراك، لتحقيق الحد الأدنى من الثقة.

2. عندما يقوم الأوركل بتعديل النتائج بشكل غير صحيح، يمكن لأي شخص تقديم تحدٍ.

3. عندما يقوم الأوراكل بالتوقيع بصدق على CET، يمكن التسوية بشكل صحيح بعد أسبوع. يحصل الأوراكل على مكافأة قدرها 0.05BTC.

4. يمكن لأي شخص تحدي التوقيع على الأوراكل. يتم تنفيذ التسوية بعد أسبوع من التوقيع النزيه، حيث يتم فتح الرهان للأوراكل ويحصل على رسوم المعاملات. يصبح التوقيع غير النزيه غير صالح بعد تحديه بنجاح، حيث تخسر الأوراكل الرهان، ولا يمكنها تقديم توقيع بنفس النتيجة على هذا العقد مرة أخرى.

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

من فوائد OP-DLC ما يلي:

• نظام تحكم الأصول مرتفع، يمكن للمستخدم أن يثق بنفسه فقط
• معدل استخدام الأموال مرتفع
• يتم تحديد الأوراكل عند الإيداع، ولكن يمكن للمستخدم أيضًا أن يصبح أوراكل

العيوب تشمل:

• يجب أن يكون وقت السحب أسبوعًا واحدًا
• عدد التوقيعات المطلوبة للتوقيع المسبق يتزايد بشكل خطي مع عدد CET

الاستنتاج

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