إعادة توجيه العنوان الأصلي: تفريغ الجيل التالي من Ethereum L2s (III): Native Rollups

على مدى العامين الماضيين ، ارتكبت إثيريوم بالكامل إلى خارطة طريق متمحورة حول المجموعات. تنطوي هذه الاستراتيجية على قفل ETH في عقود الجسر ، وتنفيذ المعاملات خارج السلسلة ، واستخدام البراهين - إما براهين الاحتيال أو براهين المعرفة الصفرية (ZKPs) - للتحقق من حالة الطبقة 2 (L2) ومعالجة السحب.

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

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

في سلسلتنا السابقة، استكشفنا مجموعات مجموعات ومجموعات المعززة. الآن، نحن نولي اهتمامنا للغوص بعمق في مفهوم المجموعات الأصلية.

بناء، معزز، أصلي... ما الفرق؟

يمكن أن يكون هناك الكثير من الالتباس بين تعريفات مجموعات التراص الأساسية ومجموعات التراص المعززة ومجموعات التراص الأصلية. في السلسلة السابقة، قمنا بالفعل بشرح مجموعات التراص الأساسية ومجموعات التراص المعززة، لذا يُوصَى بالتحقق من ذلك قبل قراءة هذه المقالة. ومع ذلك، سنذكرك بسرعة بشأن هذه الأنواع الثلاث.

تستخدم مجموعات Ethereum الأساسية مجموعة المحققين L1 لترتيب المعاملات، مما يعزز اللامركزية ولكنه قد يؤثر على الإنتاجية بسبب أوقات الكتل L1 النسبياً الطويلة، مثل 12 ثانية. ومع ذلك، تبذل جهود لتحسين هذه الخبرة من خلال تقنيات ما قبل التأكيد، مما يسمح للمستخدمين بالاستفادة من تأكيد المعاملات بشكل أسرع بكثير حيث تواصل المجتمع الابتكار.

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

تستفيد المجموعات الأصلية من وظيفة الانتقال الحالة الخاصة بالطبقة التطبيقية L1 كمُدقق لانتقالات الحالة. ومع ذلك، بينما تعمل التفاؤل وأربيتروم والمجموعات الأخرى في بيئات معادلة لـ EVM، فإنها غالبًا ما تشمل تعديلات مخصصة يمكن أن تكون معقدة — أو حتى غير قابلة للتنفيذ — بشكل مباشر على إثيريوم.

المجموعات الأصلية، المعروفة سابقًا باسم المجموعات الموطدة، تم مناقشتها بتفصيل في مختلف الكتابات. أيضًا، تم استخدام مصطلح "المجموعة الكانونية" بشكل موجز @apolynya. ومع ذلك، تم استبدال "المحفورة" في النهاية بـ "الأصلية" للإشارة إلى أن مجموعات العقدة القائمة بالفعل يمكن أن ترقى بالإمكان إلى هذا النموذج. اقترح مصطلح "الأصلية" من قبل @danrobinsonومساهم مجهول من Lido.

كيف تعمل المجموعات الأصلية؟

يقدم اقتراح مجموعة التحديثات الأصلي التحويل البرمجي المسبق EXECUTE ، المصمم ليكون بمثابة مدقق لانتقالات حالة التراكم. سيسمح هذا التجميع المسبق لفرق التجميع باستخدامه ضمن عقود المدقق الخاصة بهم ، مما يوفر قاعدة لأنظمة الإثبات وتمكين عمليات التجميع من وراثة التحقق الأصلي من Ethereum.

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

وظائف EXECUTE precompile تعمل كمحقق للتحولات الحالة EVM ، مما يتيح لـ rollups استخدام البنية التحتية الأصلية لـ Ethereum على طبقة التطبيق. يقوم بالتحقق من التحولات باستخدام مدخلات مثل pre_state_root و post_state_root و trace و gas_used ، باستفادة من آلية تسعير الغاز مشابهة لـ EIP-1559.

