jakiro
المصدر: منتدى المضلع ؛
مقدمة
ندعو المجتمع لمناقشة اقتراح لتوصيل Polygon POS بشكل آمن بـ Agglayer باستخدام مدقق المعرفة الصفرية (ZK) للتحقق من آلية إجماع الشبكة ، وبالتالي تحديد نهائيات تسوية الشبكة إلى Agglayer.يعد هذا الإجماع على الإجماع مكملاً للإثبات المتشائم الذي يضمن أمان جميع السلاسل المتصلة بـ Agglayer.لمزيد من المعلومات حول البراهين المتشائمة ، انظر هنا: مقدمة في البراهين المتشائمة 2
سيتم حماية إثبات الإجماع من خلال نظام Plonky3 Proof من خلال SP1 من المختبرات المستجنة ، وهو غرض عام ZKVM الذي يسمح بتنفيذ الصدأ القياسي للثلاثي المعيارية.لمزيد من المعلومات حول التعاون بين مختبرات المضلع والمختبرات المخلصة ، انظر هنا: SP1 المبني على PLONKY3 سيساعد على ضمان السيولة الموحدة 1
هذه الترقية ستجلب فوائد مباشرة:
-
إجمالي السيولة والمستخدمين والحالة من خلال Agglayer لجلب تأثيرات أكبر على الشبكة للمستخدمين والمطورين ؛
-
تجربة جسر تمت ترقيتها بما في ذلك عمليات نقل الرمز المميز بدون إذن.
خلفية
قبل عام ، بدأ المجتمع في مناقشة اقتراح من شأنه أن يجعل Polygon POS A ZKEVM Validium ، وبالتالي ترقية الشبكة إلى L2 مدعوم من ZK.هذا لا يزال الهدف طويل الأجل للحالة النهائية من Polygon POS.يعتمد التحدي المتمثل في تحقيق ذلك إلى حد كبير على الالتزام بالحفاظ على Polygon POS منخفضة التكلفة ، وروح Ethereum لخدمة الجميع.
تمكنت ZKEVM Type 1 ZKEVM لترقية Polygon POS إلى ZK L2 من إثبات كتل Ethereum الموجودة بتكلفة منخفضة.بالنسبة لتطبيقات Polygon POS ، فإن السؤال الآن هو كيفية القيام بذلك على نطاق واسع.
في الوقت الحالي ، إذا كانت هذه المناقشة مفيدة وتم قبول النقاط اللاحقة من قبل المجتمع ، فستكون الترقية خطوة وسيطة لتصبح ZK L2 كاملة.سيوفر توصيل Polygon POS بـ Agglayer فوائد جسر موحد مع الاستمرار في القدرة على الاعتماد على الأمان المتصلب الذي توفره مجموعة المدقق.
التفاصيل الفنية
إذا كانت مناقشات المجتمع تدور حول هذا الاقتراح ، فإن PIPs أو PIPs في المستقبل ستوفر المواصفات الفنية المناسبة.ومع ذلك ، من المستوى العالي ، تتطلب هذه الترقية ما يلي على الأقل:
-
إثبات الإجماع:سيتم نشر عقد التحقق الجديد من إجماع على Ethereum.سيتمكن هذا العقد من التحقق مما إذا كان Polygon POS قد وصل إلى توافق في الآراء وما إذا كان أي انسحاب يفي بالمعايير المنصوص عليها في منطق الإثبات المتشائم.يتم إنشاء اقتراح لإضافته إلى قائمة عقود التحقق المتاحة للجسر الموحد.(انظر السؤال العملي أدناه للحصول على اعتبارات إضافية حول هذا الموضوع.)
-
تنفيذ الجسر:سيتم نشر عقد الجسر الموحد على Polygon POS.
-
بوابة POS:سيتم ترقية الرموز المميزة الموجودة في POS Portal Bridge لاستخدام الجسر الموحد ، وسيتم تدمير الملكية ، مما يلغي التحكم متعدد التوقيع على هذه الرموز.
-
دور الشبكة:سيتطلب استخدام تصميم إثبات الإجماع للاستقرار إلى Agglayer بعض الكيانات لتقديم المعلومات المطلوبة.(انظر السؤال العملي أدناه للحصول على اعتبارات إضافية حول هذا الموضوع.)
يتغير العميل
لا توجد تغييرات كبيرة في العميل لإكمال هذه الترقية.في حين أن الترقية إلى Heimdall V2 قد تخضع لتحسينات مستقبلية ، فإن هذا ليس ضروريًا للنشر الأولي.
تغييرات الجسر
لا يتطلب إكمال هذه الترقية تغيير آلية stateync التي تدعم جسر Fxportal أو Plasma.أيضًا:
-
سيتم نشر الجسر الموحد كجسر جديد مستقل.
-
سيتم ترقية الرموز التي تستخدم رسم خرائط بوابة نقاط البيع لاستخدام الجسر الموحد بدلاً من FxPortal ، وسيتم إهمال بوابة POS.
الجدول الزمني
إذا كانت نتائج هذه المناقشة مرضية ، فسيتم إصدار PIP الرسمي.تتمثل التبعية الرئيسية في إكمال التنفيذ الجاهز للإنتاج للبراهين المتشائمة ، والتي من المتوقع أن تكتمل في منتصف الصيف.بمجرد الانتهاء ، سيتم إصدار PIP الرسمي ، على الأرجح الانتهاء في الخريف.بعد هذا الجدول ، على افتراض أن المجتمع يقبل ، قد يتم ربط Polygon POS بـ Agglayer بحلول نهاية عام 2024.
وفي الوقت نفسه ، يتوقع المهندسون الأساسيون في Polygon POS نشر شوكة أحمد آباد القادمة في يوليو ، ومن المتوقع إطلاق Heimdall V2 في وقت لاحق.حاليا ، لا ترقية هي التبعية التي تربط Polygon POS إلى Agglayer.ومع ذلك ، هناك طريقة أخرى لتنفيذ إثبات الإجماع الذي يتطلب تغييرات أعمق على Heimdall.
مشاكل عملية
إثبات الإجماع القائم على التوقيع
يوضح هذا الاقتراح الإجماع على استخدام Polygon Plonky3 لتمثيل Polygon POS ، حيث يوفر SP1 ZKVM مزايا الصدأ وسرعة المطور.بشكل عام ، فإن هدف إثبات الإجماع هو تمثيل سلسلة السلسلة المحلية.يمكن أيضًا القيام بذلك عن طريق تعديل Heimdall لاستخدام طرق توقيع مختلفة.
على سبيل المثال ، إذا تم استخدام توقيع عتبة BLS أو ICE-FROST أثناء الإجماع ، فقد يمثل التوقيع الفردي إجماع Agglayer.تتمثل إحدى فائدة هذا النهج في بساطته: يمكن إضافة التواصل بين Polygon POS و Agglayer كمهمة إلى Heimdall ، وهي نفس العملية التي تتمثل في تقديم نقطة تفتيش إلى L1.
العيب المحتمل هو أن هذا النهج يتطلب تغييرات أعمق على آلية الإجماع للشبكة ، والتي قد تمتد وقت التطوير.سيؤدي هذا التصميم إلى القضاء على الحاجة إلى أدوار شبكة جديدة.
أدوار الشبكة التي تتواصل مع Agglayer
من أجل أن تتصل Polygon POS بـ Agglayer باستخدام إثبات الإجماع على الاتفاق ، يلزم دور جديد.سيكون هذا الدور مسؤولاً عن تقديم المعلومات التالية إلى Agglayer:
-
حالة الجسر المحلي للشبكة ؛
-
إثبات الإجماع.
كيف ومن الذي يؤدي هذه الوظيفة هو مجال التحقيق النشط.على مستوى عالٍ ، يفكر باحثو البروتوكول في واحدة مما يلي:
-
السماح بعناوين القائمة بأداء هذا الدور أولاً ، بهدف جعل مكدس Agglayer خاليًا من الأذونات بعد أن تتاح له فرصة تصلبه ؛
-
لا يتطلب الدور على الفور إذنًا ، وفي هذه الحالة سيؤدي المشاركون في الشبكة هذه الوظيفة في مقابل بعض المكافآت التي لم يتم تحديدها بعد.إذا كان هذا هو الخيار المفضل وليس هناك أي مشكلات أمان أخرى ، فأنت بحاجة إلى تحديد آلية مشارك الشبكة هذا ؛
لخص
مع أكثر من 400 مليون عنوان فريد من نوعها ، أكثر من ملياري دولار من الأصول التي تم سدها من Ethereum ، وعشرات الآلاف من التطبيقات ، لا يزال Polygon POS واحدًا من أكثر الحلقات استخدامًا في العالم.يحب المستخدمون والمطورين ذلك لأنه يحتوي على مجتمع قوي ، وتأثيرات الشبكة ورسوم منخفضة للجميع ، وغالبًا ما تكون هناك عدة أوامر ذات حجم أقل من Ethereum L2 الشهير.
يركز المطورون الأساسيون لمختبرات Polygon على البحث وتطوير تقنية توسيع Ethereum لسنوات عديدة ؛على مر السنين ، توصلوا إلى استنتاجين: تقنية ZK هي الطريقة العملية الوحيدة لتنفيذ الحوسبة خارج السلسلة التي يمكن التحقق منها ، والتجميع هو الطريقة الوحيدة لتحقيق قابلية التشغيل البيني المتعددة دون التضحية بالسيادة السلسلة.
تستند الجهود المشتركة بين المختبرات المخلصة ومختبرات المضلع إلى اعتقاد مشترك بأن التعاون مع تقنيات المصادر المفتوحة يمكن أن يبني أفضل المصلحة العامة.نتائج النقاش حول مستقبل POTYGON POS هي في نهاية المطاف في أيدي المجتمع.ندعوك مرة أخرى إلى التحليل ومناقشة ونأمل التوصل إلى توافق في تنفيذ الاقتراح.
