طرد Validium؟ أعد فهم Layer2 من منظور مقترح Danksharding

المؤلف: فاوست

المصدر الأصلي: Geek Web3

مقدمة: في الآونة الأخيرة ، أدلى Dankrad Feist ، مبتكر Danksharding والباحث في مؤسسة Ethereum ، ببعض الملاحظات المثيرة للجدل على Twitter. وأشار بوضوح إلى أن blockchain المعياري الذي لا يستخدم ETH كطبقة DA (طبقة توافر البيانات) ليس تراكميًا ، ولا هو Ethereum Layer 2. وفقًا لـ Dankrad ، ستتم "إزالة" كل من Arbitrum Nova و Immutable X و Mantle من قائمة الطبقة الثانية لأنهم يكشفون فقط عن بيانات المعاملات خارج ETH (قاموا ببناء شبكة DA الخاصة بهم خارج السلسلة تسمى DAC).

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-ac929f7198-dd1a6f-1c6801)

في الوقت نفسه ، قال Dankrad أيضًا أن حلولًا مثل Plasmas وقنوات الحالة التي لا تتطلب توفر البيانات على السلسلة (توفر البيانات) لضمان الأمان لا يزال من الطبقة الثانية ، ولكن Validium (ZKRollup الذي لا يستخدم ETH كطبقة DA) ليست الطبقة 2.

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-0ce3c5f806-dd1a6f-1c6801)

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-bca777161e-dd1a6f-1c6801)

بمجرد ظهور ملاحظة دانكراد ، شكك العديد من المؤسسين أو الباحثين في مجال Rollup في ذلك. بعد كل شيء ، هناك العديد من مشاريع "الطبقة الثانية" التي لا تستخدم ETH كطبقة DA (توفر البيانات) من أجل توفير التكاليف. إذا تم إخراج هذه المشاريع من قائمة L2 ، فسوف تؤثر حتماً على الكثير من التوسع الشبكات ؛ في الوقت نفسه ، إذا لم يتم اعتبار validium L2 ، يجب ألا يتم تصنيف البلازما أيضًا على أنها L2.

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

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-b290cc5f31-dd1a6f-1c6801)

من الواضح أن Dankrad تعتزم تحديد ما إذا كان مشروع التوسيع هو Ethereum Layer 2 من "سواء كان آمنًا أم لا". من منظور "الأمان" ، يمكن لـ Validium بالفعل تجميد أصول المستخدم في L2 ولا يمكنه ذكر L1 في الحالة القصوى لفشل جهاز التسلسل + طبقة DA التي تطلق هجوم حجب البيانات (إخفاء بيانات جديدة) ؛ يختلف عن Validium في التصميم ، على الرغم من أن معظم الوقت الذي لا يكون فيه الأمان جيدًا مثل Validium ، ولكن عندما يؤدي فشل جهاز التسلسل + طبقة DA إلى إطلاق هجوم حجب البيانات (إخفاء البيانات الجديدة) ، فإنه يسمح للمستخدمين بإخلاء الأصول بأمان إلى L1. لذا فإن خطاب دانكراد منطقي.

تهدف هذه المقالة إلى البدء من منظور دانكراد وإجراء مزيد من التحليل لتفاصيل الطبقة الثانية لاكتساب فهم متعمق لسبب عدم كون Validium "الطبقة الثانية" بشكل صارم.

كيفية تحديد الطبقة 2؟

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-c1909a7630-dd1a6f-1c6801)

وفقًا لتعريف موقع ethereum.org ومعظم أعضاء مجتمع Ethereum ، فإن الطبقة 2 هي "blockchain مستقل يوسع قدرة Ethereum + يرث أمان Ethereum." بادئ ذي بدء ، يشير "توسيع قدرة Ethereum" إلى تحويل حركة المرور التي لا تستطيع Ethereum تحملها ، ومشاركة ضغط TPS. و "وراثة أمان Ethereum" يمكن ترجمتها في الواقع على أنها "حماية أمنها بمساعدة Ethereum".

على سبيل المثال ، يجب إنهاء جميع المعاملات Tx على Layer 2 على ETH ، ولن يتم تحرير Tx ببيانات غير صحيحة ؛ إذا كنت تريد التراجع عن كتلة الطبقة الثانية ، فيجب عليك أولاً استرجاع كتلة Ethereum ، طالما أن Ethereum إذا لم يكن هناك تراجع عن كتلة مماثل لهجوم 51٪ على شبكة Fangzhu ، فلن يتم التراجع عن كتلة L2.

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

