تحليل التراكمية من منظور Celestia: مراجعة المقاومة ونشاط 6 متغيرات

المؤلف: نشك ، باحث في سلستيا

原文 标题 ： إعادة تعريف أجهزة التسلسل: فهم المُجمِّع ومنتِج الرأس

تجميع: فاوست ، جيك ويب 3

ملاحظة المترجم: لغرض تسهيل فهم وتحليل نموذج Rollup ، قسم باحث Celestia NashQ ** مُسلسِل Rollup (Sequencer) إلى كيانين منطقيين - مُجمِّع ومولِّد رأس. في الوقت نفسه ، قام بتقسيم عملية ترتيب المعاملات إلى ثلاث خطوات منطقية: التضمين ، والترتيب ، والتنفيذ. **

بتوجيه من هذا التفكير التحليلي ، فإن المتغيرات الستة المهمة للتراكم السيادي أكثر وضوحًا وأسهل في الفهم. ** ناقش NashQ بالتفصيل مقاومة الرقابة وحيوية متغيرات Rollup المختلفة ، وناقش أيضًا الحد الأدنى لتكوين العقد لكل متغير Rollup في حالة تقليل الثقة (أي ، لتحقيق حالة Trustless ، ما يجب على مستخدمي Rollup تشغيله نوع العقدة على الأقل). **

على الرغم من أن هذه المقالة تحلل Rollup من منظور Celestia ، والذي يختلف عن الطريقة التي يحلل بها مجتمع Ethereum نموذج Rollup ، مع الأخذ في الاعتبار الترابطات العديدة بين Ethereum Rollup و Celestia السيادي التراكمي ، بالإضافة إلى التأثير المتزايد للأخير ، فمن المهم بالنسبة لـ عشاق Ethereum ، هذا المقال يستحق القراءة للغاية.

! [تحليل التراكمية من منظور Celestia: مراجعة المقاومة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-828441f353-dd1a6f-7649e1)

ما هو التراكمي؟

التراكمية هي عبارة عن blockchain تنشر "بيانات المعاملات" الخاصة بها إلى blockchain آخر وترث توافقها وتوافر البيانات.

لماذا تعمدت استخدام كلمة "بيانات المعاملات" بدلاً من "الحظر"؟ يتضمن هذا التمييز بين كتل التجميع وبيانات التجميع ، حيث تتطلب معظم المجموعات المدمجة بيانات تجميعية فقط مثل المتغير الأول أدناه.

كتلة Rollup هي بنية بيانات تمثل دفتر الأستاذ blockchain عند ارتفاع كتلة معين. تتكون مجموعة التحديثات من بيانات التجميع ورأس المجموعة. من بينها ، يمكن أن تكون بيانات التجميع مجموعة من المعاملات ، أو تغييرات الحالة بين مجموعة من المعاملات.

البديل 1: تراكم متشائم / تراكمي قائم

أسهل طريقة لإنشاء مجموعة هي السماح للمستخدمين بنشر المعاملات إلى blockchain آخر ، والذي سنسميه طبقة الإجماع وتوافر البيانات (DA-Layer) ، وسأطلق عليها ببساطة طبقة DA أدناه (ملاحظة المترجم: إنها كذلك على غرار الطبقة 1 ، والتي غالبًا ما تُقال في مجتمع Ethereum).

في أول متغير تراكمي سأقدمه ، يجب أن تعيد عقد شبكة Rollup تنفيذ معاملات التجميع الواردة في طبقة DA للتحقق من الحالة النهائية لدفتر الأستاذ. هذا هو تراكم متشائم!

Pessimistic Rollup عبارة عن مجموعة تحديثات تدعم العقد الكاملة فقط ، وتحتاج هذه العقد الكاملة إلى إعادة تنفيذ جميع المعاملات الواردة في دفتر الأستاذ التراكمي للتحقق من صحتها.

! [تحليل التراكمية من منظور Celestia: المقاومة الخاضعة للرقابة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-ecd72eaee2-dd1a6f-7649e1)

