مكتبة العقود الذكية الجديدة لـ Cardano تتجاوز هدفها الأصلي

مبادرة ContractsLibrary الخاصة بـ Cardano أعدت ستة عقود ذكية قابلة لإعادة الاستخدام متجاوزة هدفها الأصلي البالغ خمسة. كشف Robertino Martinez الذي يقود مبادرة Developer Experience في AlwaysTrue عن هذا التقدم خلال جلسة X Space بعنوان إزالة مركزية تطوير Cardano الأساسي.

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

وصلت العقود الستة إلى المرحلة النهائية من مراجعة الشيفرة والمواصفات. وشدد Martinez على أنها لم تُكمل بعد عمليات التدقيق الأمني ولا ينبغي نشرها على الشبكة الرئيسية لـ Cardano في الوقت الحالي.

ستة عقود تتجه نحو الاختبار العام

كان من المتوقع أصلاً أن تقدم ContractsLibrary خمسة عقود ذكية قابلة لإعادة الاستخدام. وبحسب Martinez أعد فريق التطوير ستة وبدأ فحوصات الجودة النهائية تمهيداً لاختبار أوسع من قِبل المجتمع.

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

تستند المكتبة إلى أنماط تطوير راسخة داخل Cardano بما في ذلك أعمال Anastasia Labs.

أكد Martinez أيضاً أن فريق الاعتمادية العالية بدأ أعمال التحقق الشكلي. ويركز في البداية على الخصائص المشتركة عبر العقود يعقبها التحقق من كل تنفيذ على حدة.

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

حزمة تطوير مستوحاة من OpenZeppelin لـ Cardano

أصبحت OpenZeppelin مورداً واسع الاستخدام لمكونات العقود الذكية القابلة لإعادة الاستخدام في Ethereum وغيرها من منظومات EVM. وتهدف ContractsLibrary إلى توفير مورد تطوير مماثل مُكيّف مع البنية الممتدة لـ UTxO الخاصة بـ Cardano.

كل تنفيذ مصمم لدمج عدة عناصر مترابطة.

يستخدم المكوّن على السلسلة Aiken لتعريف القواعد التي يفرضها دفتر أستاذ Cardano. أما مُنشئو المعاملات خارج السلسلة بما في ذلك دعم MeshJS و Tx3 فيساعدون التطبيقات على بناء المعاملات اللازمة للتفاعل مع أولئك المدققين.

تصف المواصفات التقنية السلوك المقصود لكل عقد في حين يوفّر الاختبار والتحقق الشكلي طرقاً إضافية لتقييم ما إذا كانت عمليات التنفيذ تلبّي المتطلبات المحددة.

يستخدم المشروع أيضاً Lean 4 لإثباتات يتم التحقق منها آلياً لخصائص مختارة من العقود.

تعالج هذه البنية المتكاملة تحدياً عملياً في تطوير Cardano إذ إن بناء تطبيق لامركزي يتطلب غالباً تنسيق تحقق العقد الذكي مع إنشاء المعاملات خارج السلسلة.

ومن خلال توفير مكونات مترابطة تهدف ContractsLibrary إلى تقليل الأعمال التطويرية المتكررة وجعل أنماط العقود الشائعة أسهل للدمج في التطبيقات الجديدة.

[NEWSBREAK]

تظل المراجعات الأمنية المتطلب الأخير

تعد ContractsLibrary جزءاً من مبادرة Developer Experience الأوسع التي انتقلت من Input Output إلى AlwaysTrue تحت قيادة Martinez المستمرة.

تشمل المبادرة أدوات أخرى مثل cardano-init الذي يساعد المطورين على إنشاء بيئات تطوير Cardano مترابطة.

بالنسبة إلى ContractsLibrary تكمن الأولويات الفورية في إكمال فحوصات جودة الشيفرة وإتاحة عمليات التنفيذ للاختبار ومواصلة التحقق الشكلي.

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

يميز المشروع بين العقود المُعدة لعمليات التدقيق الأمني وتلك التي أكملت المراجعات المطلوبة وبلغت حالة الاستقرار.

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

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