مناقشة مبادئ تكنولوجيا DLC وخطط تحسينها

1. المقدمة

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

بالمقارنة مع شبكة البرق، فإن DLC تتمتع بالمزايا التالية:

• حماية خصوصية أفضل، تفاصيل العقد تُشارك فقط بين الأطراف المشاركة
• يدعم العقود المالية المعقدة والمرنة، مثل المشتقات، التأمين، وغيرها
• تقليل مخاطر الطرف الآخر، وتجميد الأموال في عقد متعدد التوقيعات
• لا حاجة لإدارة قنوات الدفع
• توفير قابلية توسيع أفضل في العقود المعقدة

ومع ذلك، لا تزال هناك بعض المشكلات والمخاطر المتعلقة بـ DLC:

• خطر تسرب أو فقدان مفتاح الأوراكيل
• مشكلة مركزية الأوراكيل
• لا يمكن للOracle اللامركزي إجراء اشتقاق المفاتيح
• مخاطر التآمر للمنجم
• مشكلة الفكة الثابتة

ستتناول هذه المقالة مبادئ DLC، وتقترح بعض الحلول لتحسين المشكلات المذكورة أعلاه.

2. مبدأ DLC

خذ مثالاً على توقيع Alice و Bob على اتفاقية مراهنة، حيث يكون الرهان هو تمييز زوجية أو فردية قيمة هاش الكتلة رقم n+k. إذا كانت فردية، تفوز Alice، وإذا كانت زوجية، يفوز Bob.

تهيئة:

• عنصر توليد المنحنى البيضاوي G، الدرجة q
• مفتاح خاص لل Oracle z، مفتاح عام Z=z·G
• المفتاح الخاص Alice x، المفتاح العام X=x·G
• مفتاح خاص Bob y، المفتاح العام Y=y·G

إيداع الصفقة: أقفل Alice و Bob كل منهما 1BTC في مخرج متعدد التوقيع 2-of-2.

تنفيذ عقد الصفقة: إنشاء عمليتين CET لاستخدامها في صفقة الإيداع.

وعد الأوراكل: R := k· G
S := R - hash(OddNumber,R)· Z S' := R - hash(EvenNumber,R)· Z بث (R,S,S')

أليس وبوب يحسبان المفتاح العام الجديد: PK ^ أليس: = X + S PK ^ Bob: = Y + S '

التسوية: نتيجة فردية: s := k - hash(OddNumber,R)·z النتيجة الزوجية: s' := k - hash(EvenNumber,R)·z

سحب العملة: Alice مفتاح خاص جديد:sk^Alice := x + s مفتاح Bob الخاص الجديد:sk^Bob := y + s'

3. خطة تحسين DLC

3.1 إدارة المفاتيح

تواجه إدارة مفاتيح الأوراكل المخاطر التالية:

1. فقدان المفتاح الخاص z: لا يمكن التسوية، تنفيذ استرداد
2. الكشف عن المفتاح الخاص z: قد يتم إساءة استخدامه لتوقيع أي رسالة
3. تسرب أو إعادة استخدام العدد العشوائي k: يمكن حساب المفتاح الخاص z
4. فقدان الرقم العشوائي k: لا يمكن تسوية DLC المقابل

اقتراح:

• استخدام BIP32 لتوليد مفاتيح فرعية
• استخدم المفتاح الخاص وهاش العداد كرقم عشوائي

3.2 أوراكل لامركزي

تطبيق توقيع Schorr الحدودي لتحقيق أوراكل لامركزي، لديه المزايا التالية:

• تعزيز الأمان، إدارة المفاتيح الموزعة
• التحكم الموزع، تقليل مخاطر تركيز السلطة
• زيادة القابلية للاستخدام، تعطل بعض العقد لا يؤثر على الكل
• مرن وقابل للتوسع، يمكن ضبط عتبات مختلفة
• يمكن محاسبة, يمكن التحقق من توقيع الشظايا

3.3 دمج اللامركزية وإدارة المفاتيح

تستخدم الأوركل اللامركزية طريقة اشتقاق المفاتيح الموزعة بدلاً من استخدام BIP32 مباشرة.

تفي قطع المفتاح الخاص z_i والعنصر الكامل للمفتاح الخاص z بعلاقة التداخل لاغرانج: [ز] = Σ (z_i · λ_i)

زيادة الاشتقاق التدريجي ω لا تزال تلبي علاقة التداخل: z + ω = Σ ((z_i + ω) · λ_i)

يمكن لكل طرف مشارك توليد شظايا فرعية من المفتاح الخاص z_i + ω.

لكن يجب مراعاة الفرق بين BIP32 المعزز وغير المعزز.

3.4 OP-DLC: الحد الأدنى من الثقة في الأوراق المالية

طرح خطة OP-DLC:

• بناء لعبة OP على السلسلة من خلال الرهن المبكر لأوراكل
• يمكن لأي طرف مشارك نزيه أن يطلق تحديًا
• إذا نجحت التحديات، فسيتم معاقبة آلة النبؤات الشريرة
• يمكن استخدامه مع نموذج "k-of-n"

المميزات:

• عقدة الأوراق المالية تراقب بعضها البعض
• يحتاج فقط إلى طرف مشارك صادق، معدل الخطأ 99%
• حل مخاطر تواطؤ الأوراق المالية

3.5 OP-DLC + BitVM جسر مزدوج

الجمع بين OP-DLC مع BitVM:

• استخدام BitVM لحل مشكلة الفكة
• توفير قنوات متعددة للإيداع والسحب
• اتحاد BitVM كأوراكل، يحقق الحد الأدنى من الثقة
• زيادة كفاءة استخدام رأس المال

4. الاستنتاج

يمكن أن يجمع DLC بين تقنيات مثل Taproot وBitVM لتحقيق تحقق وتسوية أكثر تعقيدًا للعقود خارج السلسلة. يمكن لآلية تحدي OP تحقيق الحد الأدنى من الثقة في الأوركلي، مما يوفر إمكانيات جديدة لتطوير DLC.