مقدمة: تم تجميع هذا المقال من خلال تصريحات الباحث في Celestia NashQ المتناثرة حول تحليل نموذج Rollup، بما في ذلك 4 متغيرات Rollup جديدة. سابقاً، في المقالة " باحث Celestia يحلل 6 متغيرات Rollup: مُرتب=مجمع+مُنشئ رأس “، وأدرج 6 نماذج Rollup مختلفة، وهذه المقالة هي تجريد جديد ل 4 أنواع من نماذج Rollup على أساس هذه المقالة.

في السابق ، قام NashQ بتقسيم جهاز التسلسل إلى وحدتين ، المجمع + منتج الرأس ، وقطع دورة حياة تعليمات المعاملات لشرح كيفية عمل Celestia Sovereign Rollup ، واستكشاف مقاومة الرقابة ونشاط متغيرات Rollup المختلفة ، بالإضافة إلى الحد الأدنى من التكوين للمستخدم ليتم تقليله إلى الحد الأدنى من الثقة (أي أن يكون غير موثوق به ، ما هو الحد الأدنى لأنواع العقد التي يجب على مستخدم مجموعة التحديثات تشغيلها).

النسخة 7: تراكم مستندات قائم على + منتجو رؤوس متعددة + "أعلى بروتوكول MEV"

في هذا النوع المتداخل، يقوم مستخدم شبكة المتداخل بنشر بيانات المعاملات مباشرةً إلى كتلة الطبقة DA، ثم يكون منتج الرأس مسؤولًا عن ترتيب المعاملات ويتم استخراج MEV من خلاله. من الواضح أن عملية تجميع/تضمين المعاملات في النوع المتداخل 7 هي نفسها كما هو الحال في المتداخل الأساسي المقدم سابقًا، الذي يتم التعامل معه عن طريق طبقة DA (يقوم المستخدمون بنشر معاملاتهم مباشرة إلى طبقة DA)، ولكن ترتيب المعاملات يختلف عن المتداخل الأساسي في أن عقدة طبقة DA ليست مسؤولة عن الترتيب، بل يتم التعامل معه من قبل منتج الرأس (Header Producer)

لنفترض أن هناك ثلاثة HP تتنافس مع بعضها البعض وتتبع بروتوكول تخصيص MEV يسمى "أعلى بروتوكول MEV". تم اقتراح هذا البروتوكول من قبل بروتوكول تخطي النظام البيئي Cosmos ، والذي يختلف عن مخطط Ether PBS في أن Block Builders يدفعون "نصيحة" إضافية إلى مدققي شبكة blockchain ، ويتم اعتماد الكتل التي تم إنشاؤها بواسطة أكثر البناة إكراما من قبل المدققين. سيتم اعتماد الكتل التي تم إنشاؤها بواسطة البناة الأكثر إكراما من قبل المدققين. في الوقت نفسه ، يطرح بروتوكول SKIP مفهوم "Sovereign MEV" ، والذي يهدف إلى السماح لجميع المدققين ومجتمع شبكة السلسلة العامة باستقلالية تخصيص MEV ، وحل مشكلة زيادة مركزية البناة بسبب تأثير دولاب الموازنة في Ethernet PBS (ولكن هذا ليس جوهر هذه المقالة). ).

في متغير Rollup المقدم في هذه الورقة ، يحتاج منتجو الرأس المختلفون إلى الإعلان عن مبلغ الإكرامية في رأس الدفعة الذي يقومون بإنشائه ، ويتم قبول رأس الدفعة المنشور بواسطة HP الذي يقدم أكثر من غيره تلقائيا بواسطة عقد Rollup (تلقائيا عبر خوارزمية اختيار شوكة دفتر الأستاذ المكتوبة في رمز العقدة).

بالإضافة إلى ذلك ، يجب أن يكون رأس الدفعة الذي نشرته HP قادرا على التوافق مع دفعة معاملات كاملة على طبقة DA.

إذا كان هناك خطأ في الرأس الذي نشرته HP، مثل نتيجة تنفيذ المعاملة Stateroot غير صحيحة، أو أنه لا يحتوي على معاملة معينة في الدُفعة (معاملة مفقودة)، يقوم العُقدة الكاملة لـ Rollup الصادقة ببث دليل الاحتيال إلى العُقدة الخفيفة. ومع ذلك، عادةً (بتفاؤل)، يمكن للعُقدة الخفيفة قبول الرأس الذي نشرته HP والاعتقاد بأنه ليس به مشاكل.

