حصلت شركة Certora، المتخصصة في أمن العقود الذكية وتدقيقها، على منحة بقيمة 2.01 مليون عملة كانتون كوين (بقيمة حوالي 300 ألف دولار) من مؤسسة Canton. الهدف من هذه المنحة هو تطوير أداة جديدة مفتوحة المصدر لمشاريع Daml.
أداة جديدة لكشف خفايا العقود الذكية
صُممت الأداة الجديدة لتحسين الشفافية داخل أنظمة العقود الذكية متعددة الأطراف المبنية على شبكة Canton. ستقوم الأداة بتحليل ملفات .dar (وهي عقود ذكية معبأة بلغة Daml) وتحديد التفاعلات بين حزم العقود المختلفة. كما ستكشف الأداة عن صلاحيات كل حزمة لاستدعاء حزمة أخرى، مع تحديد مواقع الملفات وأرقام الأسطر بالضبط.
حل لمشكلة أمنية معقدة
يستهدف هذا المشروع أحد أصعب أجزاء أمن البلوكشين. ففي الأنظمة الكبيرة متعددة الأطراف، يصبح تتبع العلاقات بين العقود والصلاحيات المخولة يدوياً أمراً صعباً للغاية. وهذا يخلق تحديات للمطورين والمراجعين وفرق الامتثال التي تحتاج إلى فهم واضح لكيفية تصرف التطبيقات قبل تشغيلها.
أتمتة وشفافية مضمونة
صرحت Certora بأن الأداة ستساعد في أتمتة هذه العملية وتقليل العمل المطلوب لمراجعات الأمان. وتخطط الشركة لإطلاق البرنامج تحت رخصة مفتوحة المصدر (Apache 2.0) ودمجه في dpm، وهي بيئة الأوامر الخاصة بشبكة Canton المستخدمة لبناء وتشغيل التطبيقات.
استهداف المؤسسات المالية
يأتي هذا التطوير أيضاً لخدمة المؤسسات المالية التي تستكشف أنظمة دفاتر الأستاذ الموزعة. فالبنوك ومزودو البنية التحتية غالباً ما يحتاجون إلى تحليل مفصل لسلوك العقود قبل استخدام تطبيقات البلوكشين في بيئات الإنتاج الفعلية.
أسئلة شائعة (FAQ)
ما هي مشكلة الأمان التي تحلها أداة Certora الجديدة؟
تحل الأداة مشكلة صعوبة تتبع العلاقات والصلاحيات بين العقود الذكية في الأنظمة الكبيرة متعددة الأطراف. فهي توفر رؤية واضحة لكيفية تفاعل الحزم المختلفة، مما يسهل على المطورين والمراجعين فهم التطبيق قبل تشغيله.
لماذا تمنح مؤسسة Canton منحة ضخمة لشركة Certora؟
تمنح المؤسسة المنحة لتطوير أداة مفتوحة المصدر تعزز أمان شبكة Canton وتجذب المطورين والمؤسسات المالية. الأداة ستكون متاحة للجميع تحت رخصة Apache 2.0، مما يحسن النظام البيئي بأكمله.
هل هذه الأداة مناسبة فقط لمطوري البلوكشين؟
لا، الأداة مفيدة أيضاً لفرق الامتثال والمؤسسات المالية مثل البنوك. فهذه الجهات تحتاج إلى تدقيق دقيق لسلوك العقود الذكية قبل استخدامها في تطبيقات حقيقية، والأداة توفر لهم هذا التدقيق بشكل آلي وواضح.
