jakiro
مقدمة خلفية
في 10 أبريل ، أصدرت A16Z Crypto حلًا صفرًا -صفرًا للتسريع وتبسيط توسيع blockchain.
يدمج Jolt Snark (شهادة معرفة بسيطة غير نشطة) ، والتي تتيح للمطورين إنشاء حلول L2 القائمة على Snark بسرعة.وقال الفريق أيضًا إن Jolt كان أسرع ضعف ZKVMS الحالي.
تعتبر تقنية ZK واحدة من الخطوط الرئيسية للصناعة المشفرة في جميع أنحاء الدورة.تم إطلاق سراح A16Z رسميًا من Jolt في أغسطس من العام الماضي إلى هذا العام ، مما يدل على ذلكلا يزال ZK-Rollup مسار الثلج السميك الطويل.
لدى ZK-Rollup العديد من اللاعبين الذين يدخلون اللعبة ، وقد شكل فئة تقنية أكثر تنقصًا لتمييز الاختلافات بين المشاريع.
لأسباب تاريخية ، تم بناء EVM عدد كبير من التصميمات غير المعقولة. مشاريع ZK-Rollup وتواجه بشكل طبيعي توازن EVM أكثر توافقًا أو أكثر توافقًا مع ZK.
ZKM التي تفرقعها METIS DAO هي من منظور أكثر من المستوى السفلي ، ويقترح حل ZKMIPS عالمي.
يستخدم ZKMIPS تعليمات MIPs أكثر من ذلك لتنفيذ عملية تنفيذ البرنامج لتحويل ZKP. المطورين.
سوف تفسر هذه المقالة بعمق جهود وتقدم Metis على ZK والتسلسل اللامركزي.
ZKM و Hybrid Rollups: الانسجام بين OP و ZK
يمكن أن يحقق Metis الأداء المشرق في السوق.
توفر تقنية ZKMIPS الخاصة بـ ZKM دعمًا قويًا لتوافقات Metis الهجينة ، مما يسمح لـ METIS بتحقيق الانصهار العضوي لـ ZK و EVM.
في Rollups الهجينة ، يشمل الدور الرئيسي:
-
Sequencer: مسؤول عن استلام معاملات المستخدم والتعامل معه ، وتحديد أفضل ترتيب للمعاملات ، ونشرها على طبقات توافر البيانات.
-
المقترحات: تقييم المعاملات وجذور الحالة المقدمة من التسلسل ، المسجلة في سلسلة لجنة الدولة (SCC).
-
التحقق: تحقق من جذر الحالة على سلسلة التدحرج لضمان صحة المعاملة ومنع الاحتيال.
في حل L2 القياسي ، تم جمع التسلسل والتعامل مع المعاملة ، ثم نشر بيانات المعاملة على الشبكة الرئيسية Ethereum (L1).تتطلب هذه العملية L1 للتحقق من البيانات النهائية وتأكيدها لضمان الأمان والاتساق.
>
(المصدر: https://mirror.xyz/msfew.eth/wqjaocfkptozlns8mbqacs4oeproactnlanalvw)
تعتمد Rollups الهجينة طريقة مختلطة أثناء معالجة وتحسين معاملات L2.
1. مبادرة ومعالجة المعاملات:
-
يبدأ المستخدمون المعاملات في L2.
-
تلقى Sequencer هذه المعاملات والتعامل معها لتحديد الطلب في سلسلة التداول القياسية (CTC).
2. تقديم الحالة والتحقق:
-
يقوم المقترحون بتقييم جذر الحالة على SCC بعد المعاملة.
-
يقوم Verifiers بمراجعة جذر الحالة في SCC للتأكد من أنه دقيق.
3. توليد والتحقق من دليل المعرفة الصفري:
-
يقرأ Prover البيانات من L1 ويقوم بإنشاء ZK لإثبات أن هذه هي الميزة الرئيسية للهطوبات الهجينة ، مما يسمح للنظام بالتحقق من فعالية المعاملات دون تسرب محتوى المعاملات المحددة.
-
بمجرد إثبات إنشاء ZK ، إذا لم يتم تقديمه في الوقت المحدد ، فسيبدأ Verifier في عملية إثبات الاحتيال وقد يعاقب المتسلسل.
4. التأكيد النهائي للبيانات والحالة:
-
من خلال العقود الذكية ، بمجرد أن تثبت ZK أنه يتم التحقق منها ، يتم الانتهاء من المعاملة.
-
يتم توصيل L1 و L2 من خلال جسر العقد الذكي لضمان نقل الأمن للأموال والحالة.
يوفر تصميم Rollups المختلط مزايا متعددة مهمة:
-
الكفاءة والتكاليف فوائد: باستخدام ZK يثبت ، يمكن أن تتعامل Rollups الهجينة مع المزيد من المعاملات مع استهلاك غاز أقل.
-
الأمان المحسن: إلى جانب إثبات الاحتيال التقليدي وإثبات ZK ، حتى عند مواجهة السلوكيات الخبيثة المحتملة ، يمكن أن يضمن أمن المعاملات وصحتها.
-
قابلية التوسع: باستخدام دليل متكرر ، يمكن أن تتعامل مع المعاملات الهجينة على نطاق واسع دون التضحية بالأداء ودعم تطبيقات blockchain الأوسع.
-
التوافق والمرونة: دعم العديد من العقود الذكية ولغات البرمجة ، بحيث يمكن للمطورين بسهولة ترحيل التطبيقات الحالية إلى Rollups المختلطة.
تتمثل الفكرة الأساسية لـ ZK في تحويل عملية تنفيذ البرنامج إلى شهادة رياضية يمكن التحقق منها ببساطة ، بحيث يمكن للجميع التحقق من صحة البرنامج بسهولة دون التنفيذ المتكرر للبرنامج الرياضي.
عادةً ما يستخدم المطورون لغات متقدمة لتطوير البرامج ، في حين تستخدم اللغات المختلفة ذات المستوى العالي “حوار” منطقيًا مختلفًا مع الأجهزة.
لذلك ، عادة ما يكون مسار التنفيذ لمشاريع ZK الحالية غير متوافق.قم بالتمرير اكتب مباشرة دوائر لكل رمز تشغيل لـ EVM ، مما يحقق ما يعادل مستوى رمز التشغيل ، والذي يعكس بدقة EVM ، لكنه يجلب كمية هائلة من الهندسة ؛
يقوم Polygon Zkevm بإنشاء VM مخصص بأداء محسّن ، والذي يحول مباشرة رمز EVM إلى رمز البايت لـ VM لتحقيق ما يعادل مستوى رمز التشغيل بشكل أكثر كفاءة.
أنشأت Zksync VM (syncvm) ، وحددت تمثيلها الوسيط (AIR) استنادًا إلى السجل ، ثم قامت ببناء مترجم خاص لجعل Yul (لغة وسيطة يمكن تجميعها في إصدارات مختلفة EVM من الكلمات رمز الرمز هو تعتبر صلابة من المستوى الأدنى) تم تجميعها في LLVM-IR ، ثم تم تجميعها في تعليمات VM مخصصة ، وبالتالي تحقيق توافق على مستوى الصلابة قد يحتاج التحويل بين الجماع أيضًا إلى إعادة الإجراءات ؛
يتخلى StarkNet عن توافق EVM ويستخدم لغته المنخفضة المستفادة (القاهرة) لتشغيل العقد الذكي المخصص VM (القاهرة VM) للحصول على كفاءة ZK الشديدة.
بالمقارنة مع حل المشروع أعلاه ، اختار ZKM طريقًا أكثر تسامحًا: ZKMIPS.
MIPS ، يسمى “المعالجات الدقيقة مع مراحل خط أنابيب متشابكة” ، هي مجموعة تعليمية بسيطة معالجتها الدقيقة ، والتي بدأت في عام 1985.
المبدأ الأساسي لـ MIPS هو تبسيط تعليمات المعالجات الدقيقة المعقدة إلى أشكال الأساس.
في نظام ZKMIPS ، يتم استخدام مجموعة التعليمات هذه لتحقيق تحويل البرنامج إلى ZK.
عملية تنفيذ ZKMIPS هي كما يلي:
-
برنامج التحويل إلى MIPS: أولاً ، يتم تجميع العقود أو البرامج الذكية التي كتبتها لغة البرمجة المتقدمة (مثل الصلابة أو الصدأ) في مجموعات تعليمات MIPS.هذه الخطوة هي تحويل مستويات أعلى من التجريد إلى عمليات محددة يمكن تنفيذها على مستوى الأجهزة.
-
إنشاء دليل ZK: في وقت لاحق ، يتم استخدام تعليمات MIPS هذه لإنشاء دليل على الصفر المقابل.نظرًا للخصائص المبسطة لـ MIPs ، تكون هذه الخطوة أكثر كفاءة في الحوسبة ، والتي يمكن أن تولد دليلًا بشكل أسرع دون التضحية بالأمان.
ميزة ZKMIPS
-
التوافق: لا يدعم ZKMIPS صلابة متوافقة مع EVM فحسب ، بل تدعم أيضًا لغات التطوير السائدة الأخرى مثل الصدأ والتحرك.يتيح ذلك ZKMIPs تقديم مجموعة واسعة من النظم الإيكولوجية لتطوير blockchain ، وبالتالي جلب المزيد من إمكانيات التطبيق.
-
فوائد التكلفة: نظرًا لكفاءة مجموعة تعليمات MIPS ، يمكن لـ ZKMIPs أن تقلل بشكل كبير من تكلفة الحساب عند توليد دليل على الصفر وزيادة الاستدامة الشاملة للنظام.
-
دليل متكرر: يدعم ZKMIPS دليلًا متكررًا على أن البراهين المتعددة يمكنها تجميع وحدة إدارة أكثر سهولة ، وهو أمر مهم للغاية لتحسين قابلية التوسع في النظام.
في الواقع ، تم دمج مزايا MIPs من خلال التفاؤل والمشاريع الأخرى.تتمثل آلية مدفع التفاؤل في تحويل البرامج المنفذة إلى MIPs ، وذلك لتسهيل عملية التنفيذ لإيجاد الأخطاء وإعادة التنفيذ أكثر بساطة وكفاءة عند تحدي عملية التنفيذ.
تابع Metis أيضًا هذا الاتجاه ومدفعًا متكاملًا في نظامه الإيكولوجي ، والذي قام أيضًا بالتحقق من التطبيق العملي وكفاءة تقنية ZKMIPS.
تسلسل اللامركزية: اللامركزية والاستدامة
بالإضافة إلى استخدام الأدوات الهجينة لدمج مزايا OP و ZK ، تم دفع METIS أيضًا بنشاط في هبوط متسلسل اللامركزية لتحديد نتيجة اللامركزية للهدوء.
في نموذج Rollup التقليدي ، على الرغم من أن جهاز التسلسل الواحد يمكنه التعامل بشكل فعال مع المعاملات والبيانات ، إلا أنه يركز أيضًا على القوة العظيمة ، مما قد يؤدي إلى مخاطر متعددة:
-
مخاطر التشغيل: إذا فشل جهاز التسلسل أو يتم هجومه ، فسيتم حظر معالجة المعاملات للنظام بأكمله.
-
مخاطر الفحص: يتمتع المتسلسل بالقدرة على التعامل مع المعاملات أو رفضها بشكل انتقائي ، والتي قد تحد المستخدمين من الوصول إلى بروتوكولات أو خدمات تمويل لا مركزية (DEFI).
-
مخاطر التلاعب: في فرز المعاملات ، قد يعطي التسلسل الأولوية للتعامل مع معاملاتها الخاصة ، والحصول على فوائد غير عادلة عن طريق زيادة تكاليف المعاملات ، أي قيمة الاستخراج القصوى (MEV).
من أجل حل المشكلات المذكورة أعلاه ، صمم Metis تجمع تسلسل لا مركزي ، والذي يتكون من عقد تسلسل متعددة لإكمال تجميع المعاملات وفرزها وتنفيذها بشكل مشترك.يضمن هذا التصميم عدالة وشفافية النظام:
-
آلية الإجماع: يجب أن تصل أكثر من ثلثي عقدة التسلسل إلى إجماع على حالة كل كتلة جديدة ، ثم إرسال دفعة المعاملة إلى الشبكة الرئيسية من Ethereum (L1).
-
توقيع حساب متعدد الحملات (MPC): قبل تقديم دفعات المعاملة إلى L1 ، يتم التحقق من صحة الدفعة بواسطة توقيع MPC للتأكد من صحة البيانات.
ميزة تسلسل اللامركزية:
-
الأمان المحسن: من خلال القرار المشترك -اتخاذ قرارات اتخاذ القرارات المتعددة ، تم تقليل خطر فشل نقطة واحدة ، وتم زيادة متانة وأمن الشبكة.
-
إمكانية الحد من الرقابة والتلاعب: إن وجود جهاز تسلسل متعدد يجعل من الصعب على عقدة واحدة التلاعب أو مراجعة المعاملات ، وحماية حرية معامل المستخدمين.
-
الاستقرار والزائد: يدعم النظام الدوران السلس للمستلزم ، ويقلل من تأثيرات الأعطال أو الانقطاعات ، وتحسين استقرار الشبكة بأكملها.
في نموذج تسلسل Metis اللامركزي ، تتكون كل عقدة من عدة مكونات رئيسية:
-
L2 Geth (بما في ذلك العقد العقد): مسؤول عن التداول الفرز وتجميع الكتلة.
-
وحدة المحول: الوسطاء الذين يتفاعلون مع الوحدات الخارجية الأخرى (العقد بشكل رئيسي POS).
-
Proposer (Proposer): مسؤول عن بناء دفعات المعاملات وتقديمها إلى L1 بعد تلقي التعرف على متسلسل متعدد.
-
عقدة نقاط البيع: التنسيق بين Ethereum و Essensus و Metis Layer لضمان قفل الأمان والتحقق من الأصول.
-
طبقة الإجماع: بما في ذلك مجموعة من العقد الأوتار التي تعمل بالتوازي مع الشبكة الرئيسية Ethereum لضمان كفاءة التشغيل وعدم إعاقة عملية الشبكة الرئيسية.
>
(المصدر: https://ethreesear.ch/t/pos- sequencer-decentralizing-an- optimistic-rollup/16760))))))))))))
من خلال هذا التصميم ، لا يحسن تجمع Metis اللامركي فقط من الإنصاف والشفافية في معالجة المعاملات ، ولكنه يعزز أيضًا أمن الشبكة من خلال القوة اللامركزية.
ملخص والتوقعات
خلقت مزايا METIS في التكنولوجيا والمفاهيم أساسًا متينًا لمزيد من التطوير للمستقبل.من المتوقع أن تحل قوائمها الهجينة المستندة إلى ZKMIPS التوافق مع ZK-Rollup ، وقد جلبت دائمًا إيكولوجيا المطورين أكثر تنوعًا ؛
يوضح تقدم المتسلسل اللامركزي رؤية السعي وراء الفريق اللامركزية.مع النضج المستمر لبيئة Metis ، لدينا سبب للاعتقاد بأن Metis سيصبح يدير باستمرار الخيول المظلمة في مسابقة L2 المستقبلية ، مما يخلق دفقًا ثابتًا من القيمة للمستخدمين والمطورين.