تحليل مقاومة الرقابة: هناك نقطتان موجودتان في هذا ال Rollup حيث يمكن وجود رقابة على المعاملات. الأولى موجودة في طبقة DA، حيث يمكنها مراجعة محتوى المعاملة ورفض إدراج معاملات مستخدمين معينين. المكان الثاني لا يزال في طبقة DA، يمكنها مراجعة الهيدر المقدم من HP ورفض إدراج هيدر معين، بحيث يمكنها التواطؤ مع الهيدر لتحقيق الاحتكار عبر هجوم الرقابة.

في نفس الوقت، يتم التسلسل في المعاملات بواسطة HP، ونظرًا لوجود دلائل الاحتيال (التي يمكن استخدامها ضد حالة إسقاط HP للمعاملات)، فإن HP نفسه عادةً ما لا يطلق هجمات الرقابة، ولكنه يمكنه رشوة أنظمة الطبقة DA للقيام بذلك (أو تشغيل بعض أنظمة طبقة DA بنفسه). الحل لهذا هو تمديد فترة النافذة التي يتم فيها تحديد تسلسل المعاملات Rollup، بحيث يمكن تضمين الرأس المرفوضة من قبل نظام طبقة DA الخبيث في السلسلة بواسطة نظام طبقة DA الشريف في الوقت المناسب قبل نهاية فترة النافذة، وهو ما يزيد بدوره من صعوبة هجوم الرقابة الخاص بنظام طبقة DA.

النشاط: L = L_da && ( L_hp1 || L_hp2 || L_hp3 )

إذا كانت طبقة DA بها خطأ نشط، فإن Rollup ستمتلك أيضًا خطأ نشط. على هذا الأساس، سيكون لدى Rollup خطأ نشط فقط إذا كان جميع HPs لديها خطأ نشط.

البديل 8: ZK Rollup مع المجمع المشترك + البراهين اللامركزية

الإصدار 8 يستخدم المجمع المشترك (SA) لاحتواء الصفقات + ترتيبها، حيث ينشر المجمع المشترك تسلسل الصفقات على طبقة DA، ويفترض أن ترتيب الصفقات لا يتغير نظريا بعد إرسال تسلسل الصفقات إلى طبقة DA.

وقبل أن يتم إرسال الدفعة إلى طبقة DA، يمكن للمجمع المشترك SA بث الدفعة + رأس SA إلى العقدة الكاملة والمثبت، ورأس SA إلى العقدة الخفيفة، باستثناء أن في هذا الوقت، الدفعة التي ليست على طبقة DA لا تزال غير مستقرة، وقد يتم استبدالها في أي وقت.

من المهم أن نلاحظ أن الرأس الذي نشره المجمع المشترك SA ليس نفس الشيء الذي نشره HP. يحتوي رأس SA على دلائل تشفيرية لضمان أن الدفعة التي يقرأها عقد Rollup من طبقة DA تم إنشاؤها فعليًا بواسطة SA، وليس مزورة من قبله.

يقرأ البرهان دفعة العمليات Batch من طبقة DA (ويزامن أيضًا مباشرة مع المجمع المشترك) ، ويولد دليل تحقق + رأس دفعة ZK ، وينشره إلى طبقة DA. من الواضح أن البرهان يعمل كـ HP.

بالنسبة للعقدة الخفيفة من Rollup ، بعد تلقي ZKProof ، سيتم الانتهاء من تسلسل المعاملات الواردة في هذه الدفعة. بالطبع ، يمكن ل Prover أيضا بث ZKP من خلال شبكة Rollup p2p ضمن سلسلة طبقة DA ، بحيث يمكن استقبالها بواسطة العقد الخفيفة بشكل أسرع ، ولكن في هذا الوقت ، لم يتم إرسال ZKP بعد إلى طبقة DA ، وليس لديها "النهاية".

مقاومة الرقابة: في الإصدار 8، لا يمكن لطبقة DA القيام بهجمات الرقابة على بعض المعاملات الخاصة بالقلم، ولكن يمكنها فقط القيام بهجمات الرقابة على الدُفعة الكلية للمعاملات التي تم تقديمها بواسطة المجمع المشترك. في الوقت نفسه، يمكن للمجمع المشترك رفض تغليف معاملات بعض المستخدمين.

