https://entethalliance.org/2023-02-28-state-of-l2-bridges/
بقلم الدكتور أندرياس فرويند (الرئيس المشارك) بالنيابة عن مجموعة عمل معايير L2 لمشاريع المجتمع في المنطقة الاقتصادية الأوروبية
نحن نعيش في عالم متعدد السلاسل ، مع مليارات الدولارات من قيمة الأصول مقفلة في أكثر من 100 سلسلة. ويتصرف مالكو أصول blockchain تمامًا كما يفعلون مع الأصول في التمويل التقليدي: إنهم يبحثون عن فرص المراجحة لكسب المال. ومع ذلك ، على عكس عالم التمويل التقليدي حيث يمكن استخدام الأصول في بلد ما في عمليات المراجحة في بلد آخر دون نقل الأصول باستخدام وسطاء موثوق بهم ، فإن نفس النهج لم ينجح مع blockchain لفترة طويلة لثلاثة أسباب:
- لا تستطيع البلوكشين التحدث مع بعضها البعض ،
- تتطلب عمليات المراجحة على blockchain معينة أن تكون جميع الأصول المعنية موجودة على blockchain بسبب الطبيعة غير الموثوقة لشبكات blockchain العامة ،
- ولم يكن هناك ما يعادل الوسيط الموثوق به كما هو الحال في التمويل التقليدي بين سلاسل الكتل غير الموثوقة.
لحل مشكلة عدم كفاءة رأس المال على blockchain ، وكسب المال في هذه العملية ، أنشأ الأفراد المغامرون جسور blockchain التي عالجت هذه التحديات الثلاثة وبدأت في ربط نظام blockchain البيئي معًا - نعم ، يمكنك الآن تداول البيتكوين على Ethereum. بالطبع ، يمكن استخدام الجسور لأنواع أخرى من الوظائف أيضًا ؛ ومع ذلك ، فإن الوظيفة الأساسية هي تحسين كفاءة رأس المال.
ما هو جسر Blockchain؟
على مستوى عالٍ ، يربط جسر blockchain بين بلوكشين لتسهيل الأمرآمن ويمكن التحقق منهتواصل بين تلك البلوكشين من خلال نقل المعلومات و / أو الأصول.
هذا يسمح للعديد من الفرص مثل
- نقل الأصول عبر السلسلة ،
- التطبيقات اللامركزية الجديدة (dApps) ، والأنظمة الأساسية التي تسمح للمستخدمين بالوصول إلى نقاط القوة في مختلف سلاسل الكتل - وبالتالي تعزيز قدراتهم ،
- يمكن للمطورين من أنظمة بيئية مختلفة من blockchain التعاون وبناء حلول جديدة.
هناك نوعان أساسيان من الجسور:
ضمن مجموعتي افتراضات الثقة يمكن للمرء أن يميز الأنواع المختلفة الشائعة لتصميمات الجسور:
- قفل الجسور الرمزية وصنعها وحرقها : يمكن أن تحدث نهائية مضمونة فورية حيث أن سك الأصول على blockchain الوجهة يمكن أن تحدث كلما لزم الأمر دون احتمال فشل معاملة. يتلقى المستخدمون أصلًا اصطناعيًا ، يُطلق عليه غالبًا أصل مغلف ، على blockchain الوجهة ، وليس الأصل الأصلي.
- شبكات السيولة مع مجمعات الأصول المحلية بسيولة موحدة : تجمع أصول واحد على blockchain واحد متصل بمجموعات أصول إضافية على blockchain أخرى مع وصول مشترك إلى السيولة لبعضها البعض. هذا النهج لا يتيح نهائية فورية مضمونة لأن المعاملات يمكن أن تفشل إذا كان هناك نقص في السيولة في المجمعات المشتركة.
ومع ذلك ، فإن جميع التصميمات ، وأيًا كانت افتراضات الثقة ، يجب أن تعالج اثنين من الثلاثيات التي تواجهها جسور blockchain.
Bridging Trilemma كما افترض Ryan Zarick ، Stargate
قد تحتوي بروتوكولات التجسير على خاصيتين فقط من الخصائص الثلاث التالية:
- نهائية مضمونة فورية: ضمان استلام الأصول على blockchain الهدف مباشرة بعد تنفيذ المعاملة على blockchain المصدر ونهاية المعاملة على blockchain الهدف.
- السيولة الموحدة: تجمع سيولة واحد لجميع الأصول بين بلوكشين المصدر والهدف.
- الأصول الأصلية: احصل على أصول blockchain المستهدفة بدلاً من الأصول التي تم سكها بواسطة الجسر الذي يمثل الأصل الأصلي على blockchain المصدر.
إمكانية التشغيل البيني Trilemma كما افترضها Arjun Bhuptani ، Connext
قد تحتوي بروتوكولات التشغيل البيني على خاصيتين فقط من الخصائص الثلاث التالية:
- عدم الثقة: نفس ضمانات الأمان مثل blockchain الأساسي دون افتراضات ثقة جديدة.
- التمدد: القدرة على ربط سلاسل الكتل المختلفة.
- التعميم: يسمح بإرسال البيانات التعسفية
إلى جانب الثلاثيات التي يمكن معالجتها بتصميم ذكي ، فإن التحدي الأكبر لجسور blockchain هو الأمان كما أظهر العديد من الاختراقات في 2021 و 2022 ؛ سواء كانت حوادث Wormhole أو Ronin أو Harmony أو Nomad.وبشكل أساسي ، يعتبر الجسر بين blockchain آمنًا فقط مثل أقل blockchain أمانًا المستخدم في (سلسلة) الجسر (الجسور) للأصل. ومع ذلك ، فإن هذه المشكلة الأخيرة ليست مشكلة بالنسبة للجسور بين الأنظمة الأساسية من الطبقة الثانية والمثبتة على نفس الطبقة الأولى (L1) blockchain لأنها تشترك في نفس ضمانات الأمان من blockchain L1 المشترك.
لماذا تعتبر Bridges مهمة بالنسبة لـ L2s؟
حتى هذه النقطة ، لم نتحدث على وجه التحديد عن منصات L2 المصممة لتوسيع نطاق بلوكشين L1 أثناء وراثة ضمانات أمان L1 ، نظرًا لأن L2s تتحدث بدقة عن نوع معين من الجسور: جسر أصلي. ومع ذلك ، هناك العديد من الخصائص المميزة لمنصات L2 عند إنشاء جسر بين L2s على سبيل المثال تراكمي متفائل مقابل zk-rollups vs Validium rollups vs Volition rollups. هذه الاختلافات تجعلها مميزة بسبب الاختلاف في افتراضات الثقة والنهائية بين المستوى الثاني مقابل المستوى الثاني وبين المستويات المختلفة.
السبب وراء أهمية الجسور بين L2s هو نفسه بالنسبة لـ L1s: تبحث أصول L2 عن كفاءة رأس المال في L2s الأخرى ، بالإضافة إلى قابلية النقل والوظائف الأخرى.
يمكن التغلب على الاختلاف في افتراضات الثقة الأصلية على منصات L2 إذا كانت L2s الموصولة ، كما لوحظ بالفعل ، مثبتة على نفس المستوى L1. وأن الجسر لا يتطلب افتراضات ثقة إضافية. ومع ذلك ، فإن الاختلافات في نهائية المعاملة L2 على المرساة L1 تجعل من الصعب ربط الأصول بين L2s بطريقة تصغير الثقة.
نوع الجسور L2: نظرة عامة
عند الحفر أعمق قليلاً في جسور L2 ، نرى أن الجسور من L2 إلى L2 يجب أن تفي بالمعايير التالية بشكل مثالي:
- يجب استبعاد العملاء بعيدًا عن كل بروتوكول L2 يتعاملون معه من خلال طبقة تجريد - نموذج اقتران فضفاض.
- يجب أن يكون العملاء قادرين على التحقق من أن البيانات التي يتم إرجاعها من طبقة التجريد صالحة ، بشكل مثالي دون تغيير نموذج الثقة إلى ما وراء النموذج المستخدم بواسطة بروتوكول L2 المستهدف.
- لا توجد تغييرات هيكلية / بروتوكول مطلوبة من بروتوكول L2 البيني.
- يجب أن تكون الأطراف الخارجية قادرة على إنشاء واجهة لبروتوكول L2 المستهدف بشكل مستقل - من الناحية المثالية واجهة موحدة.
عند النظر إلى المشهد الحالي ، يرى المرء أن معظم جسور L2 تتعامل مع L2s تمامًا مثل blockchain آخر. لاحظ أن إثباتات الاحتيال على النحو المستخدم في التجميعات المتفائلة ، وإثباتات الصلاحية المستخدمة في حلول zk-rollups ، تحل محل رؤوس الكتل وإثباتات Merkle كما هي مستخدمة في الجسور "العادية" من L1 إلى L1.
المشهد الحالي لجسور L2
فيما يلي نلخص المشهد الحالي والمتنوع للغاية لجسور L2 مع اسم وملخص موجز ونوع تصميم الجسر:
اليحتفظ مشروع L2Beat بقائمة نشطة من الجسور ذات الصلة بـ L2s مع إجمالي القيمة المغلق (TVL) في الجسر بالإضافة إلى وصف وتقييم موجز للمخاطر ، إذا كان متاحًا.
ملفات تعريف المخاطر L2 Bridges
أخيرًا ، عندما يستخدم المستخدمون L2 Bridges ، في الواقع ، يجب توخي الحذر عند استخدام أي جسر ، ويجب تقييم المخاطر التالية لجسر معين:
خسارة الأموال
- يتواطأ Oracles أو المرحلون أو المدققون لتقديم أدلة احتيالية (e ، g ، تجزئة الكتلة ، رأس الكتلة ، إثبات Merkle ، إثبات الاحتيال ، إثبات الصلاحية) و / أو ترحيل التحويلات الاحتيالية التي لم يتم تخفيفها
- تم اختراق المفاتيح الخاصة للمدقق / الترحيل
- يقوم المدققون بصنع الرموز الجديدة بشكل ضار
- الادعاءات الكاذبة ليست محل نزاع في الوقت المناسب (بروتوكولات المراسلة المتفائلة)
- تحدث إعادة تنظيم blockchain الوجهة بعد مرور وقت نزاع أوراكل / ريلاير المتفائل (بروتوكولات المراسلة المتفائلة).
- تحتوي التعليمات البرمجية المصدر للعقود غير المؤكدة المتضمنة في البروتوكول أو المستخدمة من قبله على رمز أو وظيفة ضارة يمكن أن يسيء استخدامها مالك / مسؤول العقد
- يتصرف مالكو Token Bridge بشكل ضار ، أو يشرعون في إجراءات طوارئ حساسة للوقت تؤثر على أموال المستخدمين ، ولا يتواصلون بشكل صحيح مع قاعدة المستخدمين
- تم إيقاف عقد (عقود) البروتوكول مؤقتًا (إذا كانت الوظيفة موجودة)
- تتلقى عقود البروتوكول تحديث تعليمات برمجية ضارة
تجميد الأموال
- لا يتصرف المرحلون / موفرو السيولة في معاملات المستخدم (الرسائل)
- تم إيقاف عقد (عقود) البروتوكول مؤقتًا (إذا كانت الوظيفة موجودة)
- تتلقى عقود البروتوكول تحديث تعليمات برمجية ضارة
- سيولة غير كافية في الرمز المستهدف على الجسر
مراقبة المستخدمين
- Oracles أو المرحلات على أي من الوجهة أو L2s الهدف أو كلاهما يفشل في تسهيل النقل (الرسالة)
- تم إيقاف عقد (عقود) البروتوكول مؤقتًا (إذا كانت الوظيفة موجودة)
في حين أن هذه القائمة ليست شاملة ، إلا أنها تعطي نظرة عامة جيدة على المخاطر الحالية المرتبطة باستخدام الجسور.
هناكتطويرات جديدة جارية باستخدام تقنيات عدم المعرفة الصفرية (zkp) مصمم للتخفيف من بعض عوامل الخطر المذكورة أعلاه ومعالجة ثلاثية الجسر. على وجه الخصوص ، يسمح استخدام zkps بخصائص تصميم الجسر التالية:
- موثوق وآمن لأنه يمكن إثبات صحة رؤوس الكتل على سلاسل الكتل المصدر والهدف من خلال zk-SNARKs التي يمكن التحقق منها على سلاسل الكتل المتوافقة مع EVM. وبالتالي ، ليست هناك حاجة إلى افتراضات ثقة خارجية ، على افتراض أن البلوكشين المصدر والهدف وبروتوكولات العميل الخفيف المستخدمة آمنة ولدينا عقد صادقة 1 من N في شبكة الترحيل.
- بدون إذن ولا مركزية لأنه يمكن لأي شخص الانضمام إلى شبكة الترحيل الخاصة بالجسور ، وليست هناك حاجة إلى نمط PoS أو مخططات تحقق مماثلة
- توسع لأن التطبيقات يمكنها استرداد رؤوس الكتل التي تم التحقق منها من قبل zkp ، وتنفيذ التحقق والوظائف الخاصة بالتطبيقات
- فعال بسبب مخططات الإثبات الجديدة والمحسّنة مع إنشاء دليل قصير وأوقات تحقق إثبات سريعة
على الرغم من أن هذه الأنواع من التطورات مبكرة ، إلا أنها تعد بتسريع نضج وأمن النظام البيئي للجسر.
ملخص
يمكننا تلخيص المناقشة أعلاه ونظرة عامة على L2 Bridges على النحو التالي:
- L2 Bridges هي مادة لاصقة مهمة للنظام البيئي L2 لتعزيز قابلية التشغيل البيني L2 والاستخدام الفعال للأصول والتطبيقات عبر النظام البيئي.
- تعد جسور L2 المستخدمة على L2s المثبتة على نفس L1 ، مثل Ethereum Mainnet ، أكثر أمانًا من الجسور بين L1s - بافتراض أن شفرة المصدر آمنة ، والتي غالبًا ما تكون كبيرة.
- كما هو الحال مع جميع بنيات النظام الموزعة ، هناك مقايضات كبيرة يجب إجراؤها ، كما هو معبر عنه في Trilemmas المفترضة - Bridging Trilemma و Interoperability Trilemma.
- لدى L2 Bridges افتراضات ثقة مختلفة تمامًا ، على سبيل المثال ، الجسور الموثوقة مقابل الجسور غير الموثوقة ، وخيارات التصميم المختلفة جدًا ، على سبيل المثال ، شبكات lock-mint-burn مقابل شبكات السيولة.
- لا يزال النظام البيئي L2 Bridges ناشئًا وفي حالة تدفق.
- يُنصح المستخدمون ببذل العناية الواجبة لتقييم جسور L2 التي تقدم أفضل ملف تعريف للمخاطر والمكافآت لاحتياجاتهم.
- هناك تطورات جديدة جارية باستخدام تقنيات zkp الحديثة التي تعالج بفعالية ثلاثي الجسر ، وتساعد على زيادة أمان الجسور بشكل عام.
بينما لا تزال في وقت مبكر من الرحلة نحو إطار عمل L2 موحد للتشغيل البيني ، فهذه تطورات مهمة ، ويجب أن تؤخذ على محمل الجد لأن أيًا من هذه المشاريع قد يصبح إطار عمل جسر "THE" - فهو ليس VHS مقابل Betamax بعد ، لكننا نحصل عليه هناك.
يود L2 WG أن يعرب عن امتنانه لـ Tas Dienes (مؤسسة Ethereum) ، و Daniel Goldman (Offchain Labs) ، و Bartek Kiepuszewski (L2Beat) لقراءة المخطوطة بعناية واقتراحات المحتوى التي لا تقدر بثمن.