يمكن للمحققين فرض صحة تحولات حالة الرول أب إما عن طريق إعادة التنفيذ أو إثباتات SNARK ، اعتمادًا على احتياجات قابلية التوسع للرول أب. بالإضافة إلى ذلك ، يتم دمج تأخير بفتحة واحدة للتخفيف من مخاطر التمركز ، مثل منافسة إثبات تعامل القيمة المؤثرة بوساطة الإثبات.

التجهيز المسبق يبسط تطوير المجموعات عن طريق تمكين 'المجموعات بدون ثقة' من حيث أنظمة البرهان. إذا تم الجمع بين تصميم 'المجموعات الأساسية'، حيث يتم إدارة كل من تسلسل وأنظمة البرهان بواسطة إثيريوم، يمكن أن تحقق هذه الهيكلية الثقة الكاملة، والتي تُشار إليها في كثير من الأحيان بـ 'المجموعة بالموجات فوق الصوتية'. يعزز القدرة على التراكب مع إمكانية التسوية في الوقت الحقيقي، مما يشجع على تصميمات المجموعات المركبة والآمنة أكثر.

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

اختيار مدقق مشابه لـ EVM على مدققات zk يعود إلى نضوج ZK التكنولوجيا الحالي. حتى استخدام zkVMs بشكل واسع أظهرت ثغرات، وتطور ZKPs السريع يجعل تضمين مدققات zk محددة في السلسلة محفوفة بالمخاطر وغير مرنة. يعطي Ethereum الأولوية بدلاً من ذلك للتنوع والحيادية، مما يتيح التجربة مع مختلف zk-clients دون تقييد في مدقق واحد.

ومع ذلك، لا يعني ذلك أن الإعداد المسبق يفشل في المساهمة في قابلية توسع إثيريوم. بينما يضمن إثيريوم أمانه بالاحتفاظ بمحققي zk-proof خارج السلسلة، يستفيد من هذا الإعداد المسبق للتحقق من zk-proofs المقدمة بواسطة مجموعات. يتيح هذا لمحققي إثيريوم تجنب تقليد جميع معاملات مجموعات البداية إلى النهاية. بدلاً من ذلك، من خلال الاعتماد على zk-proofs خارج السلسلة، يحافظ الشبكة على كفالاتها الأمنية مع السعي لتحقيق القابلية للتوسع من حيث التنفيذ.

ما هي الفوائد الرئيسية للمجموعات الأصلية؟

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

التحقق من SNARK على السلسلة مكلف، لذا يتوقف العديد من zk-rollups عن تسوية المعاملات بشكل أقل بشكل أقل لتوفير التكاليف. يمكن أن يساعد precompile EXECUTE في تقليل هذه التكاليف من خلال تجميع عدة دلائل معًا باستخدام SNARK recursion. يتيح هذا النهج للمجموعات تحقق المعاملات بشكل أكثر كفاءة، مما يجعل التحقق غير المركزي أكثر توفرًا.

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

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

بالنسبة إلى zk-rollups ، يعد تحقيق أوقات إثبات منخفضة للغاية ، مثل 100 مللي ثانية ، مهمة هندسية صعبة للغاية. بالمقارنة ، يمكن أن تسمح عمليات التجميع الأصلية بجدول إثبات أكثر "استرخاء" ، وتمديده إلى فتحة واحدة كاملة. يقلل هذا النهج من الضغط لإنشاء البراهين على الفور ، مما قد يؤدي إلى تحسين الموثوقية والتكامل مع L1.

هل ستكون جميع المجموعات الجانبية أصلية؟