آلية الطبقة الثانية "الانسحاب القسري"

بغض النظر عن عوامل مثل ترقيات عقد L2 / مخاطر خفية متعددة التوقيع ، في الواقع ، مثل Arbitrum أو StarkEx ، هناك مخارج للمستخدمين لضبط عمليات السحب الإلزامية. بافتراض أن مُسلسِل L2 يطلق هجومًا للرقابة ، أو يرفض عمدًا طلب المستخدم / السحب ، أو ببساطة يغلق نهائيًا ، يمكن لمستخدم Arbitrum استدعاء وظيفة إدراج القوة لعقد صندوق الوارد التسلسلي على L1 لإرسال بيانات المعاملة مباشرة إلى L1 ؛ في غضون 24 ساعة ، لم يقم منظم التسلسل بمعالجة المعاملة / السحب التي تتطلب "التضمين الإلزامي" ، وسيتم تضمين المعاملة مباشرة في تسلسل المعاملة في دفتر الأستاذ التراكمي ، مما يؤدي إلى إنشاء "سحب إجباري" لمستخدمي المستوى 2. خروج " .

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-79c577acc4-dd1a6f-1c6801)

بالمقارنة ، فإن حل StarkEx مع آلية Escape Hetch ليس أقل من ذلك. إذا لم يحصل مستخدم L2 على استجابة من جهاز التسلسل عندما ينتهي طلب السحب الإجباري المقدم من L1 خلال نافذة 7 أيام ، يمكن للمستخدم استدعاء وظيفة طلب التجميد لجعل L2 يدخل فترة التجميد. في هذا الوقت ، لن يتمكن جهاز التسلسل L2 من تحديث حالة L2 على L1 ، وسيستغرق الأمر عامًا واحدًا حتى يتم إلغاء تجميد حالة L2 بعد تجميدها.

! [Expel Validium؟ أعد فهم الطبقة 2 من منظور Danksharding المقترح] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-99ced5c37f-dd1a6f-1c6801)

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-58dc51a00d-dd1a6f-1c6801)

بعد تجميد حالة L2 ، يمكن للمستخدم إنشاء Merkle Proof مرتبط بالحالة الحالية لإثبات أن لديه مبلغ XX من الأموال على L2 ، وسحب الأموال من خلال العقد المتعلق بـ Escape Hetch في L1. هذه هي خدمة "السحب الكامل" التي يقدمها برنامج StarkEx. حتى إذا ذهب مشروع L2 وفشل منظم التسلسل بشكل دائم ، فلا يزال لدى المستخدمين طريقة لسحب الأموال من L2.

ولكن هناك مشكلة هنا: معظم L2 الذي يستخدم مخطط StarkEx هو Validium (مثل Immutable X و ApeX) ، ولن ينشر البيانات المطلوبة بواسطة DA إلى ETH ، ويتم تخزين المعلومات الخاصة بإنشاء شجرة حالة L2 الحالية خارج السلسلة. إذا لم يتمكن المستخدم من الحصول على البيانات لإنشاء Merkle Proof خارج السلسلة (على سبيل المثال ، تطلق طبقة DA خارج السلسلة هجوم حجب البيانات) ، فمن المستحيل سحب الأموال من خلال حجرة الهروب.

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-a0b636c384-dd1a6f-1c6801)

حتى الآن ، السبب وراء ذكر Dankrad في بداية المقالة أن Validium ليس آمنًا هو في الواقع واضح جدًا: نظرًا لأن Validium لا يرسل بيانات DA إلى سلسلة مثل Rollup ، فقد لا يتمكن المستخدمون من إنشاء Merkle المطلوب لـ "إجباري" سحب ".

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-0ce3c5f806-dd1a6f-1c6801)

! [Expel Validium؟ أعد فهم الطبقة 2 من منظور Danksharding المقترح] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-308a98ac86-dd1a6f-1c6801)

الفرق بين Validium و Plasma في حالة حدوث هجوم حجب البيانات

في الواقع ، لا ينشر مُسلسِل Validium إلا أحدث Stateroot (جذر شجرة الحالة) لـ L2 على سلسلة L1 ، ثم يقدم إثبات صحة (ZK Proof) لإثبات انتقال الحالة (تغيير صندوق المستخدم) المتضمن في Stateroot الجديد عملية التوليد. ، كلها صحيحة.

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-3ffacc6628-dd1a6f-1c6801)

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-64e0bb6116-dd1a6f-1c6801)

(المصدر: eckoDAO)

