Philip DiSarro يبلغ عن عيبين حرجين في تنفيذ Aiken لـ CIP-113

قال Philip DiSarro، مؤسس والرئيس التنفيذي لـ Anastasia Labs ومؤلف CIP-143، قال في 24 يوليو إنه حدّد ثغرتين حرجتين أثناء مراجعته لتنفيذ Aiken لإطار الرموز القابلة للبرمجة الخاص بـ Cardano CIP-113. وفي السلسلة نفسها، نشر قياسات معيارية محدَّثة تقارن بين قاعدة شيفرة Aiken والتنفيذ الأصلي Plutarch الذي طوّره DiSarro وفريق Input Output. تأتي هذه الإفصاحات بينما لا يزال CIP-113 في مرحلة Last Check وتستمر عملية تنفيذِه ضمن مراجعة أمنية.

Plutarch يسجل تكاليف أقل عبر قياسات CIP-113 المعيارية

يقارن ملف القياسات المعيارية المنشور بين التنفيذين ضمن حد الميزانية القصوى للمعاملة على Cardano البالغ 10 مليارات وحدة CPU و14 مليون وحدة ذاكرة. كل من Aiken وPlutarch يُترجمان في النهاية إلى Untyped Plutus Core وهو الكود الذي تنفذه عقد Cardano.

سجّل Plutarch استهلاكاً إجمالياً أقل للـ CPU والذاكرة في كل واحد من السيناريوهات الخمسة المبرزة.

في اختبار التحويل القياسي، استخدم Aiken مقدار 1.19 مرة أكثر من CPU و1.17 مرة أكثر من الذاكرة مقارنة بـ Plutarch. وظهر أكبر فرق بين السيناريوهات المعروضة في الاختبار الذي يجمع بين إجراء مصادرة وسكربت خارجي و50 مُدخل مفتاح عام، حيث استهلك Aiken مقدار 3.23 مرة أكثر من CPU و2.36 مرة أكثر من الذاكرة.

ظل التنفيذان ضمن حدود معاملات Cardano في اختبار 16 عملية swap لـ $NIGHT DEX. استخدم Plutarch نسبة 6.66% من ميزانية CPU المتاحة و11.68% من ميزانية الذاكرة، مقابل 7.59% و15.25% لـ Aiken.

تضمّن نشر DiSarro أيضاً إسقاطات خطية لعدد العناصر التي يمكن أن تلائم معاملة واحدة. وقد قدّرت الأرقام إمكانية Plutarch عند 658 مُدخلاً مقابل 162 لـ Aiken و472 مخرجاً مقابل 334 و36,489 رمزاً مقابل 1,661 و527 سياسة مقابل 160. وتمثل هذه الأرقام تقديرات لسعة السكربت مشتقة من تكاليف التنفيذ المجربة وليست قياسات لمعدل النقل على الشبكة الرئيسية.

أنتجت مقارنة السكربتات المترجمة سكربتات Plutarch أصغر في ست فئات من أصل سبع. بلغ حجم سكربت directoryNodeSpending مقدار 331 بايت في Plutarch و1,698 بايت في Aiken. والاستثناء كان programmableLogicGlobal حيث أنتج Aiken سكربتاً بحجم 3,157 بايت مقارنة بـ 3,437 بايت لـ Plutarch.

CIP-113 يضيف قواعد قابلة للبرمجة إلى الأصول الأصلية على Cardano

يقترح CIP-113 إطاراً لإضافة قواعد تحقق قابلة للبرمجة إلى الأصول الأصلية على Cardano من دون الحاجة إلى تغيير في دفتر الأستاذ أو شوكة صلبة. ويمكن للمُصدّرين تحديد شروط تُنفّذ أثناء تحويلات الرموز وسكّها وحرقها.

يمكن أن تتضمن القواعد قوائم سماح وقوائم منع وقيود تحويل وأقفال زمنية ووظائف اختيارية للتجميد أو المصادرة. ويستهدف الإطار العملات المستقرة والأوراق المالية المرمّزة والأصول الواقعية التي تحتاج إلى ضوابط على الملكية والحركة.

وفقاً للمعمارية المقترحة تُحتفَظ الرموز القابلة للبرمجة عند عنوان عقد ذكي مشترك بينما تُمثَّل الملكية عبر بيانات اعتماد الحصص. ويربط سجل على السلسلة كل سياسة رموز بقواعد تحويلها ومنطق إصدارها وأي عناصر تحكم لطرف ثالث مخوّل.