جميع مجموعات الرولاب الحالية، مثل مجموعة OP ومجموعة Arbitrum Orbit، لديها القدرة على التحول إلى "مجموعات أصلية"، مستمدة مباشرة من ميزات أمان إثيريوم. سيجعل هذا الترقية المستخدمين أكثر سعادة بسبب تعزيز الأمان ويزيد من رضا فرق الرولاب من خلال القضاء على الحاجة لمجالس الأمان. وفي الوقت نفسه، يمكن لفرق الرولاب أن تواصل المنافسة من خلال تقديم طبقة تسلسل مشتركة فعالة، مع الاحتفاظ برسوم المتسلسل وتعظيم MEV.

ومع ذلك، لن يتحول كل مجموعة إلى أن تكون طبيعية. بعض الميزات من الطبقة 2 غير متوافقة بشكل طبيعي مع مجموعات الطبقة 2 الطبيعية، بما في ذلك أنواع المعاملات الفريدة، وطرق محاسبة الغاز المتميزة، والمسبقة لم يتم العثور عليها في سلسلة الكتل الرئيسية L1. تنوع الماكينات الافتراضية بين مجموعات الطبقة 2، والتي تشترك جميعها في أساس أمان مشترك، هو أحد نقاط قوة بيئة L2 الحالية، مثل@EclipseFNDكونها SVM مجموعة فرعية, @movementlabsxyzكونها Rollup لـ MoveVM، أو @Starknetكونها مجموعة CairoVM.

كما لاحظت من قبل @doganeth_enفي المستقبل، ستنقسم مجموعات المجموعة إلى ثلاث فئات: مجموعات المؤسسات ومجموعات متوجهة للأداء ومجموعات أصلية "متوازنة".

ستركز الشركات على إدارة وتسلسل وامتلاك لفاتها الزمنية، مما يعد مثاليًا للشركات التي ترغب في الحصول على السيطرة التي تشبه واجهة الويب 2 على ترتيب المعاملات وتنفيذها وتطبيقاتها.

المجموعات المركزة على الأداء ستستخدم التسوية في إثيريوم ولكنها ستعتمد على توفر بيانات بديلة للحصول على أفضل أداء، مثل @megaeth_labsيستخدم@eigen_daلتوفير البيانات. أقل تركيزاً للتفcentralized، تعزز هذه المجموعات$ETHالفائدة ولكن التنازل عن بعض ميزات إثيريوم.

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

استنتاج

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

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

ومع ذلك، تقدم المجموعات الأصلية مساراً مقنعاً لدمج أمان إثيريوم ومرونته مع تصميم المجموعة. من خلال تعزيز التوافق مع L1، يشجعون على الابتكار مع تقليل التشظي وجعل نظام الإيثيريوم أكثر اتساقاً ومرونة للمستقبل.

إذا لم تفعل بالفعل، تأكد من التحققالجزء الأولوالجزء الثانيمن سلسلة Rollups 2.0 لدينا التي تركز على ال Rollups المستندة إلى وال Rollups المعززة على التوالي. في مقالتنا التالية، سنعمق في مفهوم Rollups gigagas ونستكشف كيف يمكن لهذا النهج المبتكر لتصميم ال Rollup دفع حدود قابلية توسع Ethereum وتعزيز بيئة ال Rollup بشكل أكبر.

تنصل:

1. تمت إعادة طبع هذه المقالة من[2077 بحوثإلى الأمام عنوان الأصلي: فك تشفير الجيل القادم من إثيريوم L2s (III): مجموعات Native. جميع حقوق الطبع والنشر تنتمي إلى الكاتب الأصلي2077 البحث]. إذا كانت هناك اعتراضات على هذه النسخة المعادة، يرجى التواصل مع بوابة تعلمالفريق، وسوف يتعاملون به بسرعة.
2. إخلاء المسؤولية عن المسؤولية: الآراء والآراء المعبر عنها في هذه المقالة هي فقط تلك التي يعبر عنها المؤلف ولا تشكل أي نصيحة استثمارية.
3. يتم إجراء ترجمة المقال إلى لغات أخرى من قبل فريق تعلم جيت. يُمنع نسخ أو توزيع أو الاقتباس من المقالات المترجمة ما لم يُذكر.