الانتقال إلى المحتوى
Financial Context Wiki

التجميعات المتفائلة

دليل خاص بكل عملية نشر لإيصالات المنسق وبيانات اشتقاق L1 والرؤوس غير الآمنة والآمنة والنهائية وألعاب إثبات الخطأ وعمليات السحب المرجعية والحوكمة والخروج السريع.

آخر تحديث

لأغراض تعليمية فقط؛ لا يشكل ذلك نصيحة استثمارية أو توصية استثمارية. قد تؤدي الاستثمارات إلى خسائر.

الإجابة المباشرة

ينفذ التجميع المتفائل تدفقًا مرتبًا من المعاملات وينشر بيانات الاشتقاق وادعاءات الحالة المحددة في البروتوكول من دون إرفاق إثبات صلاحية بكل دفعة. وتعني صفة «متفائل» أن الادعاء المؤهل يمكن أن يتقدم وفق قواعد النشر ما لم يثبت نزاع ناجح بإثبات الخطأ أنه غير صحيح. ولا تعني أن رسالة المنسق تثبت الصحة، أو أن كل تطبيق يتيح طعونًا بلا إذن أو يفرض مهلة السحب نفسها.

تشتق عقد التجميع كتل L2 بصورة مستقلة من مدخلات L1 المرجعية ومن إعداد البروتوكول الدقيق. لذلك يشمل مسار الأمان توافر البيانات وصحة الاشتقاق والتنفيذ ونظام إثبات خطأ عامل وسليم وإمكانية الوصول إلى L1 ونهائيتها والحوكمة وعقود الجسر. ولا يكفي جذر الحالة وحده لإعادة بناء السلسلة أو الطعن في انتقال غير صالح.

1
تسلسل

يقوم جهاز التسلسل بطلب معاملات L2 وينشر بيانات المعاملة أو الالتزامات.

آلية العمل

  1. ثبّت النشر المحدد: معرفي سلسلتي L1 وL2، وإعداد التجميع وتفرعه، وعقود صندوق الوارد والجسر، وتنسيق الدفعات ونمط توافر البيانات، وعقود ادعاء الحالة ولعبة النزاع، وإصدار البوابة، والمسؤولين والحراس وكتلة المراقبة. لا تثبت وثائق الحزمة أن كل خاصية مفعلة على سلسلة بعينها.
  2. صنّف الحالة المرصودة. إيصال المنسق أو الكتلة غير الآمنة التزام محلي سريع بالترتيب؛ وقد تدعم دفعة منشورة على L1 رأسًا مشتقًا آمنًا؛ وقد تدعم نهائية L1 رأسًا مشتقًا نهائيًا. أما ادعاء الحالة أو المخرج، والنزاع المحسوم، والسحب القابل للتنفيذ فهي عناصر ومواقيت منفصلة.
  3. أعد بناء خط اشتقاق L1 إلى L2. تحقق من الإيداعات والمدخلات المرتبة والقنوات والدفعات وأصول L1 وتغييرات الإعداد وانتقالات الحالة انطلاقًا من بيانات L1 المرجعية. وبالنسبة إلى البيانات المدعومة بالكتل الكبيرة، ميز بين التوافر خلال نافذة البروتوكول والاسترجاع الأرشيفي اللاحق.
  4. ارسم خريطة الاستمرارية والتحكم. افصل بين المنسق وناشر الدفعات ومقدم الادعاء والطاعن والمرحل والحارس وسلطة الترقية؛ وتحقق من وجود مسار إدراج إجباري أو صندوق وارد مؤجل ومن مهله وشروط إيقافه، ومن توفر برمجيات عاملة للمستخدم العادي لاستدعائه.
  5. تحقق من مسار إثبات الخطأ المنشور فعليًا. سجل نوع اللعبة المعتمد، وأذونات مقدم الادعاء والطاعن، والضمانات، والحالة الابتدائية المطلقة، وبرنامج الإثبات وآلته الافتراضية، وأوراكل الصور السابقة، وعمق الادعاء، والمواقيت والتمديدات، وقواعد الحسم، وسلطات الحظر أو الإيقاف، ومهلة الترقية. لا تنقل آليات OP Stack إلى Arbitrum أو إلى تجميع آخر.
  6. تتبع عمليات السحب واقتصادياتها بصورة منفصلة. تابع البدء على L2، والإثبات على L1، والاعتماد على الادعاء أو اللعبة، ومهلة النضج والنهائية، وإعادة الإثبات، وفحوص البوابة، والتنفيذ على L1. عامل الخروج السريع كمعاملة سيولة أو ائتمان مسعرة مع طرف مقابل مستقل، لا كفترة طعن مرجعية أقصر.
  7. طابق السجلات باستمرار. طابق تجزئات الكتل غير الآمنة والآمنة والنهائية، ومعاملات دفعات L1، وادعاءات الحالة، ونتائج الألعاب، ورسائل الجسر، والإيصالات، وعقود الرموز، والأرصدة النهائية. أعد التحليل بعد إعادة تنظيم L1 أو L2، أو فقدان دفعة، أو نزاع، أو إيقاف، أو ترقية عقد، أو انتقال في نمط توافر البيانات.

