UPLC Link يتحقق من عقود Cardano مقابل الشفرة المنشورة

يتيح UPLC Link لمستخدمي Cardano التحقق مما إذا كان العقد الذكي المنشور يطابق الشفرة المصدرية المنشورة له. تعيد المنصة مفتوحة المصدر بناء العقود وتقارن بصماتها التشفيرية. عبر Cexplorer يمكن للمستخدمين الوصول إلى المستودع ومعلومات البناء المرتبطة بالبرنامج النصي الذي يفحصونه.

Cexplorer يربط النصوص البرمجية لـ Cardano بمصدرها

يوصل خيار Cexplorer المسمى Verify Source فحص العقد بـ UPLC Link، موفراً الوصول إلى مستودع المصدر ومراجعة الشفرة الدقيقة وإصدار المترجم ومعلمات العقد.

قدّم Giovanni Gargiulo كبير معماريي البلوكشين في Cardano Foundation سير العمل خلال Developers Office Hours في 25 سبتمبر. ووثق ملخص للجلسة نُشر في 7 أكتوبر عملية التكامل وخطط توسيع دعم المترجمات.

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

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

إعادة بناء العقود تنتج تطابقاً قابلاً للتحقق

تُنفذ عقود Cardano الذكية بصيغة Untyped Plutus Core المترجمة والمعروفة باسم UPLC. تحدد تجزئات النصوص البرمجية البرامج المترجمة من دون الكشف عن مراجعة المصدر أو إعدادات البناء التي أنتجتها.

يبدأ UPLC Link بالتعامل مع التزام Commit محدد على GitHub وإصدار المترجم. يبني المصدر ويحسب تجزئات النصوص البرمجية الناتجة ويقارنها بالمعرفات المتوقعة على السلسلة.

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

يتطلب التطابق المصدر الصحيح والمترجم الصحيح والمعلمات الصحيحة.

واجهة الاستخدام العامة تحمل حالياً تصنيف alpha وتدعم عقود Aiken. وصف العرض التقديمي العمل الجاري نحو دعم Scalus و Plutarch و plu-ts إلى جانب اتصال مخطط له مع Blaster للتحقق الشكلي الآلي من خصائص العقود.

من شأن هذه الإضافات توسيع نطاق تغطية المنصة إلى ما يتجاوز سير العمل الحالي المعتمد على Aiken.

السجلات على السلسلة تدعم التحقق المستقل

تقترح CIP-0171 تنسيق بيانات وصفية مشتركاً لتسجيل المعلومات اللازمة لإعادة إنتاج بناء عقد Cardano. تستخدم تسمية بيانات المعاملة 1984 لتحديد مستودع المصدر ومراجعة الشفرة والمترجم وبيئة البناء والمعلمات.

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

لا تزال المواصفة اقتراحاً في السجل الرسمي لـ CIP. ويستوعب تنسيقها عدة عائلات من المترجمات مع قيام كل أداة تحقق بتحديد ما تدعمه.

يوفر UPLC Link بالفعل التسجيل عبر معاملة Cardano موقعة مع دفع رسوم الشبكة بعملة ADA. يقوم الجزء الخلفي للنظام بفهرسة السجلات المقدمة لإتاحتها عبر السجل العام. كما يوفر المشروع واجهة API لخدمات أخرى وينشر إرشادات لتشغيل المنصة محلياً.

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