
المؤلف: Faust & Amp ؛
ملخص:فيقامت ZK Bridge بنشر العقود الذكية على السلسلة A ، وتلقى مباشرة التحقق من رأس كتلة B -chain وشهادة المعرفة الصفر المقابلة لتأكيد صحة رسالة التقليب ، والتي هي الجسر الأكثر أمانًا يتم تحديها على السلسلة.
فيبسبب القيود الفنية ، لا يمكن لشبكة Bitcoin الرئيسية نشر جسر ZK مباشرة ، ولكن يمكنها تحقيق الجسر المتفائل من خلال BitVM والاحتيال.تستخدم فرق مثل BitLayer و Citriea خطة BitvM Bridge لإدخال اللقب الاسمي ، حيث تجمع بين أفكار القناة ، مما يسمح للمستخدمين بحد عملية المعالجة بعد تنفيذ الإيداع
فييعتمد Bitvm Bridge Essence على نموذج “Padding-Reimbursement”هناك عقد مشغل خاص لكسب المال لمستخدمي السحب ، ويمكن للمشغل التقدم بانتظام للحصول على السداد من عنوان الإيداع العام.إذا كان للمشغل تطبيقات سداد كاذبة ، فيمكن أي شخص تحديه من قبل أي شخص وعمقه ؛
فيمن الناحية النظرية لا تعاني من مشاكل أمنية في نظريًا ، ولكن هناك مشكلة في النشاط/التوافر، ولا يمكن أن تلبي احتياجات مستخدمين محددين من أجل استقلال رأس المال وغسل الأموال (بشكل أساسي نموذج مجموعة رأس المال).يضيف BitLayer مخططًا للجسر يسمى OP-DLC ، وهو ما يشبه DLC.Link.
فينظرًا لصعوبة هبوط BitVM والاحتيال ، فإن جسر DLC سيأخذ زمام المبادرة في الهبوط ويشكل بديلاً مؤقتًا.طالما قمت بحل خطر آلات الثقة ، قم بدمج نبوءة ثالثة أكثر موثوقية ونضجًا ،يمكن أن يصبح DLC Bridge انسحابًا أكثر أمانًا لبرامج التحقق من الانسحاب من Duo Duo Bridge في هذه المرحلة.
>
مقدمة:منذ ازدهار النقش العام الماضي ، دخلت بيئة البيتكوين في فترة من النمو المرتفع ذات السرعة مع انفجار.في نصف عام فقط ، وصل المشروع تحت شعار BTC Layer2 إلى ما يقرب من 100.لقد أصبحت قارة جديدة مع الفوضى وفرص التعايش مع عمليات الاحتيال.ليس من المبالغة أن نقول أن النظام البيئي الحالي للبيتكوين هو بالفعل “فرن ذوبان الأعراق” من Ethereum و Cosmos و Celestia و CKB وبيئة Bitcoin. القرن.أثناء جلب الرخاء والحيوية إلى سرد Web3 بأكمله ، فإنه يقدم أيضًا مخاطر هائلة.
عندما لم تصدر العديد من المشاريع الحلول التقنية ، فقد بدأوا في التكهن بعنف ، مع الاحتفاظ باسم Layer2 ، بدعوى أنه يمكن أن يرث بالكامل شبكة Bitcoin الرئيسية ؛ التي تعزز تفوقهم.على الرغم من أنه الوضع الحالي للنظام الإيكولوجي Bitcoin ، إلا أن العديد من أفضل Kols صنعت صوتًا موضوعيًا.
منذ وقت ليس ببعيد ،انتقد مؤسس متصفح blockchain ميمبول مونانوت علنا النظام البيئي Bitcoin الحالي ،وأشار بشكل حاد إلى أنه إذا تعتمد طبقة Bitcoin 2 ببساطة جسر انسحاب متعدد الأجزاء ، فمن المستحيل السماح للمستخدمين بسحب الأصول في أي وقت في شكل من أشكال هذا المشروع.ومن المثير للاهتمام ،كما أشار Vitalik في وقت سابق إلى أن Layer2 يجب أن تكون أكثر أمانًا من مجرد الاعتماد على أنظمة التوقيع المتعددة من حيث الأمان.
>
يمكن القول أن Monanaut و Vitalik أشاروا بصراحة إلى المشكلات الفنية لـ Bitcoin Layer2:العديد من جسور انسحاب L2 هي جوهر جسور التوقيع المتعددة.إما أن العديد من المؤسسات المعروفة تعقد مفتاحًا واحدًا أو تستخدم توقيعات اللامركزية التي تعتمد على نقاط البيع ، ولكن على أي حال ، فإن نماذج الأمان الخاصة بها تعتمد على معظم الافتراضات الصادقة ، أي أن معظم المشاركين في التقصير لا يتآمر.
هذا السحب من جسر الانسحاب الذي يعتمد بشكل خطير على تأييد الائتمان ليس بمثابة خطة طويلة المدى. المتسللين.لكن الوضع الراهن للنظام البيئي Bitcoin هو ،لم تصدر العديد من أطراف المشروع خارطة الطريق الفنية لجسر الانسحاب.
ولكن هذا ليس كله من النظام البيئي Bitcoin.في الوقت الحاضر ، لا تزال هناك بعض سياسات المشروع التي نشرت آراء حول تحسين جسر الانسحاب.في هذه المقالة ،سنقوم بإيجاز بتحليل جسر Bitlayer و Citriea’s Bitvm ، ونقدم جسر OP-DLC الذي اقترحه BitLayer لأوجه القصور في جسر BitvM ، بحيث يفهم المزيد من الأشخاص أفكار المخاطر والتصميم للجسور المتقاطعة.هذا ضروري لغالبية المشاركين البيئيين في البيتكوين.
>
الجسر البصري: خطة التحقق من الجسر بناءً على شهادة احتيالية
في الواقع ، فإن جوهر جسر التقاطع الصليب بسيط للغاية ، أي أن حادثة معينة هي بالفعل حادثة على سلسلة B.على سبيل المثال ، إذا عبرت عن أدوات من ETH إلى Polygon ، فدع الجسر المتقاطع يساعدك على إثبات أنك تنقل إلى الأصول إلى العنوان المحدد على سلسلة ETH ، وبعد ذلك يمكنك الحصول على كميات متساوية من الأموال على المضلع سلسلة.
تستخدم جسور التقاطع التقليدي عمومًا الشهود للتوقيع أكثر ،سيقومون بتعيين العديد من الشهود تحت السلسلة ، وسيقوم الشاهد بإدارة العقد لكل سلسلة عامة لمراقبة ما إذا كان شخص ما يتقاضى الأموال إلى عنوان جمع جسر التقاطع.
هذا النوع من نموذج أمان جسر الجسر المتقاطع هو في الأساس نفس محافظ المزيد من المحافظ ،من الضروري تحديد نموذج الثقة الخاص به وفقًا لـ M/N ، ولكن في النهاية ، تتبع الفرضية الافتراضية الأكثر افتراضية الشخص الافتراضي.هناك عدد كبير من الجسور المتقاطعة التي حدثت من قبل على هذا النوع من جسور التوقيع المتعددة ، إما للدفاع عن أنفسهم أو الهجوم من قبل المتسللين.
في المقابل،يعد “الجسر المتفائل” استنادًا إلى شهادة الاحتيال و “ZK Bridge” القائم على ZK آمنًا.أخذ جسر ZK كمثال ، سيضع عقد مصادقة مخصص على السلسلة المستهدفة للتحقق من انسحاب الانسحاب على السلسلة لتجنب الاعتماد على الشهود تحت السلسلة.
على سبيل المثال ، سيقوم جسر ZK عبر ETH و Polygon بنشر عقد التحقق على المضلع ، والذي يتم تسجيله الآن على أنه محقة.ستقوم عقدة الترحيل بجسر ZK بإعادة توجيه رأس كتلة Ethereum أحدث ، بالإضافة إلى دليل ZK الفعال للتحقق ، والذي يتم التحقق منه من قبل الأخير.هذا يعادل السماح بعقد التحقق من مزامنة والتحقق من أحدث كتلة Ethereum على سلسلة المضلع.يرتبط جذر Merkle المسجل على رأس الكتلة بمجموعة المعاملة الموجودة في الكتلة ، والتي يمكن استخدامها للتحقق مما إذا كانت الكتلة تحتوي على معاملة معينة.
>
إذا كان في كتلة Ethereum مع ارتفاع كتلة 101 ، فإنه يحتوي على 10 عمليات نقل من ETH إلى Polygon ، وسيقوم Relayer بإنشاء دليل Merkle المتعلق بهذه المعاملات العشرة وتقديم شهادة إلى عقد التحقق على سلسلة المضلع:
تحتوي كتلة 101 Ethereum على 10 معاملات من ETH إلى Polygon.بالطبع ، يمكن لجسر ZK استخدام Merkle Proof to ZK ، وتقديم Proof ZK مباشرة إلى عقد Verifier.في العملية بأكملها ، يحتاج المستخدمون فقط إلى الوثوق بالعقود الذكية عبر الجسر المتقاطع دون ثغرات ، والتعرف على تكنولوجيا الإثبات نفسها آمنة وموثوقة ، وليس هناك حاجة لتقديم الكثير من الافتراضات الثقة مثل الجسر التقليدي متعدد المرق.
ويجب أن يكون “جسر التفاؤل/الجسر المتفائل” مختلفًا قليلاً.بعد تقديم الشهود إلى السلسلة المستهدفة بعد إنشاء رسالة التقاطع ، لن يتم التعرف على فعاليتها على الفور.هذا يشبه في الواقع فكرة التفاؤل (Rollup المتفائل).بالطبع ، هناك نماذج منتجات أخرى في الجسر المتفائل ، ولكن في التحليل النهائي ، يتم ضمان الأمان من خلال اتفاقية شهادة الاحتيال.
ثقة الجسر متعدد التوقيع هو N- (M-1)/N. -(M-1).يمكن تجاهل الافتراضات الثابتة لجسر ZK ، والجسر المتفائل القائم على الاحتيال هو 1/N ،لا يحتاج سوى واحد من الشهود فقط إلى الحصول على صدق واحد ومستعدون لتحدي رسالة التقاطع غير الصالحة التي تقدم إلى السلسلة المستهدفة ، ويمكنها ضمان سلامة الجسر.
>
في الوقت الحالي،بسبب القيود الفنية ، يمكن أن يحقق فقط جسر ZK في اتجاه إيداع Layer2 في Layer2. نموذج قناة (جسر OP-DLC المراد وصفه أدناه يشبه القناة)جوهرلإدراك الجسر المتفائل على سلسلة Bitcoin ، من الضروري تقديم دليل على الاحتيال على أن BitVM قد خلق ظروفًا جيدة لتحقيق هذه التكنولوجيا.
>
(ذكر مستند BITVM2 أنه سيتم تقسيم مهمة الحوسبة إلى عدد كبير من الخطوات الوسيطة من خلال توقيعات Lamport ، ومن ثم يمكن لأي شخص تحدي خطوة متوسطة معينة)
بالطبع ، لا يزال البيان أعلاه غامضًا ، لكنني أعتقد أن معظم الناس قد فهموا منذ فترة طويلة معنى الاحتيال.في مقالة اليوم ، يقتصر على المساحة الإجمالية.
من منظور تصميم المنتج والآلية ، سنقدم بإيجاز BitLayer و Citrea ، Bob ، وحتى جسر BitVM الرسمي الذي صممه BitVM ، وكيف يمكن لـ BitLayer تخفيف عنق الزجاجة لجسر BitvM عبر جسر OP-DLC، أظهر للجميع كيفية تصميم خطة جسر سحب أفضل على سلسلة Bitcoin.
>
(رسم تخطيطي BitLayer’s Bridge)
تحليل موجز لجسر Bitlayer و Citriea Bitvm Bridge
في ما يلي ، نستخدم BitLayer ، Citrea ، حل Bob’s Bitvm Bridge كمواد لتوضيح عملية التشغيل العامة لجسر BitVM.
>
في وثائقها الرسمية والمدونة التقنية ، يشرح حزب المشروع المذكور أعلاه أفكار تصميم المنتج لجسر سحب BITVM (حاليًا في المرحلة النظرية).بادئ ذي بدء ، عندما يسحب المستخدم الانسحاب من خلال جسر BitVM ، من الضروري استخدام عقد الجسر على Layer2 لإنشاء بيان سحب.سيتم تحديد المعلمات الرئيسية التالية في بيان الانسحاب:
عدد إصدار رسم الخرائط لإصدار رسم الخرائط لسحب الانسحاب (مثل 1 BTC) ؛
رسوم معالجة التقليب المتقاطع المخطط لها السحب (على افتراض 0.01 BTC) ؛
عنوان استلام السحب في L1: l1_receipt ؛
مبلغ الانسحاب من الانسحاب (أي 1-0.01 = 0.99BTC)
بعد،سيتم تضمين بيان الانسحاب المذكور أعلاه في كتلة Layer2جوهرجسر BitVMستقوم عقدة الترحيل بمزامنة كتلة Layer2 ، والاستماع إلى بيان السحب الوارد فيه ، وإعادة توجيهه إلى عقدة المشغل ، والتي سيتم استخدامها كمستخدم سحب.
>
ما تحتاج إلى الانتباه إليه هنا هو ،يدفع المشغل للمستخدمين على سلسلة Bitcoin أولاً ، أي صناديق “مدفوعة” لجسر BitVM ، ثم تقدم بطلب للحصول على تعويض من مجموعة صناديق Bitvm Bridge.
عند التقدم بطلب للحصول على سداد ، يحتاج المشغل إلى تقديم شهادة وسادة خاصة بك على سلسلة Bitcoin (أي ، لإثبات أنه يتعين عليك دفع العنوان المحدد بواسطة مستخدم السحب على L1 ، ويجب عليك الحصول على سجلات التحويل المحددة في كتلة البيتكوين) جوهر同时,Operator还要出具提款人在L2生成的提款声明(通过Merkle Proof,证明出具的提款声明来自于L2区块中,而不是自己凭空捏造的)。بعد،يحتاج المشغل إلى إثبات الأمور التالية:
الأموال المدفوعة للسحب لجسر BitVM تساوي المبلغ المطلوب من خلال الانسحاب في البيان ؛
عندما ينطبق المشغل على السداد ، لا يكون مبلغ السداد أكثر من إصدار رسم الخرائط من مبلغ BTC الذي تم تدميره بواسطة السحب في Layer2 ؛
يتعامل المشغل مع جميع بيانات الانسحاب L2-L1 لفترة من الوقت.
هذه هي عقوبة في الأساس على مبلغ من وسادات على المشغل أو رفض التعامل مع سحب انسحاب انسحاب انسحاب انسحاب انسحاب انسحاب انسحاب سحب الانسحاب.جوهريحتاج المشغل إلى مقارنة الحقول الرئيسية لشهادة الوسادة وبيان السحب تحت السلسلة لإثبات أن مبلغ BTC المشارك في الاثنين متساوٍ.
>
وإذا تم الإبلاغ عن انسحاب جسر السحب ، فهذا يعني أن المشغل يدعي أن يتطابق مع دليل الدفع على L1 ويطابق بيان السحب الصادر عن انسحاب L2 ، لكن الوضع الفعلي لا يطابق الاثنين.
وبهذه الطريقة ، يجب أن يكون ZKP لإثبات الدفع = بيان السحب خاطئًا.طالما تم إصدار هذا ZKP ، يمكن لـ Challange الإشارة إلى الخطوة الخاطئة وتحدي اتفاقية شهادة الاحتيال بواسطة BITVM2.
ما يجب التأكيد عليه هو ،كل من Bitlayer و Citriea ، Bob ، Zkbase ، إلخ. يستخدم كلاهما أحدث مسار BitVM2، أي أن الإصدار الجديد من مخطط BITVM ، سيستخدم هذا المخطط مهمة الحوسبة تحت السلسلة ، أي لإنشاء دليل ZK لعملية الحوسبة تحت السلسلة ، ثم التحقق من الدليل ، ثم تحويل عملية التحقق ZKP فيه مناسب لشكل BitVM ويسهل التحديات اللاحقة.
في نفس الوقت ،من خلال تبني ألقاب Lamport وتوقيعها ، يمكنك تحسين التحديات التفاعلية المتعددة من BITVM الأصلي إلى تحدٍ غير نشط واحد ، والذي يقلل بشكل كبير من صعوبة التحديجوهر
تتطلب عملية التحدي الخاصة بـ BitVM شيئًا يسمى “الالتزام” ، أي المجتمع.نوضح ما هو “الالتزام”.بشكل عام ، سوف يزعم الأشخاص الذين يطلقون “وعد” على سلسلة البيتكوين أن بعض البيانات المخزنة بموجب السلسلة/مهمة الحوسبة التي تحدث بموجب السلسلة دقيقة ، والبيان المناسب الصادر عن السلسلة هو “الالتزام بالالتزام” “.
يمكننا أن نفهم المجتمع تقريبًا باعتباره تجزئة لعدد كبير من البيانات في عدد كبير من البياناتجوهرغالبًا ما يكون حجم الالتزام نفسه صغيرًا ، ولكن يمكن أن يكون مزدحمًا بعدد كبير من البيانات تحت التنسيق عبر شجرة Merkle ، ولا تحتاج هذه البيانات المرتبطة المرتبطة إلى السلسلة.
>
في BITVM2 و CitRea ، حل Bitllayer’s Bitvm Bridge ،إذا اعتقد شخص ما أن الوعد الصادر عن مشغل جسر الانسحاب على السلسلة يمثل مشكلة ، فإن الوعد يربط عملية التحقق من ZKP غير صالحة ، ويمكن إطلاق التحدي ، وسلطة التحدي هي الأذونات الأقلجوهر(العملية التفاعلية بداخلها أكثر تعقيدًا ، لذلك لا أشرح هنا)
لأن المشغل يجب أن يدفع أموالًا لمجموعة BitVM Fund لإعطاء السحب إلى السحب ، ومن ثم التقدم بطلب للحصول على تجمع الأموال.إذا لم يتم الطعن في هذه اللجنة بعد فترة شهادة الاحتيال ، فيمكن للمشغل أن يسلب مبلغ السداد الذي تحتاجه.
نحتاج هنا إلى شرح كيفية الحفاظ على مجموعة رأس المال العام لجسر BitVM ، وهو الجزء الأكثر أهمية في جسر التقاطع.يعلم الجميع أن الأموال التي يمكن أن يدفعها جسر التقاطع المتقاطع إلى السحب من السحب من الأصل الذي ساهم به المترو أو غيره depends on the funds. As a result, the amount of depositors absorbed by the BITVM bridge, the amount of depositor absorbed by the Bitvm bridge, should be equal to the amount of the withdrawal of the withdrawal.إذن ، كيفية الحفاظ على أموال الإيداع مشكلة مهمة للغاية.
في خطة الجسر لمعظم طبقة البيتكوين ، تتم إدارتها غالبًا ما تتمثل في توقيع ودائع المستخدمين في حساب واحد. النموذج ، من الواضح أن هذه الخطة تشكل خطرًا كبيرًا للثقة.
يستخدم BitLayer و Citriea Bitvm Bridge أفكارًا مشابهة لشبكة Lightning والقناة.قبل الإيداع ، سيتواصل المستخدم مع تحالف BITVM لجعل الأخير الملقب لتحقيق الآثار التالية:
بعد نقل المستخدم إلى الإيداع إلى عنوان إعادة الشحن ، سيتم قفل الأموال مباشرة على عنوان taproot ، ولا يمكن جمعها إلا من قبل مشغل الجسر.بالإضافة إلى ذلك ، ينطبق المشغل فقط على المستخدمين على التقدم بطلب للحصول على سداد للتقدم بطلب للحصول على عنوان taproot للإيداع أعلاه من خلال طريقة السداد.بعد انتهاء فترة التحدي ، يمكن للمشغل أن يسلب قدرًا معينًا من ودائع المستخدم.
في مخطط BitVM Bridge ، يوجد تحالف BitVM (اتحاد BITVM) الذي تم تشكيله من قبل أعضاء N ، والذي سيحدد إيداع المستخدم.ومع ذلك ، لا يمكن لأعضاء N أن يخطئوا في إيداع ودائع المستخدمين دون إذن ، لأن المستخدمين سيطلبون من تحالف BITVM توقيع لقب توقيع قبل أن يستخدمه المستخدم للتأكد من أنه لا يمكن تطبيق هذه الودائع إلا من قبل المشغل.
>
(مخطط BITVM2 لمخطط الجسر المتفائل)
باختصار ، يستخدم جسر BITVM فكرة مشابهة لشبكة القناة وشبكة البرق.دع المستخدم “التحقق من قبل الخاص بك” يجعل تحالف BitVM غير قادر على معالجة تجمع الإيداع من خلال الطريقة المرشح ،لا يمكن استخدام الأموال في تجمع الإيداع إلا لسداد الأموال للمشغل.إذا كان المشغل يكمن في مبلغ الحصير ، فيمكن لأي شخص إصدار شهادة احتيال وتحدي.
إذا كان من الممكن هبوط الخطة أعلاه ، فسيصبح جسر BitVM أحد أكثر جسور انسحاب Bitcoin أمانًا:لا توجد مشكلة أمنية في هذا الجسر ، ولا توجد سوى مشاكل متوفرة/نشاط.عندما يحاول المستخدمون إيداع الأموال إلى BITVM ، قد تتم مراجعتها أو رفضها من قبل تحالف BITVM ، مما يؤدي إلى عدم القدرة على إيداع الأموال بسلاسة ، ولكن هذا لا علاقة له بالأمان وفعال/متاح.
لكن هبوط جسر BitVM أكثر صعوبة ،ومن المستحيل أيضًا تلبية احتياجات الأسر الكبيرة ذات الطلبات العالية على شفافية رأس المال: قد يشمل هؤلاء الأشخاص مشاكل مكافحة غسل الأموال ، ولا يريدون خلط أموالهم مع أموال الآخرين ، لكن جسر BitVM سيخزن بشكل موحد أموال أموال المودعين إلى حد ما ، إنها بركة بها الكثير من المال.
من أجل حل المشكلة النشطة لجسر BitVM أعلاه ، وتوفير أموال مستقلة ونظيفة داخل وخارج القناة للأشخاص ذوي الاحتياجات المحددة.يضيف فريق BitLayer حلًا إضافيًا للجسر المتقاطع يسمى OP-DLC.تزويد المستخدمين بمداولين لجسر BitVM وجسر OP-DLC لتقليل اعتمادهم على جسر BitVM وحتى تحالف BITVM.
>
(DLC Principle Diagram)
DLC: عقد السجل الدقيق
تسمى DLC (عقود السجل السرية) عقد السجل الحذر. وظائف العقد لحماية الخصوصية على سلسلة البيتكوين.أدناه نستخدم حالة المقامرة لتوضيح مبدأ العمل في DLC.
على افتراض أن أليس وبوب سيراهنان على نتائج ريال مدريد وبرشلونة التي عقدت بعد 3 أيام ، كل واحد منهما لديه 1 BTC.إذا فازت ريال مدريد ، يمكن أن تحصل على 1.5 BTC ، ويمكن لـ BOB استرداد 0.5 BTC فقط ، وهو ما يعادل كسب 0.5 BTC بواسطة Alice و 0.5 BTC لـ BOB ؛ خذ 1.5.5 BTC.إذا تم رسم اللعبة ، فقد أخذ الاثنان BTC واحد من كل منهما.
إذا كنا نريد أن نثق في عملية المقامرة أعلاه ، فيجب أن نجد طرقًا لمنع أي طرف من اللعب.يعطي DLC حلها الخاص لهذه النقطة (اعتمادًا على آلة نبوءة الطرف الثالث).يمكن تقسيم سير العمل بأكمله إلى أربعة أجزاء.
خذ Alice و Bob السابق كمثال.بادئ ذي بدء ، يقوم الجانبان بإنشاء معاملة صندوق تحت السلسلة ، والتي يمكن أن تقفل BTC لبعضهما البعض على عنوان الإشارة 2/2إذا أصبحت صفقة الصندوق سارية المفعول ، فيجب إنفاق كلا الطرفين من قبل الطرفين.
بطبيعة الحال ، فإن معاملة الصندوق هذه ليست على السلسلة أولاً ، وترك عملاء Alice و Bob فقط تحت السلسلة.في الوقت الحاضر ، يقوم الجانبين فقط بإجراء خصومات نظرية ، ثم وصلوا إلى سلسلة من البروتوكولات بناءً على نتائج الخصم.
في المرحلة الأولى من إنشاء DLC ، ما يمكننا تحديده هو ذلكسيغلق الطرفان BTCs كل منهما في عنوان متعدد المهمات في المستقبل.
>
في الخطوة الثانية ، يواصل الجانبان استنتاج الأحداث والنتائج التي قد تحدث في المستقبل:على سبيل المثال ، عندما يتم الإعلان عن نتائج اللعبة ، قد تكون مجموعة متنوعة من الاحتمالات مثل خسائر Alice Winning Bob ، تفقد Alice Bob ، والرسم ، مما سيؤدي إلى نتائج توزيع مختلفة في Bitcoin في المذكورة أعلاه 2. /2 أكثر.
نتائج مختلفة تحتاج إلى أن تكون تعليمات المعاملات المختلفة“ربما تكون تعليمات التداول في المستقبل” تسمى CETومعاملة تنفيذ العقد.يتعين على Alice and Bob تشغيل جميع Cets مقدمًا لإنشاء مجموعات بيانات المعاملات التي تحتوي على جميع Cets.
على سبيل المثال،وفقًا للعديد من النتائج المحتملة لأليس و Bobs المذكورة أعلاه ، فإن Alice تنشئ CET التالية:
CET1:يمكن أن تحصل Alice على 1.5 BTC من العنوان المتعدد المهم ، ويمكن أن يحصل Bob على 0.5 BTC ؛
CET2:يمكن أن تحصل Alice على 0.5 BTC من العنوان المتعدد المهم ، ويمكن أن يحصل Bob على 1.5 BTC ؛
CET3:كلا الجانبين يمكن الحصول على 1 BTC.
دعنا نأخذ CET1 كمثال (خذ Alice 1.5 BTC و BOB مع 0.5 BTC):
تعني هذه الصفقة أن 1.5 BTC في العنوان متعدد المرقمي يتم نقله إلى عنوان Taproot الذي تم تشغيله بشكل مشترك نتيجة لخرج Alice و Prophet ، والآخر 0.5 BTC تم نقله إلى BOB.كان الحدث المقابل في هذا الوقت هو: ريال مدريد وون ، فاز أليس 0.5BTC ، بوب خسر 0.5BTC.
>
بالتأكيد،لقضاء هذا 1.5 BTC ، يجب على أليس الحصول على توقيع نتائج “Viro Madrid Victory” التي أرسلتها آلة النبيجوهروبعبارة أخرى ، فقط عندما تخرج آلة التنبؤ “Victory Real Madrid” ، يمكن لـ Alice نقل 1.5 BTCs.بالنسبة لمحتوى CET2 و CET3 ، يمكننا استخدامه وما إلى ذلك ، لذلك لن أخوض في التفاصيل.
>
تجدر الإشارة إلى أن CET هي في الأساس معاملة تنتظر أن تكون فعالة.إذا قامت Alice ببث CET1 مقدمًا ، أو في حالة “Barcelona Victory” ، فما الذي سيحدث لـ CET1 الذي لا يمكن تشغيله إلا من قبل “ريال مدريد”.
في الرسم التخطيطي السابق ، ذكرنا أنه بعد أن يتم نقل CET1 على السلسلة ، سيتم نقل 2 BTC في العنوان متعدد المهمات الأصلي ، و 0.5 BTC إلى BOB ، و 1.5 BTCs إلى عنوان TAPROOT. “، يمكن لـ Alice إلغاء قفل BTC المقفل بواسطة عنوان Taproot.يظهر التأثير في الشكل أدناه.
في الوقت نفسه ، يقتصر عنوان taproot هذا على قفل الوقت ،إذا لم تتمكن Alice من أخذ 1.5 BTCs بنجاح خلال فترة نافذة قفل الوقت ، فإن Bob له الحق في أخذ الأموال مباشرة.
لذلك ، طالما أن آلة النبي صادقة ، لا يمكن أن تأخذ أليس هذه 1.5 BTCs.0.5 BTC التي يتم تحويلها مباشرة إلى BOB عندما يكون CET1 على السلسلة ، وسيتملك BOB جميع الأموال في النهاية.
>
بالنسبة إلى أليس ، بغض النظر عما إذا كنت في النهاية أو الخسارة ، فإن الطريقة الأكثر ملاءمة هي وضع CET الصحيحة على السلسلة ، وستجعلك سلسلة CET غير صالحة تخسر المزيد من المال.
في الواقع ، عندما تم إنشاء CET أعلاه ، فقد قامت بتحسين توقيع Schnorr في Taproot.بعد ذلك ، يمكن أن يكلف التوقيع المقابل لآلة التنبؤ قفل BTC المقابل للعنوان المقابل للنتيجة.
بالطبع ، هناك احتمال إضافي في ذلك.إذا علمت أليس أنه قد فقد ، فهو ببساطة لا يضع CET1 الذي قمت ببنائه ، فماذا أفعل في هذا الوقت؟من السهل حلها لأنيمكن لـ BOB بناء CET مخصص لـ “خسارة Alice ، Bob Win”.
ما سبق هو أهم عملية بناء CET.الخطوة الثالثة من DLC هي التواصل مع كلا الطرفين و BOB ، والتحقق من معاملة CET التي تم بناؤها من قبل الطرف الآخر ، وتوقيع CET بعد التحقق منه بشكل صحيح ، يمكنك الوثوق ببعضها البعض. 2 -عنوان ، ثم انتظر أن تكون CET على السلسلة لتشغيل عملية المتابعة.
أخيرًا ، بعد الإعلان عن نتائج آلة النبوة ، بعد الحصول على توقيع نتائج آلة النبوة ، يمكن لأي حزب وضع CET الصحيح على السلسلة والسماح لـ BTC مغلقًا في العنوان المتعدد ستخسر السلسلة كل الأموال.
>
قد يسأل شخص ما ،ما هو الفرق بين DLC و 2/3 العادي؟بادئ ذي بدء ، موقعة أكثر من 2/3 ، ويمكن لأي جانبان سرقة جميع الأصول.
ثانياً ، تتطلب التوقيعات المتعددة توقيع الأطراف المحددة على المعاملة على السلطة ، وتحت إعداد DLC ، تحتاج الآلة النبوية فقط إلى توقيع نتائج أحداث محددة ، لا تحتاج إلى معرفة محتوى CET/ليتم تداوله في السلسلة ، أو حتى لا حاجة إلى معرفة أن هناك شخصين من Alice و بوب.
يمكننا أن نفكر ،DLC هو في الأساس لتحويل ثقة عدد المشاركين إلى آلة الثقة.只要预言机不参与作恶,就可以保证DLC的协议设计足够去信任。نظريا،DLC可以采用比较成熟完善的第三方预言机,来避免作恶جوهرواستفاد DLC.Link و BitLayer من خصائص DLC لتمرير المشكلة الموثوقة للجسر إلى آلة النبوءة الثالثة.
بالإضافة إلى ذلك ، يدعم جسر DLC في Bitlayer أيضًا العقد النبوية.关于其OP-DLC桥的原理,我们将在下面展开简述。
OP-DLC桥:DLC通道+欺诈证明
我们从存取款的全流程来解释OP-DLC桥的运转原理。假设现在Alice通过OP-DLC桥向L2存款1枚BTC,根据两步交易机制,ALice先生成一个pre-fund交易,如下图:
>
هذا هو في الواقعأول نقل 1 BTC إلى عنوان taproot يتحكم فيه أعضاء Alice و BitVM Alliance ، ثم قم بتشغيل سلسلة من العمليات لإنشاء CET.إذا رفض أعضاء تحالف BitvM Bridge التعاون مع طلب إيداع أليس ، فيمكن أن تنتظر Alice الوقت للقفل ، وسحب الأموال على الفور.
إذا كان أعضاء تحالف BITVM على استعداد للتعاون مع Alice ، فسيشكل الطرفان معاملة إيداع صناديق رسمية (وليس على السلسلة أولاً) وجميع CETS في انسحاب سحب السحب. Submit the Fund transaction.
在Fund交易的Witness/签名数据里,Alice会指定自己在Layer2的收款地址;بعد أن تكون معاملة الصندوق في السلسلة ، يمكن لـ Alice تقديم بيانات معاملة الصندوق أعلاه إلى عقد الجسر على Layer2 لإثبات أنه أكمل إجراء الإيداع على سلسلة Bitcoin ويكون مؤهلاً لإصدار عقد L2 Bridge لعنوان الإيصال المحدد to release token.
>
بعد أن يتم تشغيل معاملة الصندوق ، يتم تأمين الإيداع فعليًا في عنوان Taproot متعدد الأطوار الذي يسيطر عليه أعضاء Alice و BitVM Alliance.ومع ذلك ، تجدر الإشارة إلى أن CET يمكنه فقط إلغاء قفل BTC من خلال CET.
接下来我们来解析Alice和BitVM联盟事先构建好的CET。تُستخدم هذه Cets لتلبية المشاهد المحتملة للسحب في المستقبل. يأتي تحالف BITVM للسيطرة ، ولكن يمكنك فقط استخدام جسر BitVM المذكور سابقًا ؛
أو ببساطة استخدم هذا 0.7 BTC لبدء إيداع جديد قبل الصناديق كأصل يتم شحنه حديثًا في جسر DLC.
>
من الصعب فهم العملية أعلاه. تحديد أي من أليس التي تريد تشغيلها التي تحفز.
المخاطر في ذلك هو أن الآلة النبوية قد تتآمر مع تحالف BITVM ، مثل بيان Alice لسحب 0.5 BTCs ، لكن آلة التنبؤ صاغت بيانًا سحبًا ، وفي النهاية جعلت “Alice Recover 0.1BTC ، BitVM Alliance تلقى 0.9BTC “خطأ CET على السلسلة.
هناك العديد من الحلول لهذا.منع هذا النوع من المؤامرة (في هذا الوقت ، من الصعب للغاية الفوز بتحالف BITVM مع آلة النبوة) ،أو اترك آلة النبي تعهد ،تحتاج آلة النبوءة إلى إطلاق اللجنة على سلسلة البيتكوين على أساس منتظم للإعلان أنه يتعامل بصدق مع طلب سحب انسحاب الانسحاب.يمكن لأي شخص تحدي المجتمع من خلال بروتوكول BitVM الاحتيالي.
>
تحت تصميم جسر OP-DLC ، يمكن للمستخدمين دائمًا “أخذ يد واحدة” إلى أصولهم لمنع أصولها من اختلالها بواسطة تحالف BitVM ، ويجلب مخطط التصميم هذا على غرار القناة مزيدًا من الحكم الذاتي للمستخدمين ، وأيضًا أنت لا تحتاج إلى السماح بخلط أموالك مع صناديق الآخرين ، أشبه بمخطط الوصول إلى نقطة P2P.
أيضًا،بالنظر إلى أنه لا يمكن تنفيذ حل BITVM لفترة من الوقت.يمكن أيضًا استخدام هذا المخطط كودائع رئيسية للانسحاب من جسر BitVM.
لخص
حل Bitlayer و Citrea’s Bitvm Bridge ، والذي يعد بشكل أساسي وضع “إعادة الدفعة المسبقة”هناك عقد مشغل خاص لكسب المال لمستخدمي السحب ، ويمكن للمشغل التقدم بانتظام للحصول على السداد من عنوان الإيداع العام.如果Operator存在不实的报销申请,可以被任何人挑战并Slash。
يتم تقديم حل BITVM2 إلى اسم التوقيع ، ويجمع بين مرور القناة ، مما يسمح للمستخدمين بالحد الودائع.
هذا الجسر ليس لديه مشاكل أمنية من الناحية النظرية ، ولكن هناك مشكلة في النشاط/التوافر، ولا يمكن أن تلبي احتياجات مستخدمين محددين من أجل استقلال رأس المال وغسل الأموال (بشكل أساسي نموذج مجموعة رأس المال) ، ومن الصعب أيضًا الهبوط.
تحقيقًا لهذه الغاية ، يضيف BitLayer مخططًا للجسر يسمى OP-DLC ، وهو ما يشبه DLC.Link.
ومع ذلك ، نظرًا لأن هبوط BITVM صعب للغاية ، فإن جسر DLC سيأخذ زمام المبادرة في الهبوط والبديل مؤقتًا.طالما قمت بحل خطر آلات الثقة ، قم بدمج نبوءة ثالثة أكثر موثوقية ونضجًا ،يمكن أن يصبح DLC Bridge انسحابًا أكثر أمانًا لبرامج التحقق من الانسحاب من Duo Duo Bridge في هذه المرحلة.