مقترح Plutus على Cardano يستهدف خفض العبء الإضافي لتنفيذ السكربتات

أضاف مسار تطوير Plutus على Cardano مقترحين يركّزان على كيفية معالجة العقود الذكية لبيانات دفتر الأستاذ. يقدم CIP-0194 مطابقة أنماط مدمجة لـ UPLC، بينما يحدد CIP-0195 كيفية ترميز أنواع Plutus V4 مثل ScriptContext و TxInfo كـ Data. كلاهما لا يزال قيد المراجعة.

يمتلك CIP-0194 بالفعل نموذجاً أولياً لتنفيذ عامل، مع قياسات معيارية محلية مبكرة تُظهر انخفاضاً كبيراً في زمن تنفيذ CEK لعدة أنماط وصول إلى البيانات. هذه القياسات ليست معايرة بوحدات التنفيذ على السلسلة، ولم تُحسم بعد معايير التكلفة في بيئة الإنتاج.

CIP-0194 يضيف مطابقة الأنماط إلى Plutus Core

تقوم العقود الذكية على Cardano كثيراً بفحص Data مُهيكلة، بما في ذلك معلومات المعاملة داخل ScriptContext. يمكن لبرامج UPLC الحالية تفكيك هذه البنى عبر دوال مثل unConstrData و chooseData وعمليات القوائم، مع إضافة كل خطوة عملاً إضافياً داخل مُقيِّم CEK.

يقترح CIP-0194 عملية جديدة باسم Match يمكنها فحص القيم المتداخلة مباشرة والتقاط الحقول المطلوبة فقط من قبل السكربت. وهي تغطي الأعداد الصحيحة، وسلاسل البايت، والقوائم، والأزواج، و Data المُهيكلة، بينما تظل آلية Case الحالية متاحة للعمليات الأبسط.

يستهدف هذا التغيير بالدرجة الأولى المدققين الذين يفحصون سياق المعاملة بشكل متكرر، بما في ذلك منطق DeFi والتداول والإقراض الأكثر تعقيداً.

يوجد بالفعل نموذج أولي عامل داخل قاعدة شيفرة Plutus. وسيستلزم الاستخدام في بيئة الإنتاج إجراء اختبارات مطابقة، ومعايرة معايير التكلفة، ودعماً من دفتر الأستاذ، وإصداراً من Cardano node.

القياسات المبكرة تُظهر زمناً أدنى لتنفيذ CEK

يتضمن المقترح قياسات معيارية محلية تقارن Match بالأساليب الحالية لتفكيك Data.

عند استرجاع قيمة واحدة متداخلة بعمق، كان تنفيذ CEK المقاس أسرع بما يتراوح بين 6.38 و 13.74 مرة في السيناريوهات المختبرة. سجل اختبار يضم 64 طبقة متداخلة من Data زمناً قدره 2.297 ميكروثانية مع Match، مقارنة بـ 31.068 ميكروثانية باستخدام الأسلوب القائم.

تضيق فجوة الأداء عندما تلتقط السكربتات عدة قيم، إذ تراوحت التحسينات المختبرة تقريباً بين 1.67 و 6.10 مرات بحسب البنية والمنهجية الأساسية.

هذه الأرقام تقيس أداء CEK المحلي من حيث زمن التنفيذ الفعلي بدلاً من وحدات التنفيذ النهائية على Cardano. يظل نموذج التكلفة غير مُعايَر. وقد تحسنت الميزانيات الأولية لوحدات المعالجة والذاكرة في المقترح بنسبة تتراوح بين 10% و 90% عبر أعباء عمل مختلفة، مع إظهار سيناريوهات سياق السكربت النموذجية تحسناً بنحو 40% إلى 60% وفق المعايير الأولية.

ينسب المقترح Match إلى إصدار لغة Plutus Core رقم 1.2.0، ما سيتطلب دعماً من دفتر الأستاذ وتفعيلًا عبر عملية الانقسام الصلب على Cardano قبل أن تتمكن السكربتات من استخدامه على الشبكة الرئيسية.

CIP-0195 يحدد نموذج Data لـ Plutus V4

يتناول CIP-0195 الجانب الآخر من مكدس Plutus من خلال تحديد كيفية تمثيل أنواع واجهة برمجة تطبيقات دفتر الأستاذ في Plutus V4 كـ Data.

يشمل المقترح ScriptContext في إصدار V4 والبنى المرتبطة به، بما في ذلك TxInfo موسع. ويستبدل النهج غير الرسمي الأكثر شيوعاً في إصدارات Plutus السابقة، حيث كان على المطورين والأدوات البديلة غالباً استنباط سلوك الترميز من شيفرة التنفيذ بدلاً من مواصفة مخصصة.

يواصل التصميم المقترح لإصدار V4 استخدام القوائم لترميز أنواع البيانات. ويرى CIP-0195 أن عمليات UPLC الأحدث تجعل الوصول إلى القوائم كفؤاً مع تجنب البنّاءات الإضافية وتكامل دفتر الأستاذ الذي يتطلبه نموذج أوسع قائم على المصفوفات.

يمكن لـ CIP-0194 و CIP-0195 التقدم بشكل مستقل، لكنهما معاً يتناولان كيفية تنظيم الجيل التالي من Plutus لبيانات دفتر الأستاذ والوصول إليها. إذا تم تبنيهما، فسيوحِّد CIP-0195 معايير كيفية إظهار Plutus V4 لتلك البيانات، بينما سيوفر CIP-0194 للمدققين طريقة أقل عبئاً لفحصها. ولا يزال كلاهما يتطلبان اعتماد المواصفات، ونماذج تكلفة مُعايرة، وتكاملاً مع دفتر الأستاذ قبل الوصول إلى الشبكة الرئيسية لـ Cardano.