ومع ذلك ، لا يمكن لـ stateroot وحده استعادة حالة شجرة العالم في هذه اللحظة ، ولا يمكنه معرفة الحالة المحددة لكل حساب L2 (بما في ذلك رصيد الصندوق) ، ولا يمكن لمستخدمي L2 إنشاء Merkle Proof يتوافق مع Stateroot القانوني الحالي. هذا هو المكان الذي يكون فيه Validium في وضع غير مؤات.

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-0336a6291c-dd1a6f-1c6801)

(Merkle Proof هي في الواقع البيانات المطلوبة في عملية إنشاء الجذر ، وهو الجزء المظلم في الشكل. لإنشاء Merkle Proof المطابق لـ Stateroot ، يجب أن تعرف بنية شجرة الحالة وتحتاج إلى بيانات DA)

هنا يجب أن نؤكد على شيء DAC. ستتم مزامنة البيانات المتضمنة في Validium's DA ، مثل أحدث دفعة من المعاملات التي تمت معالجتها بواسطة جهاز التسلسل ، مع شبكة DA الحصرية من المستوى 2 والتي تسمى لجنة توافر البيانات (DAC). ويكون أعضاء المجتمع أو الوحدات الأخرى مسؤولين عن التشغيل والإشراف ( لكن هذا ظاهريًا فقط ، في الواقع ، من الصعب على العالم الخارجي التحقق من هوية أعضاء DAC).

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-574137c0bc-dd1a6f-1c6801)

الأمر المثير للاهتمام هو أن أعضاء Validium's DAC بحاجة إلى تقديم توقيعات متعددة بشكل متكرر في L1 لإثبات أن Stateroot و Validity Proof المقدمين من جهاز التسلسل L2 في L1 يمكن أن يتطابق مع بيانات DA التي تمت مزامنتها بواسطة DAC. بعد تقديم DAC متعدد التوقيعات ، سيتم اعتبار إثبات Stateroot و Validity Pro الجديد قانونيًا.

! [Expel Validium؟ أعد فهم الطبقة 2 من منظور Danksharding المقترح] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-fc046bd338-dd1a6f-1c6801)

في الوقت الحاضر ، تعتمد DAC لـ Immutable X علامات متعددة 5/7. على الرغم من أن dYdX عبارة عن ZKRollup ، إلا أنها تحتوي أيضًا على DAC ، والتي تستخدم 1/2 متعدد سيج. (لا تنشر dYdX سوى اختلاف الحالة في L1 ، أي تغييرات الحالة ، وليس بيانات المعاملة الكاملة. ومع ذلك ، بعد الحصول على اختلاف الحالة في السجلات التاريخية ، يمكن استعادة رصيد الأصول لجميع عناوين L2 ، ويمكن إنشاء Merkle Proof في هذه المرة الانسحاب بالكامل).

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-0ce3c5f806-dd1a6f-1c6801)

لدى دانكراد وجهة نظر. إذا تآمر أعضاء DAC في Validium على إطلاق هجوم حجب البيانات ، ومنع عقد L2 الأخرى من مزامنة أحدث البيانات في الوقت الحالي ، وتحديث Stateroot القانوني لـ L2 في الوقت الحالي ، فلن يتمكن المستخدم من إنشاء Merkle Proof المطابق للجذر القانوني في الوقت الحالي لسحب الأموال (نظرًا لعدم توفر بيانات DA ، تتوفر بيانات DA السابقة).

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-9dd4ae68e3-dd1a6f-1c6801)

لكن دانكراد لا يأخذ في الاعتبار سوى التطرف النظري ، ففي الواقع ، ستبث معظم متواليات Validium بيانات المعاملات التي تمت معالجتها حديثًا إلى عقد L2 أخرى في الوقت الفعلي ، بما في ذلك العديد من العقد الصادقة. طالما توجد عقدة واحدة صادقة يمكنها الحصول على بيانات DA في الوقت المناسب ، يمكن للمستخدم الهروب من L2.

من الناحية النظرية ، المشكلة موجودة في Validium ، لكن لماذا لا توجد في البلازما؟ هذا لأن الطريقة التي تحدد بها البلازما Stateroot القانوني تختلف عن Validium ، نظرًا لوجود فترة نافذة لإثبات الاحتيال. البلازما هي حل توسعة L2 قبل OPRollup ، مثل OPR ، فهي تعتمد على إثباتات الاحتيال لضمان أمان L2.

