عقد اللوغاريتمات المنفصلة (Discreet Log Contract, DLC) هو نوع من حلول تنفيذ العقود المعتمدة على الأوراق المالية، وقد اقترحه Tadge Dryja من معهد ماساتشوستس للتكنولوجيا في عام 2018. يسمح DLC للطرفين بإجراء مدفوعات مشروطة بناءً على شروط مسبقة، حيث يحدد المشاركون مسبقًا النتائج المحتملة ويقومون بالتوقيع المسبق، وعندما يوقع الوسيط على النتائج، يمكن تنفيذ المدفوعات. هذا يجعل DLC قادرًا على تحقيق تطبيقات مالية لامركزية جديدة على شبكة البيتكوين، مع ضمان أمان ودائع البيتكوين.
بالمقارنة مع شبكة Lightning ، فإن DLC لديها المزايا التالية:
حماية خصوصية أفضل، تفاصيل العقد تُشارك فقط بين الأطراف المشاركة
يدعم عقود مالية أكثر تعقيدًا ومرونة، مثل المشتقات والتأمين، إلخ
تقليل مخاطر الطرف الآخر، وتأمين الأموال في توقيع متعدد.
لا حاجة لإدارة قنوات الدفع
تقديم قابلية توسع أفضل في العقود المعقدة
ومع ذلك، لا تزال هناك بعض المشكلات التي تحتاج إلى حل في DLC:
خطر تسرب المفتاح الخاص لآلة التنبؤ والرقم العشوائي
مشكلة الثقة الناتجة عن مركزية أوراق اللعب
لا تستطيع الأوراق المالية اللامركزية إجراء اشتقاق المفاتيح مباشرة
مخاطر تآمر الأوركل
قيود تغيير المبلغ الثابت
ستقدم هذه المقالة بعض الحلول التحسينية لهذه المشكلات من أجل تعزيز أمان نظام بيتكوين البيئي.
2. مبادئ DLC
لتوضيح مبدأ DLC، نأخذ مثالاً على الرهان بين Alice و Bob حول ما إذا كانت قيمة التجزئة للكتلة رقم n+k زوجية أم فردية:
التهيئة: توليد العنصر G، الرتبة q
توليد المفتاح:
أوراكل: المفتاح الخاص z، المفتاح العام Z=z·G
Alice: المفتاح الخاص x، المفتاح العام X=x·G
Bob: المفتاح الخاص y, المفتاح العام Y=y·G
استثمار المعاملات: قامت أليس وبوب بتأمين 1BTC في مخرجات توقيع متعدد 2 من 2
تنفيذ العقد: إنشاء صفقتين CET لاستخدامها في صفقة استثمار
حساب الأوراك
R = k· G
S = R - hash(عدد فردي,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
سحب العملات:
أليس: sk^أليس = x + s
بوب: sk^بوب = y + s'
تفي المفتاح الخاص الجديد والمفتاح العام الجديد بعلاقة اللوغاريتم المتقطع، لضمان سحب الأموال بشكل صحيح.
3. خطة تحسين DLC
3.1 إدارة المفاتيح
قد يؤدي تسرب مفتاح خاص لآلة التنبؤ ورقم عشوائي إلى:
لا يمكن التسوية، تحتاج إلى استرداد
تسوية الاحتيال
تم اختراق المفتاح الخاص
لا يمكن تسوية عقد محدد
اقتراح:
استخدام BIP32 لاشتقاق المفاتيح الفرعية
استخدم المفتاح الخاص وهاش العداد كرقم عشوائي
3.2 أوراكل لامركزي
استخدام توقيع شنيور الحدودي لتحقيق أوراكل لامركزي، المزايا:
تعزيز الأمان
التحكم الموزع
زيادة القابلية للاستخدام
مرن وقابل للتوسع
قابلة للمسائلة
3.3 اللامركزية وإدارة المفاتيح المترابطة
من الصعب استخدام Oracle لامركزي مباشرة لتوليد مفاتيح مشتقة من BIP32. يمكن استخدام طريقة توزيع توليد المفاتيح:
تتوافق تجزئة المفتاح الخاص والمفتاح الخاص الكامل مع علاقة لاغرانج للتداخل
بعد إضافة الزيادة ω على الجانبين، لا تزال العلاقة البينية مستوفاة.
يمكن لجميع الأطراف اشتقاق أجزاء من مفاتيح الخصوصية الفرعية، لاستخدامها في توليد أجزاء من التوقيعات الفرعية
استخدام BIP32 غير المعزز أو دالة التجزئة المتجانسة
يمكن أن يحقق DLC، بالجمع بين تقنيات Taproot وBitVM، تحقق وتسوية عقود خارج السلسلة أكثر تعقيدًا. من خلال آلية تحدي OP، يمكن تقليل الاعتماد على الثقة في الأوراكيل. من المتوقع أن يدعم DLC تطبيقات مالية مبتكرة أكثر على شبكة البيتكوين في المستقبل.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
DLC تقنية تحسين: تعزيز أمان نظام بيتكوين البيئي
مناقشة مبادئ تقنية DLC وخطط تحسينها
1. المقدمة
عقد اللوغاريتمات المنفصلة (Discreet Log Contract, DLC) هو نوع من حلول تنفيذ العقود المعتمدة على الأوراق المالية، وقد اقترحه Tadge Dryja من معهد ماساتشوستس للتكنولوجيا في عام 2018. يسمح DLC للطرفين بإجراء مدفوعات مشروطة بناءً على شروط مسبقة، حيث يحدد المشاركون مسبقًا النتائج المحتملة ويقومون بالتوقيع المسبق، وعندما يوقع الوسيط على النتائج، يمكن تنفيذ المدفوعات. هذا يجعل DLC قادرًا على تحقيق تطبيقات مالية لامركزية جديدة على شبكة البيتكوين، مع ضمان أمان ودائع البيتكوين.
بالمقارنة مع شبكة Lightning ، فإن DLC لديها المزايا التالية:
ومع ذلك، لا تزال هناك بعض المشكلات التي تحتاج إلى حل في DLC:
ستقدم هذه المقالة بعض الحلول التحسينية لهذه المشكلات من أجل تعزيز أمان نظام بيتكوين البيئي.
2. مبادئ DLC
لتوضيح مبدأ DLC، نأخذ مثالاً على الرهان بين Alice و Bob حول ما إذا كانت قيمة التجزئة للكتلة رقم n+k زوجية أم فردية:
التهيئة: توليد العنصر G، الرتبة q
توليد المفتاح: أوراكل: المفتاح الخاص z، المفتاح العام Z=z·G Alice: المفتاح الخاص x، المفتاح العام X=x·G
Bob: المفتاح الخاص y, المفتاح العام Y=y·G
استثمار المعاملات: قامت أليس وبوب بتأمين 1BTC في مخرجات توقيع متعدد 2 من 2
تنفيذ العقد: إنشاء صفقتين CET لاستخدامها في صفقة استثمار
حساب الأوراك R = k· G S = R - hash(عدد فردي,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
سحب العملات: أليس: sk^أليس = x + s بوب: sk^بوب = y + s'
تفي المفتاح الخاص الجديد والمفتاح العام الجديد بعلاقة اللوغاريتم المتقطع، لضمان سحب الأموال بشكل صحيح.
3. خطة تحسين DLC
3.1 إدارة المفاتيح
قد يؤدي تسرب مفتاح خاص لآلة التنبؤ ورقم عشوائي إلى:
اقتراح:
3.2 أوراكل لامركزي
استخدام توقيع شنيور الحدودي لتحقيق أوراكل لامركزي، المزايا:
3.3 اللامركزية وإدارة المفاتيح المترابطة
من الصعب استخدام Oracle لامركزي مباشرة لتوليد مفاتيح مشتقة من BIP32. يمكن استخدام طريقة توزيع توليد المفاتيح:
3.4 OP-DLC: تقليل الثقة في الأوراق المالية
طرح آلية تحدي متفائلة:
3.5 OP-DLC + BitVM جسر مزدوج
الجمع بين OP-DLC و BitVM:
! تحليل مبدأ المحتوى القابل للتنزيل والتفكير الأمثل
4. الخاتمة
يمكن أن يحقق DLC، بالجمع بين تقنيات Taproot وBitVM، تحقق وتسوية عقود خارج السلسلة أكثر تعقيدًا. من خلال آلية تحدي OP، يمكن تقليل الاعتماد على الثقة في الأوراكيل. من المتوقع أن يدعم DLC تطبيقات مالية مبتكرة أكثر على شبكة البيتكوين في المستقبل.