اقتراح المضلع: قم بتوصيل Polygon PoS إلى AggLayer باستخدام أداة التحقق من صحة ZK

المصدر: منتدى Polygon؛ المؤلف: Bai Shui, Golden Finance

مقدمة

ندعو المجتمع لمناقشة اقتراح لاستخدام أدوات التحقق من المعرفة الصفرية (ZK). لتحويل Polygon PoS، يتصل بشكل آمن بـ AggLayer للتحقق من آلية توافق الشبكة، وبالتالي تحديد نهائية تسوية الشبكة لـ AggLayer. يكمل هذا الدليل الإجماعي الدليل المتشائم ويضمن أمان جميع السلاسل المرتبطة بـ AggLayer. حول الدليل المتشائم لمزيد من المعلومات، راجع هنا: تقديم البراهين المتشائمة 2

سيتم تأمين الدليل الإجماعي بواسطة نظام إثبات Plonky3 عبر حزمة الخدمة SP1 الخاصة بـ Succint Labs، وهي zkVM للأغراض العامة التي تسمح بمعيار إثبات AggLayer تنفيذ الصدأ. لمزيد من المعلومات حول التعاون بين Polygon Labs وSuccinct Labs، راجع هنا: ستساعد حزمة الخدمة SP1 المبنية على Plonky3 على ضمان سيولة موحدة 1

ستجلب هذه الترقية فائدتين رئيسيتين مباشرتين:< /p>

• تجميع السيولة والمستخدمين والحالة، مما يوفر تأثيرات أكبر على الشبكة للمستخدمين والمطورين < /p>

• تجربة جسر مطورة، بما في ذلك عمليات نقل الرموز بدون إذن.

الخلفية

قبل عام، بدأ المجتمع في مناقشة اقتراح من شأنه أن يجعل Polygon PoS بمثابة zkEVM Validium، وبالتالي ترقية الشبكة إلى L2 المدفوعة بـ ZK . يظل هذا هو الهدف طويل المدى للحالة النهائية لـ Polygon PoS. يعتمد التحدي المتمثل في تحقيق هذا الهدف إلى حد كبير على الالتزام بالحفاظ على روح Polygon PoS المتمثلة في الرسوم المنخفضة وعمل Ethereum لصالح الجميع.

إن مُثبت zkEVM من النوع 1 المُستخدم لترقية Polygon PoS إلى ZK L2 قادر بالفعل على إثبات كتل Ethereum الحالية بتكلفة منخفضة. بالنسبة لتطبيقات Polygon PoS، السؤال الآن هو كيفية القيام بذلك على نطاق واسع.

في الوقت الحالي، إذا كانت هذه المناقشة مفيدة وتم قبول PIP اللاحق من قبل المجتمع، فستتم الترقية بمثابة خطوة وسيطة لتصبح ZK L2 كاملة. سيوفر توصيل Polygon PoS بـ AggLayer فوائد الجسر الموحد مع الاستمرار في الاعتماد على الأمان المحسن الذي توفره مجموعة أدوات التحقق.

التفاصيل الفنية

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

• < strong>إثبات الإجماع:سيتم نشر عقد جديد للتحقق من الإجماع على الإيثريوم. سيكون هذا العقد قادرًا على التحقق من وصول Polygon PoS إلى الإجماع، وفي الوقت نفسه، أن أي عمليات سحب تفي بالمعايير التي يمليها منطق الإثبات المتشائم. سيتم إنشاء مقترح سيتم إضافته إلى قائمة عقود التحقق المتاحة في Unified Bridge. (راجع المشكلات العملية أدناه للحصول على اعتبارات إضافية حول هذه النقطة.)

• تنفيذ الجسر: سيتم نشر عقد Unified Bridge على Polygon PoS.

• بوابة PoS: ستتم ترقية الرموز المميزة الموجودة في PoS Portal Bridge لاستخدام Unified Bridge وسيتم تدمير الملكية، وبالتالي القضاء على الحاجة إلى ملكية هذه الرموز المميزة.

• أدوار الشبكة: سيتطلب تصميم التسوية لـ AggLayer باستخدام دليل إجماعي من بعض الكيانات إرسال المعلومات المطلوبة. (راجع المشكلات العملية أدناه للحصول على اعتبارات إضافية حول هذه النقطة.)

تغييرات العميل

