OP-DLC 2: الطريق إلى البساطة

عقد السجل الخفي (DLC) هو إطار تنفيذ العقود القائم على الوكلاء الذي اقترحه باحثون من معهد ماساتشوستس للتكنولوجيا في عام 2018. يسمح للطرفين بإجراء مدفوعات مشروطة بناءً على شروط محددة مسبقًا، من خلال تحديد النتائج المحتملة مسبقًا والتوقيع المسبق، وتنفيذ المدفوعات عندما يوقع الوكيل النتيجة. وهذا يمكّن 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، ينقل الوسيط معلومات الكتلة رقم ξ لبناء توقيع مشروط، مما يجعل الطرف الفائز الصحيح يحصل على جميع الأصول.

نقطة توليد منحنى بيضاوي هي G، والمرتبة هي q. مفاتيح Oracle وAlice وBob هي على التوالي (z، Z)، (x، X)، (y، Y).

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

بناء CET( خارج السلسلة ): أنشأ أليس وبوب CET1 و CET2، لاستخدامهما في معاملات استثمار الإنفاق.

يتم حساب تعهد oracle R = k · G ، ثم يتم حساب S و S'

S := R - hash(OddNumber ، R) · Z

[س] := [ر] - hash(EvenNumber, R) · Z

المفتاح العام الجديد لـ Alice و Bob هو كما يلي:

PK ^ أليس: = X + S

PK ^ Bob: = Y + S '.

على السلسلة (: عند إنشاء الكتلة رقم ξ، يقوم الأوراكل بالتوقيع على CET1 أو CET2 المقابلة بناءً على قيمة هاش تلك الكتلة.

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

s := ك - hash)OddNumber ، R( z

بث CET1.

إذا كانت الهاش زوجية، فإن الأوركل يوقع s'

s' := ك - hash)EvenNumber ، R( z

بث CET2.

سحب ) على السلسلة (: إذا بثت آلة التنبؤ CET1، يمكن لأليس حساب مفتاح خاص جديد، وإنفاق 20 BTC المقفلة.

sk ^ أليس = x + s

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

sk ^ Bob = y + s '

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

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

s = k - hash)f(t( ، R) z.

افترض أن الوضع الفعلي هو أن قيمة هاش الكتلة رقم ξ هي عدد فردي odd، أي f)ξ( = OddNumber، يجب على الأوركل توقيع CET1

s := k - hash)OddNumber ، R( z.

ولكن إذا أساءت الأوركل، وقامت بتغيير قيمة الدالة إلى Even، ووقعت على CET2:

s' := k - hash)عدد زوجي, R( z.

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

OP-DLC 2

تشمل OP-DLC ما يلي 5 أحكام:

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

2. إذا قام الأوركل بالشر، وغيّر النتائج، فسوف يؤدي بالضرورة إلى حالة f1)ξ( ≠ z1، f2)z1( ≠ z2. لذلك، يمكن لأي طرف مشارك أن يبدأ التحدي، أي إجراء صفقة Disprove-CET1.

3. إذا وقع الأوراق المالية بصدق على CET، فلن يتمكن أي طرف مشارك من بدء صفقة Disprove فعالة. بعد أسبوع، يمكن تسوية CET بشكل صحيح. بالإضافة إلى ذلك، يحصل الأوراق المالية على مكافأة قدرها 0.05BTC، كتعويض عن استخدام أمواله المضمونة بقيمة 2BTC لمدة أسبوع ورسوم توقيع CET بصدق.

4. يمكن لأي طرف مشارك تحدي Oracle_sign:

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

   • إذا كان Oracle_sign غير أمين، أي أن هناك من نجح في بدء صفقة Disprove-CET1، ونجح في إنفاق مخرج connector A، فإن توقيع تلك العرافة يكون غير صالح، ويتم فقدان 2BTC كضمان، ولا يمكن لتلك العرافة في المستقبل أن تبدأ توقيعًا بنفس النتيجة على عقد DLC هذا، لأن Settle-CET1 الذي يعتمد على مخرج connector A سيكون غير صالح إلى الأبد.

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

الميزات:

• السيطرة على الأصول عالية، فقط يثقون بأنفسهم: يمكن لكل من Alice و Bob أن يصبحوا عرافين، ويوقعوا CET. آلية التحدي المتفائلة ستفشل CET الخاطئة، لذا لا يمكنهم القيام بأي شر. لذلك، يمكن لـ OP-DLC أن يجعل المستخدمين يثقون فقط بأنفسهم. بالمقابل، في BitVM، يجب على المستخدم أن يكون مشغلًا ويشارك في جميع الإيداعات اللاحقة، ليتمكن من الثقة فقط بنفسه.

• معدل استخدام الأموال مرتفع: إذا كان المستخدم يثق فقط بنفسه، فإن المستخدمين في OP-DLC يعتمدون على أنفسهم في سحب الأموال، ولا يحتاجون إلى دفع أموال متساوية مسبقًا؛ بينما في BitVM، يحتاج المستخدمون إلى دفع أموال متساوية مسبقًا، ثم يطالبون بالتعويض، مما يسبب ضغطًا أكبر على الأموال.

• يجب تحديد الأوراق المالية القابلة للتوقيع عند إيداع OP-DLC، ولكن يمكن للمستخدم أيضًا أن يصبح Oracle، ويمكنه توقيع نفسه.

العيوب:

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

• عدد التوقيعات المطلوبة للتوقيع المسبق ينمو بسرعة، وهو مرتبط بعدد CET بشكل خطي. نحتاج إلى أكبر قدر ممكن من CET لتعداد جميع نتائج السحب.

الاستنتاج

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