البلازما ، مثل OPR ، لها إعداد فترة نافذة. لن يتم الحكم على stateroot الجديد الذي تم إصداره بواسطة جهاز التسلسل على أنه قانوني على الفور. يجب أن تنتظر حتى يتم إغلاق فترة النافذة ولا تصدر أي عقدة L2 شهادة احتيال. لذلك ، تم تقديم كل من Stateroots القانونية الحالية لـ Plasma و OPR قبل بضعة أيام (هذا مثل ضوء النجوم الذي نراه ، والذي تم إصداره بالفعل منذ وقت طويل) ، ويمكن للمستخدمين غالبًا الحصول على بيانات DA في الماضي.

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-e4bc36476f-dd1a6f-1c6801)

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

ثم كل شيء بسيط: الشرط الأساسي لعمل البلازما بشكل صحيح هو أن تكون بيانات DA الخاصة بـ L2 متاحة في الوقت الحالي. إذا كان L2's DA غير متاح من الآن فصاعدًا ، فهل يمكن للمستخدمين سحب الأموال بأمان؟

هذه المشكلة ليست صعبة التحليل ، بافتراض أن فترة نافذة البلازما هي 7 أيام ، إذا بدأت من نقطة زمنية معينة T 0 ، فلن تكون بيانات DA الجديدة متاحة (تطلق DAC هجوم حجب البيانات لمنع عقد L2 الصادقة من الحصول على T 0 لاحقًا البيانات). نظرًا لأن Stateroot القانوني عند T 0 ولفترة زمنية بعد ذلك تم تقديمه قبل T 0 ، ويمكن تتبع البيانات التاريخية قبل T 0 ، يمكن للمستخدمين إنشاء Merkle Proof لفرض الانسحاب.

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-7530b1d146-dd1a6f-1c6801)

على الرغم من أن العديد من الأشخاص لا يمكنهم اكتشاف الخلل على الفور ، نظرًا لوجود فترة نافذة (OP هي 7 أيام) ، طالما أن Stateroot المقدم في T 0 لم يتم تقنينه ، وبيانات DA قبل T 0 يمكن تتبعها ، يمكن للمستخدمين سحب الأموال بأمان من L2.

لخص

حتى الآن يمكننا فهم الفرق بين Validium و Plasma تقريبًا من حيث الأمان:

بعد إصدار مُسلسِل Validium Stateroot ، طالما أنه يصدر فورًا توقيعًا متعددًا لإثبات الصحة و DAC ، يمكن أن يجعله قانونيًا ويصبح أحدث Stateroot قانوني ؛ إذا واجه المستخدمون وعقد L2 الصادقة هجمات حجب البيانات ، فلن يتمكنوا من إنشاء Merkle المطابق لـ Stateroot القانوني الحالي. دليل على أنه لا يمكنك سحب الأموال إلى L1.

ومع ذلك ، بعد تقديم Plasma Stateroot جديد ، لا يمكن أن يكون قانونيًا حتى نهاية فترة النافذة.في هذا الوقت ، تم تقديم Stateroot القانوني في الماضي. نظرًا لوجود فترة نافذة (ARB هي 3 أيام ، OP هي 7 أيام) ، حتى إذا كانت بيانات DA الخاصة بـ Stateroot المقدمة حديثًا غير متوفرة ، فلا يزال لدى المستخدم بيانات DA الخاصة بـ Stateroot القانوني الحالي (تم تقديم الجذر القانوني في الماضي) ، وهناك وقت كافٍ لفرض الانسحاب إلى L1.

لذا ، فإن ما قاله دانكراد منطقي. عند حدوث هجوم حجب البيانات ، قد تحاصر Validium أصول المستخدم في L2 ، لكن لا توجد هذه المشكلة في Plasma.

(ما قاله Dankrad في الصورة أدناه خاطئ بعض الشيء. يجب ألا تسمح البلازما ببناء Stateroot قانوني قديم يتوافق مع إثبات Merkle لسحب الأموال ، لأن هذا سيؤدي إلى مضاعفة السداد)

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-d9a76f7333-dd1a6f-1c6801)

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

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

لذلك ، في كثير من الأحيان ، يتحدث الناس فقط عن أشياء لم تحدث أبدًا. تمامًا مثل الجملة الذهبية التي قالها نائب رئيس مجلس الإدارة ريك غيرب لبطل الرواية في الدراما الأمريكية "تشيرنوبيل": "لماذا القلق بشأن الأشياء التي لن تحدث أبدًا؟"

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-81eacea097-dd1a6f-1c6801)

! [Expel Validium؟ أعد فهم Layer2 من منظور Danksharding Proper] (https://img-cdn.gateio.im/resized-social/moments-7f230462a9-3853a8e1a2-dd1a6f-1c6801)