لا يلزم إجراء تغييرات على Bor أو Heimdall لإكمال هذه الترقية. أي تغيير في العميل. على الرغم من أن الترقية إلى Heimdall v2 قد تسمح بإجراء تحسينات مستقبلية، إلا أن هذا ليس مطلوبًا للنشر الأولي.

تغييرات الجسر

لا يلزم إجراء تغييرات على آلية StateSync التي تدعم FxPortal أو Plasma Bridge لإكمال هذه الترقية . بالإضافة إلى ذلك:

• سيتم نشر Unified Bridge كجسر جديد مستقل.

• ستتم ترقية الرموز المميزة التي تم تعيينها باستخدام بوابة PoS لاستخدام Unified Bridge بدلاً من FxPortal، وسيتم إهمال بوابة PoS.

الجدول الزمني

إذا كانت نتيجة هذه المناقشة مرضية، فسيتم إصدار PIP رسميًا. التبعية الرئيسية هي الانتهاء من التنفيذ الجاهز للإنتاج للدليل المتشائم، والذي من المتوقع أن يكتمل بحلول منتصف الصيف. بمجرد الانتهاء، سيتم إصدار PIP رسمي، على الأرجح في الخريف. باتباع هذا الجدول الزمني، يمكن إكمال ربط Polygon PoS بـ AggLayer بحلول نهاية عام 2024، بافتراض قبول المجتمع.

في هذه الأثناء، يتوقع مهندسو Polygon PoS الأساسيون نشر شوكة أحمد آباد الصلبة القادمة في يوليو، ومن المتوقع إطلاق Heimdall v2 في وقت ما بعد ذلك. في الوقت الحالي، لا تعد أي من الترقية تبعية لربط Polygon PoS بـ AggLayer. ومع ذلك، هناك تطبيق آخر لإثبات الإجماع يتطلب إجراء تغييرات أعمق على Heimdall.

مشكلات عملية

إثبات الإجماع على أساس التوقيع

يحدد الاقتراح الخطوط العريضة يأتي استخدام Polygon Plonky3 لتمثيل إجماع Polygon PoS، حيث يوفر SP1 zkVM إمكانية الصيانة ومزايا سرعة المطور لـ Rust. بشكل عام، الهدف من الإثبات الإجماعي هو تمثيل حالة السلسلة المحلية. يمكن تحقيق ذلك أيضًا عن طريق تعديل Heimdall لاستخدام طريقة توقيع مختلفة.

على سبيل المثال، إذا تم استخدام توقيعات عتبة BLS أو ICE-FROST أثناء الإجماع، فيمكن أن يمثل هذا التوقيع الفردي إجماع AggLayer. إحدى فوائد هذا النهج هي البساطة: يمكن إضافة الاتصال بين Polygon PoS وAggLayer كمهمة إلى Heimdall، وهي نفس العملية التي ترسل حاليًا نقاط التفتيش إلى L1.

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

دور الشبكة للتواصل مع AggLayer

لكي يتمكن Polygon PoS من الاتصال بـ AggLayer باستخدام إثبات الإجماع، دور جديد. سيكون هذا الدور مسؤولاً عن إرسال المعلومات التالية إلى AggLayer:

• الجسر المحلي حالة الشبكة

• إثبات الإجماع.

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

• قائمة السماح تؤدي العناوين هذا الدور أولاً، بهدف جعله غير مسموح به بعد أن تتاح الفرصة لمكدس AggLayer للتعزيز.

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

الملخص

يحتوي Polygon PoS على أكثر من 400 مليون عنوان فريد، وأكثر من 2 مليار دولار من الأصول المنقولة من Ethereum، وعشرات الآلاف من التطبيقات، لا تزال واحدة من أكثر سلاسل الكتل استخدامًا على نطاق واسع في العالم. يحبها المستخدمون والمطورون بسبب مجتمعها القوي، وتأثيرات الشبكة، والرسوم المنخفضة التي تناسب الجميع، وغالبًا ما تكون أقل من حيث الحجم من Ethereum L2 الشهير.

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

تعتمد الجهود المشتركة بين Succint Labs وPolygon Labs على الاعتقاد المشترك بأن التعاون مع التقنيات مفتوحة المصدر يؤدي إلى تحقيق أفضل منفعة عامة. إن نتيجة المناقشات حول مستقبل Polygon PoS تقع في نهاية المطاف في أيدي المجتمع. وندعوكم مرة أخرى إلى التحليل والمناقشة ونأمل التوصل إلى توافق في الآراء بشأن تنفيذ هذا الاقتراح.