نشط: L = L_da && L_sa && L_pm. إذا فشلت أي جزء من هذا الإصدار نشطًا ، فسيفشل Rollup نشطًا. إذا فشل المثبت ، فإن العقد الخفيف لن يكون قادرًا على مزامنة تقدم دفتر السجل Rollup بكفاءة. ولكن نظرًا لأن العقد الكامل يزامن كل تسلسل عملية تداول ، يمكنه مواكبة تقدم الكتاب. في هذا الوقت ، لا يتأثر العقد الكامل وتفشل جميع العقد الخفيفة ، وهو ما يعادل الحالة الموصوفة سابقًا لـ Based Rollup مع منظم مشترك.

أدنى تكوين لتقليل الثقة: عقدة DA tier الخفيفة + عقدة شبكة المجمع المشتركة الخفيفة + عقدة Rollup الخفيفة

النسخة 9: مجمع مشترك + مثبت لامركزي + ZK-Rollup مع عدة DAs

يعتمد البديل 9 في الواقع على البديل 8 أعلاه الذي يتكشف ، باستثناء أنه يحتوي على أكثر من طبقة DA واحدة ، والتي يمكن أن تحسن بشكل فعال نشاط Rollup. في البديل 9 ، يمكن للمجمع المشترك SA نشر دفعة تسلسل المعاملة إلى أي طبقة DA ، ويمكنه اختيار طبقات DA مختلفة لنشر البيانات وفقا لاحتياجاته الخاصة ، بحيث يمكنه تحسين المعلمات ذات الصلة من Rollup ديناميكيا ، مثل: تكلفة البيانات والأمان والنشاط وتأخير المعاملة والنهائية.

وفقا لاحتياجات جهاز العرض التراكمي، يمكن تخصيص مجموعة التحديثات الأرخص والأكثر أمانا والأكثر نشاطا والأسرع، ويمكن اختيار طبقة DA ذات أعلى معدل نقل. بشكل عام ، لا يلزم وجود دفعة من ارتفاع كتلة Rollup معينة (على سبيل المثال 10000) على طبقات DA مختلفة في نفس الوقت ، ولكن إذا كانت موجودة ، فيجب أن تكون محتوياتها هي نفسها. في حالة وجود دفعتين بنفس الارتفاع ومحتويات مختلفة على طبقات DA مختلفة ، فهذا يعني أن المجمع المشترك يشارك عمدا في شوكة دفتر الأستاذ.

هنا، نختار نفس السوق اللامركزية للبراهين كما في النسخة 8، حيث يعمل البروفر كمنتج رأسي وينشر رأس الدفعة و ZKProof. في هذه النقطة، يحتاج البروفر إلى المنافسة من خلال آلية المزاد بالنصائح المذكورة في النسخة 7 (المقترحة من قبل بروتوكول SKIP).

سرعة تسوية المعاملات (سرعة التأكيد النهائي) للنسخة 9 تتأثر بأسرع طبقة DA يستخدمها من بين الكتل.

مقاومة الرقابة: يمكن للمجمعات المشتركة الانخراط في هجمات الرقابة ، لكن عدد طبقات DA الاختيارية يصبح أكبر ، وتقل احتمالية هجمات الرقابة المرتبطة بطبقات DA.

النشاط: L = ( L_da1 || L_da2) && L_sa && L_pm.

المتغير 9 أكثر نشاطًا مقارنة بالمتغيرات السابقة. طالما لم يحدث فشل في النشاط في جميع شبكات طبقة DA، يمكن لكل شيء المتابعة بشكل طبيعي.

أدنى تكوين لتقليل الثقة: العقد الخفيفة في طبقات DA مختلفة + عقد شبكة المجمع المشتركة الخفيفة + عقد Rollup الخفيفة.

من الواضح أن كلما زادت طبقات DA التي نستخدمها، كلما كان علينا تشغيل المزيد من العقد الخفيفة. ولكن قد تتفوق فوائد هذا على تكاليفه.

