المؤلف: CoaX1d; المصدر: PolkaWorld
بعد انتظار طويل، لدينا أخيرًا موضوع مثير:XCMP Future Shapes .
لقد أمضى فريق البحث التابع لمؤسسة Web3 الأشهر القليلة الماضية في تصميم وإنشاء نماذج أولية لتقنية XCMP. يهدف XCMP إلى تحسين نظام المراسلة المتقاطعة الخاص بـ Polkadot، واستبدال نظام HRMP (رسائل توجيه التتابع الأفقي) الحالي، وتحويل جميع العمليات الحسابية واستهلاك الموارد الموجودة على السلسلة خارج السلسلة.
تناقش هذه المقالة كيف يخدم تصميم XCMP هدف Polkadot العام المتمثل في المراسلة عبر السلاسل.
اعتبارات التصميم العامة
تسليم الرسائل بشكل مرتب أو خارج الترتيب
ما إذا كان تسليم الرسائل مضمونًا
p> إذا لم يتم استلام الرسالة وتجاهلها، فما هي العواقب على المرسل أو المتلقي
- < p style="text-align: left;">سرعة تسليم الرسالة وحجم الإثبات
ال قابلية صيانة البروتوكول، والمرونة
افتراضات السلامة
أهداف XCMP
تحسين المراسلة عبر الأجزاء للحصول على رسائل سريعة وقابلة للتطوير نظام blockchain مجزأ غير متجانس.
يوجد حاليًا تطبيق مراسلة عبر السلسلة يسمى HRMP (تمرير رسائل توجيه الترحيل الأفقي)، ولكن عيبه هو أنه يفرض على سلسلة ترحيل Polkadot القيام بالكثير من العمل. يهدف XCMP إلى استبدال نظام HRMP ونقل جميع العمليات الحسابية واستهلاك الموارد السابقة على السلسلة بشكل كامل خارج السلسلة.
تصميم بواسطة XCMP: نموذج دمية Merkle Matryoshka
يعتمد التصميم المحدد لـ XCMP "Merkle Matryoshka Dolls" (نموذج دمية Merkle matryoshka)، والذي يعمل على تحسين عملية الإثبات عن طريق التداخل واستخدام هياكل Merkle الثنائية المبسطة لتجنب استخدام إثباتات الحالة.
عملية ماتريوشكا
ضع رسائل XCMP في أصغر دمية ماتريوشكا - XCMPMessageMMR.
ضع جميع جذور XCMMPessageMMR في دمية التداخل الثانية - XCMPChannelTree.
يدخل جذر XCMPChannelTree إلى ParachainHeader.
يدخل ParachainHeader إلى دمية التعشيش الثالثة-ParaHeaderTree.
تدخل جذور ParaHeaderTree في أكبر دمية تعشيش-BEEFYMMR.
بعد القيام بكل هذا، أصبح لدينا ماتريوشكا أو جذر واحد يحتوي على جميع الرسائل المرسلة من جميع سلاسل المظلات من جميع سلاسل المظلات الأخرى Hope (أي جذر BEEFY) .
عملية التحقق
ترسل السلسلة المصدر رسالة إلى السلسلة المستهدفة وتثبت صحة الرسالة من خلال جذر Merkle لـ BEEFY (Bridge Efficiency Enabling Finality Yielder).
تستخدم السلسلة المستهدفة جذر BEEFY المستلم لكشف طبقة الدمية المتداخلة والتحقق من الرسالة.
اتجاه التنفيذ/التكامل
تم تصميم XCMP كبديل مباشر لـ HRMP وسيتم دمجه في أنظمة Polkadot الحالية من خلال وحدات بسيطة، مع الحفاظ على التوافق مع وحدات XCM وparachain الحالية.
التكيف مع الوقت الأساسي عند الطلب
سوف XCMP يستوعب التصميم الوقت الأساسي المستقبلي عند الطلب وcorejam؟
في شبكة Polkadot، يشير Coretime إلى تخصيص قوة المعالجة والموارد على السلسلة. "حسب الطلب" يعني ضبط تخصيص الموارد ديناميكيًا بناءً على الطلب لتحسين أداء الشبكة وكفاءتها.
سيؤدي هذا إلى مشكلة حساسية الوقت للتحقق من الرسالة. على وجه التحديد، إذا لم تنتج السلسلة المستهدفة كتلة لفترة من الوقت، فسيتم التحقق من الرسائل المرسلة إلى السلسلة خلال هذه الفترة (عبر البراهين المتداخلة لنموذج ماتريوشكا) بناءً على تجزئة جذر BEEFY القديمة. إذا لم تقم السلسلة المستهدفة بتحديث تجزئة جذر BEEFY الخاصة بها في الوقت المناسب، فقد لا تتمكن من التحقق من صحة هذه الرسائل.
لحل هذه المشكلة، يوصى بإضافة مستوى إضافي (دمية ماتريوشكا جديدة) إلى بنية الإثبات. تتيح إضافة هذا المستوى الجديد لمجمع السلسلة المستهدفة التعرف أولاً على أن الدليل سيفشل، ثم إجراء تصحيحات صغيرة على الدليل الأصلي لاستيعاب جذر BEEFY المحدث. وبهذه الطريقة، يمكن معالجة الرسائل القديمة والتحقق منها بكفاءة حتى لو لم تقم السلسلة المستهدفة بإنشاء كتل جديدة لفترة طويلة من الزمن. تعد إضافة هذه الطبقة الجديدة خطوة أصغر للمرحل ولا تتطلب مساحة تخزين إضافية في سلسلة الوجهة.
لذلك، على الرغم من أن شبكة Polkadot لم تنفذ بعد وظيفة الوقت الأساسية عند الطلب، فإن تصميم XCMP موجه نحو المستقبل ويوفر طريقة لحل المشكلة مشكلة عند الطلب يضمن التعقيد الإضافي الناتج عن الوقت الأساسي مرونة النظام وإمكانية التحقق من الرسائل.
الاستنتاج
تصميم ونموذج أولي لـ XCMP تم اختباره محليًا تم استكماله عبر الإنترنت وسيتم تنفيذه بشكل أكبر.
يمثل XCMP تحسنًا إضافيًا في إمكانات المراسلة المتقاطعة لـ Polkadot، مما يعزز إمكانية التشغيل البيني. سوف تستمر التصميمات المستقبلية لـ XCMP في التركيز على تعليقات المجتمع لتلبية الاحتياجات الأوسع. ص>