أمثلة محلولة

  • حمولة الاشتقاق. تحتوي دفعة على 10,000 معاملة و1,200 KB من مدخلات البروتوكول الخام و300 KB بعد الضغط. النسبة هي 1,200 / 300 = 4.0x، والانخفاض هو 1 - 300 / 1,200 = 75%، والمتوسط العشري هو 300,000 / 10,000 = 30 bytes/tx. تصف هذه الأرقام حمولة المدخلات المشفرة فقط، لا غاز L1 أو صحة التنفيذ أو حجم الحالة أو ضمانات الأرشفة.
  • المساهمة قبل التكاليف المستبعدة. يدفع المستخدمون 2.4 ETH؛ ويبلغ تنفيذ L2 المقاس 0.3 ETH؛ وتكلفة توافر البيانات على L1 هي 1.2 ETH. المتبقي 2.4 - 0.3 - 1.2 = 0.9 ETH، أو 0.9 / 10,000 = 0.00009 ETH/tx. وهذا ليس ربحًا صافيًا لأن بنية المشغل وتنفيذ L1 وألعاب الإثبات والمبالغ المستردة ورأس المال والإخفاقات والضرائب مستبعدة.
  • تحديد موضع النزاع. يحتوي أثر تنفيذ تعليمي على 2^20 = 1,048,576 خطوة. يحتاج التضييق الثنائي المثالي إلى log2(2^20) = 20 اختيارًا لعزل خطوة واحدة. وإذا كان لكل جولة تعليمية حد أقصى منفصل قدره 3-hour، يكون الحد التسلسلي الساذج 20 * 3 = 60 hours؛ لكن البروتوكولات الفعلية تستخدم ساعات شطرنج وتوازيًا وتمديدات وجداول معاملات خاصة بها.
  • مواقيت السحب والسيولة السريعة. تصل دفعة تعليمية إلى L1 بعد 10 minutes، ويظهر ادعاء معتمد بعد 30 minutes أخرى، ثم تدوم فترة طعن افتراضية 7 days، ويستغرق الترحيل النهائي 2 hours. الزمن التسلسلي هو 10 + 30 + 10,080 + 120 = 10,240 minutes = 7 days 2 hours 40 minutes. يدفع جسر سيولة مقدمًا 4.97 ETH مقابل ادعاء قدره 5 ETH ويتقاضى 0.03 ETH، أي 0.03 / 5 = 0.6%، بينما يبقى الادعاء المرجعي خاضعًا لمواقيته ومخاطره الأصلية.

المخاطر

  • استخدام L1 أو L2 أو معرفات السلاسل أو إعداد التجميع أو نشر العقود الخطأ.
  • اعتبار إيصال المنسق غير الآمن آمنًا أو نهائيًا.
  • تناقض المنسق أو رقابته أو إعادة ترتيبه أو توقفه.
  • تأخر نشر دفعة L1 أو فقدانه أو سوء تنسيقه أو بطلانه.
  • عدم توافر بيانات الكتل الكبيرة أو توافر البيانات البديل أو عدم أرشفتها.
  • عدم تطابق عميل الاشتقاق أو الإعداد أو التفرع.
  • إبطال إعادة تنظيم L1 لمدخلات اشتقاق كانت آمنة.
  • توقف ناشر الدفعات أو مقدم ادعاء الحالة أو مشارك الإثبات.
  • غياب مسار الإدراج الإجباري أو صندوق الوارد المؤجل أو إيقافه أو سوء فهمه.
  • عدم نشر إثباتات الخطأ أو خمولها أو ربطها بنوع لعبة خطأ.
  • اقتصار أدوار مقدم الادعاء أو الطاعن على جهات مأذونة أو قائمة سماح.
  • غياب الطاعن أو رقابته أو نقص تمويله أو تفويته الموعد.
  • خلل في برنامج الإثبات أو الآلة الافتراضية أو الحالة الابتدائية المطلقة أو الأوراكل أو أداة التحقق.
  • خطأ في الموقت أو التمديد أو موضع الادعاء أو الضمان أو محاسبة الحسم.
  • تدخل الحارس أو مجلس الأمن أو آلية الإيقاف أو القائمة السوداء.
  • ترقية فورية أو قفل زمني قصير أو اختراق مفاتيح المسؤول.
  • ثغرة في الجسر المرجعي أو المراسل أو منع إعادة التشغيل أو تعيين الأصل.
  • إخفاق إثبات السحب أو النضج أو إعادة الإثبات أو الإنهاء أو الترحيل.
  • مخاطر سيولة الخروج السريع أو تسعيره أو توجيهه أو إعساره أو طرفه المقابل.
  • الخلط بين نهائية L1 ونهائية L2 المشتقة وحسم الادعاء واستلام الأصل.

مفاهيم خاطئة شائعة

  • تعني صفة «متفائل» أن المستخدم يثق بلا شرط في النتيجة التي يعرضها المنسق.
  • يكفي نشر جذر حالة وحده لتوفير توافر البيانات والاشتقاق المستقل.
  • لكل تجميع متفائل إثبات خطأ بلا إذن وعامل ومهلة موحدة قدرها سبعة أيام.
  • تعني كتلة L2 الآمنة أو النهائية أن سحبها من L2 إلى L1 صار قابلًا للتنفيذ.
  • يقصر الجسر السريع فترة الطعن المرجعية أو لا يحمل سوى مخاطر التجميع.

مواضيع ذات صلة

المصادر

التنقل

ابحث في الويكي...