ولكن في هذه الحالة ، من الذي يعمل كمسلسِل مجموعة التحديثات؟ في الواقع ، باستثناء العقد الكاملة الخاصة بـ Rollup ، لم يقم أي كيان مطلقًا بتنفيذ المعاملات الواردة في دفتر الأستاذ التراكمي. بشكل عام ، يقوم منظم التسلسل بتجميع بيانات المعاملات وإنشاء رأس تجميع. لكن التراكمية المتشائمة المذكورة أعلاه لا تحتوي على رأس تراكمي!

لتسهيل المناقشة ، يمكننا تقسيم مُسلسِل التسلسل إلى كيانين منطقيين: مُجمِّع مُجمِّع ومُولِّد رأس. لإنشاء رأس تجميع ، يجب عليك أولاً تنفيذ المعاملة وإكمال انتقال الحالة ثم حساب الرأس المقابل. لكن بالنسبة إلى المُجمِّع ، لا يحتاج إلى إكمال انتقال الحالة من أجل المضي قدمًا في خطوة التجميع.

ترتيب الفرز هو عملية "التجميع + إنشاء رأس المجموعة".

التجميع هو خطوة تجميع بيانات المعاملة في دُفعة. تحتوي الدُفعة بشكل عام على العديد من المعاملات (ملاحظة المترجم: الدُفعة هي جزء من البيانات في كتلة التجميع بخلاف الرأس).

خطوة إنشاء الرأس هي عملية إنشاء رأس التجميع. رأس التجميع هو البيانات الوصفية حول كتلة التجميع ، على الأقل بما في ذلك الالتزام ببيانات المعاملة في الكتلة (ملاحظة المترجم: يشير الالتزام المذكور هنا إلى الالتزام بصحة نتائج معالجة المعاملة).

! [تحليل التراكمية من منظور Celestia: مراجعة المقاومة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-09f8b10af6-dd1a6f-7649e1)

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

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

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

المتغير 2: التجميع المتشائم باستخدام مُجمِّع مشترك

! [تحليل التراكمية من منظور Celestia: المقاومة الخاضعة للرقابة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-fc7a48dda6-dd1a6f-7649e1)

دعونا نناقش التجميع المتشائم باستخدام مجمّع مشترك. تم اقتراح هذه الفكرة من قبل Evan Forbes في منشور المنتدى الخاص به حول تصميم جهاز التسلسل المشترك. افتراضه الرئيسي هو أن جهاز التسلسل المشترك هو الطريقة الرسمية الوحيدة لتسلسل المعاملات. يشرح إيفان مزايا أجهزة التسلسل المشتركة بهذه الطريقة: **

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

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

! [تحليل التراكمية من منظور Celestia: مراجعة المقاومة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-2587a5a3d4-dd1a6f-7649e1)

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

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

في هذا المتغير ، يحتاج مستخدمو التراكمية على الأقل إلى تشغيل العقد الضوئية لطبقة DA + العقد الضوئية لشبكة التجميع المشتركة + العقد الكاملة التراكمية في حالة الثقة المصغرة.

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

بهذه الطريقة ، يمكن لمشغل عقدة التجميع تأكيد أن الدُفعة المُستلمة من طبقة DA تم إنشاؤها بواسطة المُجمِّع المشترك وليس بواسطة الآخرين.

! [تحليل التراكمية من منظور Celestia: مراجعة المقاومة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-2587a5a3d4-dd1a6f-7649e1)

• التضمين هو عملية تضمين المعاملات في blockchain.
• يشير ترتيب الفرز إلى عملية ترتيب المعاملات في blockchain بترتيب معين.
• يشير التنفيذ إلى عملية معالجة المعاملات في blockchain واستكمال تحديثات الحالة.

نظرًا لأن المجمع المشترك يهتم بالتضمين والفرز ، فإن مقاومة Rollup للرقابة تعتمد عليه.

إذا كان من المفترض أن L \ _ss هو نشاط المجمّع المشترك وأن L \ _da هو نشاط طبقة DA ، فإن نشاط نموذج التجميع هو L = L \ _da && L \ _ss. بعبارة أخرى ، إذا تعرض أي من الجزأين لفشل حيوي ، فإن التراكمية أيضًا تعاني من فشل حيوي.