ستحتاج المحافظ إلى حل بيانات اعتماد الحصص لعرض الأرصدة بشكل صحيح. كما سيتعين على البورصات اللامركزية والمفهرسات والمستكشفات والتطبيقات الأخرى دعم عملية التحقق الإضافية قبل أن يتمكن المستخدمون من التفاعل مع الرموز القابلة للبرمجة عبر بنية Cardano التحتية الحالية.

يقدّم Aiken وPlutarch نهجين تطويريين مختلفين مع ترجمة كليهما إلى الصيغة نفسها من الكود على السلسلة. تعرض وثائق مطوري Cardano Aiken كنقطة بداية يسهل الوصول إليها مع اختبارات مدمجة وبناء جملة مخصص للغرض. أما Plutarch فهو لغة مضمنة قائمة على Haskell تمنح المطورين تحكماً أكثر تفصيلاً في الكود الناتج وتكاليف التنفيذ.

ألّف DiSarro CIP-143, Interoperable Programmable Tokens وعمل مع فريق Input Output على تنفيذ Plutarch المرجعي الأصلي له. ويذكر مستودع Cardano Foundation أن أدوات التحقق الحالية في Aiken نُقلت من ذلك التنفيذ وتم تكييفها مع إطار CIP-113 الأوسع.

ويضع انخراطه المباشر في المعمارية وقاعدة الشيفرة الأصليتين المقارنةَ المعيارية الجديدة ضمن تاريخ تطوير المشروع. وقد وُسم CIP-143 الآن على أنه غير نشط بعد دمجه في CIP-113 المرشح الذي لا يزال في مرحلة Last Check لدى محرري CIP.

ثغرتان مُبلّغ عنهما تنتظران الإفصاح التقني

قال DiSarro إن مراجعته لتنفيذ Aiken كشفت عن ثغرتين حرجتين فاتتا عملية التدقيق. ولم تُحدِّد سلسلته الشيفرة المتأثرة أو مسارات الهجوم الممكنة أو التأثير المحتمل أو حالة المعالجة.

يحتوي المستودع بالفعل على نتائج علنية من التدقيق الأولي بما في ذلك مشكلتان مغلقتان مصنفتان على أنهما حرِجتان. تصف Issue 56 مساراً يمكن من خلاله أن تفلت الرموز المسكوكة حديثاً من الحفظ القابل للبرمجة أثناء إجراء لطرف ثالث. وتتناول Issue 64 احتمال تلوث UTxOs غير ذات صلة عبر الوظيفة الإدارية نفسها.

وقد أُبلغ عن تلك النتائج خلال التدقيق الأولي ولا يمكن اعتبارها الثغرتين اللتين قال DiSarro إنه عثر عليهما لاحقاً من دون إفصاح تقني إضافي.

أُثيرت أيضاً مخاوف أمنية ضمن مناقشة مراجعة CIP-113. وقد قال أحد المساهمين في 20 يوليو إن عدة ثغرات عالية الخطورة قد فاتت وإن بعض تغييرات سهولة الاستخدام المقترحة أدخلت مشكلات أمنية إضافية. وخلال المراجعة اللاحقة لـ CIP اتفق المشاركون على أن تشمل الخطوة التالية تدقيقاً أكثر شمولاً بينما يظل المقترح في مرحلة Last Check.

يذكر مستودع Cardano Foundation أنه جرى تصحيح نتائج التدقيق الأولي وإعادة التدقيق اللاحق على الفرع الرئيسي. ومع ذلك لا يزال التقرير النهائي للتدقيق غير منشور ويصنّف المستودع التنفيذ على أنه غير مناسب للاستخدام الإنتاجي مع أصول حقيقية حتى يكتمل نشر التقرير وإجراء اختبارات أوسع ومراجعة خبراء إضافية.

وقبل أن يتمكن تنفيذ CIP-113 من التقدّم نحو عمليات نشر لأصول حقيقية ما تزال ثلاثة مخرجات ملموسة قيد الانتظار: نشر التقرير النهائي للتدقيق والإفصاح عن الثغرتين اللتين أبلغ عنهما DiSarro ومعالجتهما واستكمال المراجعة الأمنية الأوسع المطلوبة خلال عملية CIP. وستحدّد هذه المخرجات التغييرات التي ستُدرج على الشيفرة والمواصفات قبل دمج المقترح والنظر في التنفيذ للاستخدام الإنتاجي.