المؤلف: HaoTian، محلل العملات المشفرة، المصدر: X (تويتر الأصلي) @tmel0211
انقر لقراءة: الدور الأساسي لتوفر البيانات في Layer2
بعد تعميم توفر البيانات، لا بد أنك تتساءل عن العلاقة بين توفر البيانات ومتوافق مع EVM. اسمحوا لي أولاً أن أوضح نقطة: كلما زاد توافق EVM، زادت درجة تكامل توفر البيانات مع Ethereum. **
لماذا ؟ يجب أن يلاحظ الأصدقاء الحذرون أن zkSync، وكلاهما من حلول ZK-Rollup، يمكنه فقط تحميل شهادة نقل الحالة المختلفة إلى Ethereum، بينما يمكن لـ Linea تحميل جميع البيانات إلى الشبكة الرئيسية. قد تكمن الإجابة في توافق EVM.
سابقًا، كتب @VitalikButerin مقالًا عن "الأنواع المختلفة لـ ZK-EVMs"، والذي أود مراجعته معك. كما هو موضح في الشكل أدناه، يقسم Vitalik توافق حلول ZK المختلفة مع Ethereum إلى 5 مستويات:
المستوى الأول مكافئ تمامًا لـ Ethereum ولن يغير أي مكونات في نظام Ethereum، منطق التجزئة وشجرة الحالة والتجميع المسبق والمنطق الآخر هو نفسه تقريبًا، على سبيل المثال، Taiko وScroll جميعهما يستهدفان هذا؛
المستوى الثاني يعادل نظام الآلة الافتراضية EVM، مع بعض الاختلافات فقط في هياكل البيانات مثل بنية الكتلة وشجرة الحالة، مثل Polygono zkEVM؛
المستوى الثالث يعادل تقريبًا الجهاز الظاهري EVM ويمكن أن يكون متوافقًا مع معظم التطبيقات، ومن أجل اختصار وقت الإثبات، لم يتم تقديم سوى بعض التضحيات، مثل: Scroll، Polygon zkEVM؛
المستوى الرابع، يستخدم لغة ذات مستوى أعلى للبرمجة، ثم يمر عبر طبقة تحويل المترجم، فقط لوقت إثبات سريع، مثل: zkSync وStarknet.
كيف نفهم الاختلافات بين العديد من أجهزة ZK-EVM بطريقة شائعة؟ كنظام سلسلة عامة ناضج، يعتبر جهاز EVM الافتراضي الخاص بـ Ethereum ولغة برمجة Solidity وهياكل البيانات الأخرى معيارًا قياسيًا. إذا قام المطور ببناء ZK-EVM، كلما زاد توافق إعادة استخدام مكونات نظام Ethereum. وكلما اقترب من المستوى 1.
لفهم العكس، لماذا يحتاج zkSync وStarknet إلى تطوير لغتهم الخاصة ومترجمهم لتحويلها، ليس لأن سرعة الاعتماد على مكونات Ethereum الخاصة لإنشاء إثباتات منخفضة جدًا ولا يمكنها تلبية الطلب. إذا كانت الطبقة السفلية من Ethereum تدعم إثبات SNARK يومًا ما، فإن هذه الطبقة الثانية تحتاج فقط إلى تلقي المعاملات دفعة واحدة، وتعبئتها وإرسالها إلى Ethereum، فلماذا تهتم بتشغيل طبقة تنفيذ مكافئة لـ EVM بنفسك؟
الآن بعد أن فهمت المستوى المتوافق مع EVM، دعنا نفكر في علاقته بتوفر البيانات؟ ستجد قاعدة، كلما زاد توافق Etherum أو EVM، زادت درجة توفر البيانات التي يمكن تحقيقها، ببساطة افهم، إذا كنت تريد أن يقوم Ethereum بعمل DA لك، فيجب أن تكون متوافقًا للغاية معه.
لقد قمت بتلخيص طرق تنفيذ توفر بيانات الطبقة الثانية تقريبًا، والتي يمكن تقسيمها تقريبًا إلى خمس فئات:
يتم تحميل جميع البيانات الأساسية إلى Ethereum، ويتم استخدام Ethereum كطبقة DA، على سبيل المثال: Arbitrum، وOptimism، وBase، وLinea
يتم فقط تحميل إثبات انتقال الحالة المختلفة إلى Ethereum، ويتم توفير جميع البيانات التاريخية بواسطة الطبقة 2 نفسها، على سبيل المثال: zkSync، Starknet
يتم توفير خدمات DA من خلال شبكة الإجماع القوية الحصرية الخاصة بالطبقة الثانية، مثل Polygon zkEVM
يتم توفير DA من خلال شبكة تخزين موزعة تتمتع بإجماع قوي من طرف ثالث، مثل IPFS، على سبيل المثال: Metis
يتم توفير DA من قبل مزود خدمة سلسلة عامة تابع لجهة خارجية متخصص في بناء DA المعياري، على سبيل المثال: Mantle
توفر الطبقة 2 خدمات DA مستقلة، على سبيل المثال: Abitrum Nova، وApex، وImmutableX
يشير التصنيف أعلاه إلى تحليل بيانات L2BEAT، ويتم تحديد توفر البيانات على منصة تحليل البيانات على أنها (On-chain، On-chain (SD)، External، External (DAC)، Optimism (MEMO)، إلخ.)
ولتصنيفها على أساس توفر البيانات، من 1 إلى 6، ويتناقص الاعتماد على الإيثريوم تدريجيًا، يضعف الإجماع الأمني أيضًا تدريجيًا. نظرًا لأن الإجماع الأمني هو مفهوم غامض نسبيًا، فإن مجرد استخدام درجة تكامل مشاركة Ethereum في DA كمعيار لقوة الإجماع لا يعني أنه من غير الآمن بالضرورة أن تعتمد الطبقة الثانية على DA لجهة خارجية لتوفيرها. الإجماع أو تشغيل طبقة DA بشكل مستقل.
لخص
لقد وجدنا أن OP-Rollup مثل Arbitrum وOptimism تتمتع بدرجة عالية من التطبيق في Ethereum DA. والسبب بسيط للغاية. OP-Rollup وEVM متوافقان بشكل كبير بشكل طبيعي. إنهما يحتاجان فقط إلى تشغيل Sequencer بشكل جيد ومعالجة المعاملات. يتم تشغيله محليًا، والتحقق من المفاتيح والتحدي اللاحق يعتمد جميعها على نظام Ethereum.
يمكن لـ Linea، التي تعد جزءًا من تشكيلة ZK-Rollup، تحميل جميع البيانات الأساسية إلى Ethereum، ولم أر تفسيرًا رسميًا، ولكن أعتقد أن السبب في ذلك هو أن EVM الخاص بـ Linea متوافق للغاية، لذا يمكن لـ Linea إعادة استخدام تخزين وعقد Ethereum. التنفيذ، وما إلى ذلك. للمساعدة في عملية إصدار الشهادات؟ ومع ذلك، لا يمكن لـ zkSync الاعتماد إلا على نظام Prove الخاص بها لإنشاء البراهين. إذا قام zkSync أيضًا بتوصيل جميع البيانات إلى Ethereum، فلن تتمكن عقود التجميع اللاحقة من التحقق من صحة البراهين الخاصة بها.
أخيرًا، هل لاحظت أن Polygon ZK-EVM يستخدم شبكة Polygon Validium L1 الخاصة به كطبقة إجماع؟ كمنافس لـ Ethereum، فإن نظام إجماع التحقق L1 الخاص بـ Polygon قوي جدًا أيضًا، والحد الأقصى لسعة التخزين الخاصة به أفضل بكثير من Ethereum. بالطبع ليست هناك مشكلة في استخدام L1 الخاص بك كـ DA. ومع ذلك، قام Polygon zkEVM أخيرًا بمزامنة إثبات انتقال الحالة مع Ethereum، في الواقع، هذا غير ضروري تمامًا، لكنه لا يضر بفرض ضريبة على Ethereum للحصول على إجماع بيئي وأمني أقوى.
بعد قولي هذا، يجب أن تفهم سبب عمل Scroll وTaiko بجد على تقارب EVM، لأنه كلما زاد تقارب EVM، كلما كان من المناسب لـ DA استخدام Ethereum، وسوف يتوافق أيضًا مع طبقة Ethereum الأضيق. 2 تعريف. فقط تخيل، إذا كان حل الطبقة الثانية من الإيثريوم، وجمع المعاملات، وتوافر البيانات، وقابلية التشغيل البيني، وما إلى ذلك يعتمد جميعها على الطبقة الثانية والحلول المعيارية الأخرى التابعة لجهات خارجية، ويقوم فقط بمزامنة البيانات مع الإيثريوم للحصول على سجل، فهل هذا ضروري؟
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
توافق EVM وتوافر البيانات: ما سبب أهميتها؟
المؤلف: HaoTian، محلل العملات المشفرة، المصدر: X (تويتر الأصلي) @tmel0211
انقر لقراءة: الدور الأساسي لتوفر البيانات في Layer2
بعد تعميم توفر البيانات، لا بد أنك تتساءل عن العلاقة بين توفر البيانات ومتوافق مع EVM. اسمحوا لي أولاً أن أوضح نقطة: كلما زاد توافق EVM، زادت درجة تكامل توفر البيانات مع Ethereum. **
لماذا ؟ يجب أن يلاحظ الأصدقاء الحذرون أن zkSync، وكلاهما من حلول ZK-Rollup، يمكنه فقط تحميل شهادة نقل الحالة المختلفة إلى Ethereum، بينما يمكن لـ Linea تحميل جميع البيانات إلى الشبكة الرئيسية. قد تكمن الإجابة في توافق EVM.
سابقًا، كتب @VitalikButerin مقالًا عن "الأنواع المختلفة لـ ZK-EVMs"، والذي أود مراجعته معك. كما هو موضح في الشكل أدناه، يقسم Vitalik توافق حلول ZK المختلفة مع Ethereum إلى 5 مستويات:
المستوى الأول مكافئ تمامًا لـ Ethereum ولن يغير أي مكونات في نظام Ethereum، منطق التجزئة وشجرة الحالة والتجميع المسبق والمنطق الآخر هو نفسه تقريبًا، على سبيل المثال، Taiko وScroll جميعهما يستهدفان هذا؛
المستوى الثاني يعادل نظام الآلة الافتراضية EVM، مع بعض الاختلافات فقط في هياكل البيانات مثل بنية الكتلة وشجرة الحالة، مثل Polygono zkEVM؛
المستوى الثالث يعادل تقريبًا الجهاز الظاهري EVM ويمكن أن يكون متوافقًا مع معظم التطبيقات، ومن أجل اختصار وقت الإثبات، لم يتم تقديم سوى بعض التضحيات، مثل: Scroll، Polygon zkEVM؛
المستوى الرابع، يستخدم لغة ذات مستوى أعلى للبرمجة، ثم يمر عبر طبقة تحويل المترجم، فقط لوقت إثبات سريع، مثل: zkSync وStarknet.
كيف نفهم الاختلافات بين العديد من أجهزة ZK-EVM بطريقة شائعة؟ كنظام سلسلة عامة ناضج، يعتبر جهاز EVM الافتراضي الخاص بـ Ethereum ولغة برمجة Solidity وهياكل البيانات الأخرى معيارًا قياسيًا. إذا قام المطور ببناء ZK-EVM، كلما زاد توافق إعادة استخدام مكونات نظام Ethereum. وكلما اقترب من المستوى 1.
لفهم العكس، لماذا يحتاج zkSync وStarknet إلى تطوير لغتهم الخاصة ومترجمهم لتحويلها، ليس لأن سرعة الاعتماد على مكونات Ethereum الخاصة لإنشاء إثباتات منخفضة جدًا ولا يمكنها تلبية الطلب. إذا كانت الطبقة السفلية من Ethereum تدعم إثبات SNARK يومًا ما، فإن هذه الطبقة الثانية تحتاج فقط إلى تلقي المعاملات دفعة واحدة، وتعبئتها وإرسالها إلى Ethereum، فلماذا تهتم بتشغيل طبقة تنفيذ مكافئة لـ EVM بنفسك؟
الآن بعد أن فهمت المستوى المتوافق مع EVM، دعنا نفكر في علاقته بتوفر البيانات؟ ستجد قاعدة، كلما زاد توافق Etherum أو EVM، زادت درجة توفر البيانات التي يمكن تحقيقها، ببساطة افهم، إذا كنت تريد أن يقوم Ethereum بعمل DA لك، فيجب أن تكون متوافقًا للغاية معه.
لقد قمت بتلخيص طرق تنفيذ توفر بيانات الطبقة الثانية تقريبًا، والتي يمكن تقسيمها تقريبًا إلى خمس فئات:
يتم تحميل جميع البيانات الأساسية إلى Ethereum، ويتم استخدام Ethereum كطبقة DA، على سبيل المثال: Arbitrum، وOptimism، وBase، وLinea
يتم فقط تحميل إثبات انتقال الحالة المختلفة إلى Ethereum، ويتم توفير جميع البيانات التاريخية بواسطة الطبقة 2 نفسها، على سبيل المثال: zkSync، Starknet
يتم توفير خدمات DA من خلال شبكة الإجماع القوية الحصرية الخاصة بالطبقة الثانية، مثل Polygon zkEVM
يتم توفير DA من خلال شبكة تخزين موزعة تتمتع بإجماع قوي من طرف ثالث، مثل IPFS، على سبيل المثال: Metis
يتم توفير DA من قبل مزود خدمة سلسلة عامة تابع لجهة خارجية متخصص في بناء DA المعياري، على سبيل المثال: Mantle
توفر الطبقة 2 خدمات DA مستقلة، على سبيل المثال: Abitrum Nova، وApex، وImmutableX
يشير التصنيف أعلاه إلى تحليل بيانات L2BEAT، ويتم تحديد توفر البيانات على منصة تحليل البيانات على أنها (On-chain، On-chain (SD)، External، External (DAC)، Optimism (MEMO)، إلخ.)
ولتصنيفها على أساس توفر البيانات، من 1 إلى 6، ويتناقص الاعتماد على الإيثريوم تدريجيًا، يضعف الإجماع الأمني أيضًا تدريجيًا. نظرًا لأن الإجماع الأمني هو مفهوم غامض نسبيًا، فإن مجرد استخدام درجة تكامل مشاركة Ethereum في DA كمعيار لقوة الإجماع لا يعني أنه من غير الآمن بالضرورة أن تعتمد الطبقة الثانية على DA لجهة خارجية لتوفيرها. الإجماع أو تشغيل طبقة DA بشكل مستقل.
لخص
لقد وجدنا أن OP-Rollup مثل Arbitrum وOptimism تتمتع بدرجة عالية من التطبيق في Ethereum DA. والسبب بسيط للغاية. OP-Rollup وEVM متوافقان بشكل كبير بشكل طبيعي. إنهما يحتاجان فقط إلى تشغيل Sequencer بشكل جيد ومعالجة المعاملات. يتم تشغيله محليًا، والتحقق من المفاتيح والتحدي اللاحق يعتمد جميعها على نظام Ethereum.
يمكن لـ Linea، التي تعد جزءًا من تشكيلة ZK-Rollup، تحميل جميع البيانات الأساسية إلى Ethereum، ولم أر تفسيرًا رسميًا، ولكن أعتقد أن السبب في ذلك هو أن EVM الخاص بـ Linea متوافق للغاية، لذا يمكن لـ Linea إعادة استخدام تخزين وعقد Ethereum. التنفيذ، وما إلى ذلك. للمساعدة في عملية إصدار الشهادات؟ ومع ذلك، لا يمكن لـ zkSync الاعتماد إلا على نظام Prove الخاص بها لإنشاء البراهين. إذا قام zkSync أيضًا بتوصيل جميع البيانات إلى Ethereum، فلن تتمكن عقود التجميع اللاحقة من التحقق من صحة البراهين الخاصة بها.
أخيرًا، هل لاحظت أن Polygon ZK-EVM يستخدم شبكة Polygon Validium L1 الخاصة به كطبقة إجماع؟ كمنافس لـ Ethereum، فإن نظام إجماع التحقق L1 الخاص بـ Polygon قوي جدًا أيضًا، والحد الأقصى لسعة التخزين الخاصة به أفضل بكثير من Ethereum. بالطبع ليست هناك مشكلة في استخدام L1 الخاص بك كـ DA. ومع ذلك، قام Polygon zkEVM أخيرًا بمزامنة إثبات انتقال الحالة مع Ethereum، في الواقع، هذا غير ضروري تمامًا، لكنه لا يضر بفرض ضريبة على Ethereum للحصول على إجماع بيئي وأمني أقوى.
بعد قولي هذا، يجب أن تفهم سبب عمل Scroll وTaiko بجد على تقارب EVM، لأنه كلما زاد تقارب EVM، كلما كان من المناسب لـ DA استخدام Ethereum، وسوف يتوافق أيضًا مع طبقة Ethereum الأضيق. 2 تعريف. فقط تخيل، إذا كان حل الطبقة الثانية من الإيثريوم، وجمع المعاملات، وتوافر البيانات، وقابلية التشغيل البيني، وما إلى ذلك يعتمد جميعها على الطبقة الثانية والحلول المعيارية الأخرى التابعة لجهات خارجية، ويقوم فقط بمزامنة البيانات مع الإيثريوم للحصول على سجل، فهل هذا ضروري؟