من أجل البساطة ، سأنظر إلى الحياة كقيمة منطقية. إذا فشل المُجمِّع المشترك ، فلا يمكن متابعة التشغيل التراكمي. إذا فشلت شبكة طبقة DA ، يمكن للمجمع المشترك الاستمرار في توفير الالتزام الناعم لكتل التجميع. ولكن في هذا الوقت ، ستعتمد سمات Rollup كليًا على شبكة المجمّع المشتركة ، وغالبًا ما تكون سمات هذه الأخيرة أدنى بكثير من طبقة DA الأصلية.

** دعنا نستمر في استكشاف مقاومة الرقابة لنظام التجميع أعلاه: **

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

ومع ذلك ، وفقًا لسير عمل التجميع ، عندما يقوم المُجمِّع المشترك بإرسال دفعة المعاملة إلى طبقة DA ، يكون قد أكمل بالفعل فرز المعاملة ، كما تم تحديد الترتيب بين الدفعات المختلفة. لذلك ، فإن هذا النوع من مراجعة المعاملات في طبقة DA ليس له أي تأثير آخر باستثناء تأخير التأكيد النهائي لدفتر الأستاذ Rollup.

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

البديل 3: التراكمية المتشائمة استنادًا إلى التراكمي القائم على التجميع والمُجمِّع المشترك

! [تحليل التراكمية من منظور Celestia: المقاومة الخاضعة للرقابة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-e1a18ed3fb-dd1a6f-7649e1)

على الرغم من فوائد المجمعات المشتركة للمستخدمين والمجتمع ، يجب علينا تجنب الإفراط في الاعتماد عليها والسماح للمستخدمين بالانسحاب من المجمعين المشتركين إلى طبقة DA. يمكننا الجمع بين متغيري العرض الإجمالي اللذين تم تقديمهما مسبقًا ، مما يسمح للمستخدمين بإرسال المعاملات مباشرة إلى طبقة DA أثناء استخدام مُجمِّع مشترك. **

نفترض أن تسلسل معاملة التراكم النهائي يعتمد على تسلسل المعاملة المقدم من المُجمِّع المشترك ، ومعاملات التجميع المُرسلة مباشرةً من قبل المستخدمين في كتلة طبقة DA. نحن نسمي قاعدة اختيار شوكة التراكمية هذه.

! [تحليل التراكمية من منظور Celestia: مراجعة المقاومة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-23fffd35db-dd1a6f-7649e1)

التجميع ينقسم إلى خطوتين هنا. أولاً ، يتم تشغيل المُجمِّع المشترك ، حيث يقوم بتجميع بعض المعاملات. بعد ذلك ، يمكن لطبقة DA تجميع الدُفعة المرسلة بواسطة المُجمِّع المشترك والمعاملات التي يرسلها المستخدم مباشرةً.

** تحليل مقاومة الرقابة أكثر تعقيدًا بعض الشيء في هذه المرحلة. ** قد تقوم عُقد شبكة طبقة DA بمراجعة الدُفعة المقدمة من المُجمِّع المشترك قبل إنشاء كتلة طبقة DA التالية. بعد معرفة بيانات المعاملة في الدُفعة ، يمكن لعقد طبقة DA استخراج قيمة MEV. يبدأ الحساب على الشبكة المعاملة التي يتم تشغيلها في المقدمة وتضمينها في كتلة طبقة DA أولاً ، ثم تتضمن الدُفعة المقدمة من مجمع التجميع المشترك التراكمي.

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

في الوقت الحالي ، ظهرت بعض مخططات التصميم لتقليل قدرة عُقد شبكة طبقة DA على تنفيذ معاملات MEV ، مثل وظيفة "فترة إعادة التنظيم" ، والتي ستؤخر تنفيذ المعاملات المرسلة مباشرةً إلى طبقة DA بواسطة مستخدمي شبكة التراكمية . تصف Sovereign Labs هذا بالتفصيل في اقتراح التصميم الخاص بهم المسمى التسلسل المستند إلى التأكيدات الناعمة ، والذي يقدم مفهوم "التسلسل المفضل".

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

