دفاعات كانتون مدعومة بمجموعة الحماية المحسنة من Certora

في تعزيز كبير لأمن Web3، حصلت Certora، وهي خبيرة مشهورة في التحقق من العقود الذكية، على منحة كبيرة بقيمة 2.01 مليون عملة كانتون، تبلغ قيمتها حوالي 300000 دولار، من قبل مؤسسة كانتون. سيتم استخدام هذا التمويل لإنشاء حل مبتكر مفتوح المصدر مصمم خصيصًا لمشاريع Daml، ومصمم خصيصًا لتعزيز الشفافية ضمن الأنظمة البيئية المعقدة والمتعددة الأطراف للعقود الذكية التي تعمل على شبكة كانتون.

ستقوم الأداة القادمة بفحص ملفات .dar المجمعة، والتي تحتوي على عقود ذكية مكتوبة بلغة Daml، وتحدد بدقة التفاعلات بين حزم العقود المختلفة. علاوة على ذلك، سيوفر رؤى تفصيلية حول الأذونات التي تحكم التفاعلات بين هذه الحزم، بما في ذلك مواقع الملفات الدقيقة وأرقام الأسطر. ومن خلال القيام بذلك، تعالج الأداة تحديًا طويل الأمد في أمان blockchain، حيث يمكن أن تصبح العلاقات المعقدة بين العقود والأذونات المفوضة مرهقة بشكل متزايد لتتبعها يدويًا، لا سيما في الأنظمة واسعة النطاق ومتعددة الأطراف.

تطرح هذه المشكلة عقبات كبيرة أمام المطورين والمدققين وفرق الامتثال، الذين يحتاجون إلى فهم شامل لسلوك التطبيق قبل النشر. ويهدف حل Certora إلى تخفيف هذا العبء عن طريق أتمتة العملية، وبالتالي تبسيط المراجعات الأمنية وتقليل عبء العمل المرتبط بها. عند الانتهاء، تعتزم الشركة إطلاق البرنامج بموجب ترخيص Apache 2.0 مفتوح المصدر، مما يضمن إمكانية الوصول على نطاق واسع والتكامل مع dpm، واجهة سطر الأوامر الخاصة بكانتون لبناء التطبيقات وتنفيذها.

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