البديل 10: اثنان من الحلقات الاسطوانية ZK + منفذ مركزي مع عقد ضوئي على السلسلة لبعضها البعض (يمكن توصيلهم عبر جسر)

الإصدار 10 هو تمديد للإصدار 5 بهدف إنشاء 2 ZK-Rollups يمكن أن تربط بينهما. بالمقارنة مع الإصدار 5 (التكديس القائم على+ZKP+مثبت لامركزي), الإصدار 10 يحتوي على دور إضافي للمعادل مرسل، الذي يلف الهيدر الدُفعي+ZK-Proof في معاملة واحدة. ببساطة إرسال هذه المعاملة إلى عقدة Rollup1 الخفيفة حيث يتم تشغيل Rollup2 يثبت أن دفعة من ارتفاع معين صالحة. بالطبع، Rollup2 يحتاج أيضًا إلى تشغيل عقدة الإضاءة من طبقة DA.

هذا هو شرط أساسي للحفاظ على الثقة المنخفضة في جسر التبادل العابر. ومع ذلك، إذا كان أحد يعبر من إيثر رول أب (رول أب قائم على عقد ذكي) إلى إيثر، فلا حاجة لتشغيل عقد الطبقة الخفيفة للعقد الذكي للرول أب بعد الآن، حيث أن الطبقة الخفيفة للعقد الذكي هي إيثر نفسه. هذا يختلف تمامًا عن رول أب سيلاستيا السيادي، حيث يجب على الرول أب تشغيل عقد الطبقة الخفيفة لبعضها البعض لعبور بعضها البعض.

عندما يرسل المحول عملية تبادل عبر السلسلة، يتم معالجتها بواسطة منتج Rollup2's aggregator 2 و HP2. نضيف كليهما إلى الرسم البياني لنفهم كيفية تعامل العقد في Rollup2 مع معاملات السلسلة المتقاطعة.

سيحصل Relayer مكرر Rollup 2 على رأس دفعة Rollup 2 و ZKP ويرسله مرة أخرى إلى Rollup 1. يحتوي Rollup 1 أيضا على عقدة خفيفة ل Rollup 2 وعقدة خفيفة لطبقة DA.

يمكننا تبسيط النموذج أكثر. لنفترض أن Rollups الاثنين يستخدمان نفس المجمع المشترك ومنتج العنوان، بمعنى آخر، إنهم يستخدمون طبقات DA التي تتداخل.

في هذه الحالة، يمكن أن يتم حظر الوسيط مباشرة. نظرًا لأن رأس الدفعة وبرهان ZK قد تم نشرهما بواسطة HP إلى نفس طبقة DA، يمكن قراءة البيانات مثل رأس الدفعة وبرهان ZKP للـRollup الآخر مباشرة على طبقة DA، ولا يلزم نقلها إلى المجمع المشترك عبر الوسيط بعد الآن.

من الواضح أن التراكمات التي تستخدم نفس طبقة DA لا تحتاج إلى الاعتماد على Relayers (تعتمد العديد من الجسور عبر السلسلة على عقد الترحيل). يمكن أن يحل هذا مشكلة الأمان الخاصة بالجسور عبر السلاسل (من وجهة النظر هذه ، يعد الامتداد البيني بين SC Rollups في Ethernet أكثر أمانا من الامتداد البيني بين السلاسل العامة المختلفة).

في هذه النقطة، الحد الأدنى للتكوين من أجل تقليل الثقة: جهاز DA tier light node + جهاز Rollup light node.

بيان:

1. تم نقل هذه المقالة من [[Geek Web3](https://mp.weixin.qq.com/s/Wi4FPTCZli5g8UGVkYFnlw) ], ينتمي حق النشر إلى الكاتب الأصلي[NashQ, Celestia], إذا كان لديك أي اعتراض على إعادة الطبع، يرجى التواصل فريق Gate Learn، سيتم التعامل مع الفريق وفقًا للعملية ذات الصلة في أقرب وقت ممكن.
2. تنويه: تعبر الآراء والآراء المعبر عنها في هذه المقالة عن آراء الكاتب الشخصية ولا تشكل أي نصيحة استثمارية.
3. تتم ترجمة المقالات بلغات أخرى من قبل فريق Gate Learn وقد لا يجوز إعادة إنتاجها أو توزيعها أو نسخها بدون الإشارة إلى Gate.io.