بالنسبة للحيوية ، فإن مخطط التجميع هذا له مزايا على المخططات التي تسمح فقط للمجمعين المشتركين بإرسال المعاملات إلى طبقة DA. في حالة فشل الفعالية في المُجمِّع المشترك ، لا يزال بإمكان المستخدمين إرسال المعاملات إلى طبقة DA.

أخيرًا ، لنتحدث عن الحد الأدنى من التكوين لمستخدمي Rollup في ظل تقليل الثقة:

قم بتشغيل عقدة ضوء طبقة DA على الأقل + عقدة ضوء مجمع مشترك + عقدة تراكمية كاملة.

في هذه المرحلة ، لا يزال من الضروري التحقق من رأس المُجمِّع الصادر عن المُجمِّع المشترك ، بحيث يمكن للعقدة الكاملة للتجميع التمييز بين مجموعات المعاملات وفقًا لقواعد اختيار التفرع.

المتغير 4: مُولِّد للرؤوس المركزية ومولِّد للرؤوس المركزية

! [تحليل التراكمية من منظور Celestia: المقاومة الخاضعة للرقابة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-ed96921af9-dd1a6f-7649e1)

دعونا نناقش متغيرًا يسمى Based Optimistic Rollup ومولد رأس مركزي. ** يستخدم هذا الحل طبقة DA لتجميع معاملات التراكمي ، ولكنه يقدم مولد رأس مركزيًا لإنشاء رؤوس تجميعية لتمكين العقد الضوئية التراكمية. **

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

لن أخوض في تفاصيل كيفية عمل دليل احتيال من جولة واحدة هنا ، لأن هذا خارج نطاق هذه المقالة. تتمثل ميزة الجولة الواحدة لإثبات الاحتيال في أنها يمكن أن تقصر فترة الحماية من الاحتيال من 7 أيام إلى حد معين. لم يتم تحديد القيمة المحددة بعد ، ولكن ترتيب الحجم أصغر من التراكمية المتفائلة التقليدية. يمكن للعقد الخفيفة الحصول على إثباتات الاحتيال من خلال شبكة P2P المكونة من العقد الكاملة التراكمية دون انتظار عملية النزاع اللاحقة ، لأن جميع المعايير متوفرة بالكامل في إثبات احتيال واحد.

! [تحليل التراكمية من منظور Celestia: المقاومة الخاضعة للرقابة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-34c5897c0c-dd1a6f-7649e1)

يستخدم نموذج التراكمية أعلاه طبقة DA كعامل تجميع ويرث مقاومة الرقابة الخاصة بها. تكون طبقة DA في هذه المرحلة مسؤولة عن احتواء المعاملات وطلبها. سيقرأ منشئ الرأس المركزي تسلسل معاملة Rollup من طبقة DA ويبني رأس Rollup المقابل وفقًا لذلك. سينشر منشئ الرأس Header و Stateroot إلى طبقة DA. هذه Stateroots مطلوبة عند إنشاء أدلة الاحتيال. ** باختصار ، المُجمِّع مسؤول عن تضمين المعاملات وفرزها ، وسيقوم مُنشئ الرأس بتنفيذ المعاملة لتحديث الحالة للحصول على Stateroot. **

افترض أن طبقة DA (التي تعمل أيضًا كمجمع لـ Rollup في هذه المرحلة) لا مركزية بما فيه الكفاية ومقاومة للرقابة. بالإضافة إلى ذلك ، لا يمكن لمُنشئ الرأس تغيير تسلسل حركات التجميع التي ينشرها المُجمِّع. الآن ، إذا كان منشئ الرأس لامركزيًا ، فإن الفائدة الوحيدة هي تحسين الأداء ، لكن الخصائص الأخرى لـ Rollup هي نفس الخصائص الأولى القائمة على المتغير.

إذا فشل منشئ الرأس في الأداء ، فسوف يفشل التراكمي أيضًا في الحياة. لن تتمكن العقد الخفيفة من متابعة تقدم دفتر الأستاذ التراكمي ، لكن العقد الكاملة يمكنها ذلك. في هذه المرحلة ، يتدهور التراكمي الموضح في البديل 4 إلى التراكمية القائمة الموصوفة في البديل 1. على ما يبدو ، فإن الحد الأدنى للتكوين المصغر من الثقة الموصوف بواسطة Variant 4 هو:

** عقدة ضوء طبقة DA + عقدة ضوء تراكمي. **

البديل 5: القائم على ZK-Rollup وسوق Prover اللامركزي

! [تحليل التراكمية من منظور Celestia: مراجعة المقاومة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-3038d6d866-dd1a6f-7649e1)

لقد ناقشنا التراكمية المتشائمة (التراكمية المستندة) والتراكمية المتفائلة ، حان الوقت الآن للنظر في ZK-Rollup. ألقى توغرول حديثًا كلمة عن فصل المُجمّع (مُسلسِل) ومولد الترويسة (المُثبِّت) (فصل المُسلسل والمُثبِت في مجموعات البيانات الصفرية). في هذا النموذج ، من الأسهل التعامل مع معاملات النشر كبيانات تراكمية بدلاً من State Diff ، لذلك سأركز على السابق. ** البديل 5 هو سوق Prover لامركزي يعتمد على zk-rollup. **

! [تحليل التراكمية من منظور Celestia: مراجعة المقاومة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-5f20dc306b-dd1a6f-7649e1)

الآن ، يجب أن تكون على دراية بكيفية عمل Rollup. يقوم Variant 5 بتفويض دور المجمّع إلى عقد طبقة DA ، والتي تقوم بعمل تضمين المعاملات وفرزها. سأقتبس وثائق Sovereign-Labs ، التي تحتوي على شرح جيد لدورة حياة المعاملة في البديل 5:

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

في هذا النموذج ، يتم تشغيل مولد الرأس بواسطة سوق Prover اللامركزي.

تشبه عملية عمل عقدة Prover prover (عقدة كاملة تعمل في ZKVM) عملية عمل عقدة Rollup الكاملة العادية - مسح blockchain لطبقة DA ومعالجة جميع دفعات معاملات Rollup بالترتيب - لإنشاء إثبات المعرفة الصفرية المقابل ونشره على سلسلة طبقة DA. (إذا أراد نظام Rollup تحفيز المُثبِّت ، فيجب على الأخير إرسال إثبات ZK المُنشأ إلى سلسلة طبقات DA ، وإلا فلن يكون من الممكن تحديد المُثبِّت الذي أرسل إثبات ZK أولاً). بمجرد تحرير دليل ZK المقابل لمجموعة معاملات معينة في السلسلة ، يتم الانتهاء من مجموعة المعاملة في عيون جميع عقد Rolup (بما في ذلك العقد الخفيفة).

! [تحليل التراكمية من منظور Celestia: مراجعة المقاومة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-5f20dc306b-dd1a6f-7649e1)

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

النشاط هنا هو L = L \ _da && L \ _pm (نشاط Prover). إذا كانت حوافز Prover Market غير متسقة ، أو كان هناك فشل نشط ، فلن تتمكن عقدة Rollup Light من مزامنة تقدم blockchain ، ولكن يمكن لعقدة Rollup الكاملة. بالنسبة للعقدة الكاملة ، هذا مجرد احتياطي إلى التراكمية القائمة / المتشائمة التراكمية. الحد الأدنى من التكوين لتقليل الثقة هنا هو نفسه في حالة التراكمية المتفائلة ، وهي

عقدة ضوء طبقة DA + عقدة ضوء تراكمي.

المتغير 6: تجميع البيانات المختلط + مولد الرأس المثالي المركزي + المُثبِت اللامركزية

! [تحليل التراكمية من منظور Celestia: مراجعة المقاومة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-bb9cb7e9e4-dd1a6f-7649e1)

ما زلنا نسمح لعقد طبقة DA بالعمل كمجمعين تراكميين وتفويض عمل تضمين المعاملات وطلبها لهم.

كما ترون من الشكل أدناه ، يستخدم كل من ZK Rollup و Optimistic Rollup نفس دفعة المعاملة المطلوبة على طبقة DA كمصدر لدفتر الأستاذ التراكمي. هذا هو السبب في أنه يمكننا استخدام كلا نظامي الإثبات في نفس الوقت: لا تتأثر الدُفعة المطلوبة من المعاملات على طبقة DA نفسها بنظام الإثبات.

! [تحليل التراكمية من منظور Celestia: مراجعة المقاومة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-5db3aafd6d-dd1a6f-7649e1)

دعنا نتحدث عن النهائي أولا. من منظور عقدة Rollup الكاملة ، عندما يتم إنهاء كتلة طبقة DA ، يتم الانتهاء من مجموعة معاملات التجميع المضمنة فيها ولا يمكن تغييرها. لكننا نهتم أكثر بالنهاية من منظور العقد الضوئية. افترض أن مولد الرأس المركزي يرهن بعض الأصول ويوقع على رأس التجميع المُنشأ ويرسل Stateroot المحسوب إلى طبقة DA.

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

النقطة الأساسية هي أنه إذا تمكنا من الحصول على إثبات ZK ، فلا يتعين علينا انتظار انتهاء نافذة إثبات الاحتيال. بالإضافة إلى جولة واحدة من إثباتات الاحتيال ، يمكننا استبدال إثباتات الاحتيال بإثباتات ZK وتجاهل الرؤوس الخاطئة الناتجة عن مولدات الرؤوس الضارة!

عندما تتلقى العقد الخفيفة إثبات ZK لمجموعة من معاملات التراكمية ، يتم إنهاء الدفعة.

الآن لدينا التزام ناعم سريع ونهائية سريعة.

لا يزال المتغير 6 يتمتع بنفس مقاومة الرقابة مثل طبقة DA لأنه يعتمد على طبقة DA. من أجل الحيوية ، سيكون لدينا L = L \ _da && (L \ _op || L \ _pm) ، مما يعني أننا نضيف ضمانات الحياة. إذا كان أي من مولد الرأس المركزي أو سوق Prover اللامركزي يعاني من فشل حيوي ، فيمكننا أن نتدهور إلى الآخر.

في هذا المتغير ، يكون الحد الأدنى للتهيئة لتقليل ثقة المستخدم هو:

** عقدة ضوئية طبقة DA واحدة + عقدة ضوئية واحدة تراكمية. **

! [تحليل التراكمية من منظور Celestia: مراجعة المقاومة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-25e57c6a5a-dd1a6f-7649e1)

ملخص:

1. قمنا بتقسيم الدور الرئيسي لـ Rollup - Sequencer إلى مكونين منطقيين:

المجمعات ومولدات الرأس.

2. نقسم عمل Sequencer إلى ثلاث عمليات منطقية: الاحتواء والفرز والتنفيذ.

3. التراكمية المتشائمة و التراكمية القائمة على شيء واحد.

4. وفقًا لاحتياجاتك ، يمكنك اختيار حلول مجمعة ومولدات رأس مختلفة.

5. يتبع كل متغير إجمالي تم تقديمه في هذا المنشور نفس نمط التصميم:

! [تحليل التراكمية من منظور Celestia: مراجعة المقاومة ونشاط 6 متغيرات] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-94ee1bc13c-dd1a6f-7649e1)

أخيرًا ، لدي بعض الأفكار. يرجى التفكير في:

• كيف يتم تصنيف التراكمية الكلاسيكية (بالإشارة إلى Ethereum Rollup) في المتغيرات المذكورة أعلاه؟
• في جميع المتغيرات ، نسمح للمجمّع فقط أن يكون مسؤولاً عن التضمين + الفرز ، ومولِّد الرأس لتنفيذ المعاملة. ماذا لو كان المُجمِّع مسؤولاً فقط عن تضمين المعاملات ، وكان مُنشئ الرأس مسؤولاً عن طلب المعاملات وتنفيذها؟ بالنظر إلى إدخال خطوة المزاد على السلسلة ، هل يمكننا فصل هذه الخطوات الثلاث تمامًا؟
• ما المقصود بسوق منتج الرأس المشترك / منتج الرأس المشترك؟
• من الذي يلتقط قيمة MEV؟ هل يمكن للمستخدم استعادتها؟