شركة Coinbase تكشف عن أداة جديدة للتدقيق التلقائي للعقود الذكية
كشفت شركة Coinbase النقاب عن أداة جديدة يمكنها تلقائياً مراجعة العقود الذكية المبنية على إثيريوم والتي تستخدم لغة برمجة Solidity.
تم تصميم الأداة للاستخدام من قبل مدققي العقود الذكية ومصدري العملات والبورصات الأخرى، وتخطط الشركة لجعل الأداة مفتوحة المصدر في وقت لاحق من هذا العام.
وأعلن كبير مهندسي أمان بلوكتشين في Coinbase، عن أداة التحليل الأمني الجديدة للشركة، والتي يطلق عليها اسم “Solidify” ، والتي تم إنشاؤها لتحسين “العملية الشاقة. ومعرضة للخطأ” التحليل اليدوي للعقود الذكية.
وأشار المهندس إلى أن عملية إدراج العملة الرقمية في البورصة تتطلب مراجعات أمنية مكثفة و”توصيات لتخفيف المخاطر” لكل عقد ذكي لحماية المستهلكين.
واحتاجت الشركة إلى محلل يمكنه العمل بسرعة وأمان وعلى نطاق واسع، لكنها لم تكن راضية عن الخيارات الأخرى في السوق، وقال: لمعالجة هذه المشكلة، قمنا بتطوير أداة تسمى Solidity لزيادة معدل مراجعات أمان العملات الرقمية الجديدة دون خفض معايير الأمان العالية التي يتوقعها عملاء Coinbase لحماية العملات الخاصة بهم.
تحتوي أداة Solidify على حوالي 6000 توقيع فريد يمكن استخدامها لمقارنة المخاطر بسرعة مع عقود إثيريوم الذكية. فهو يفحص الميزات التي يحتمل أن تكون غير آمنة والعمليات التي لم يتم اختبارها جيداً.
وأوضح المهندس أن Solidity تستخدم قاعدة بيانات توقيع كبيرة ومحرك مطابقة الأنماط لاكتشاف خصائص العقود ومخاطرها بشكل موثوق، وتوحيد وتقييم مخاطر العقود الذكية، واقتراح استراتيجيات التخفيف وإنشاء تقارير مفصلة.
لكن حتى الآن، لم تتمكن Solidify من تحليل الأصول المعقدة بسرعة مثل Automated Market Makers (AMMs) وتطبيقات التمويل اللامركزي لأن الكمية الكبيرة من التعليمات البرمجية المخصصة المعقدة تتطلب تحليلاً يدوياً إضافياً.
ومع ذلك، لاتزال Solidify مفيدة لهذه التطبيقات عند تحليل استنساخ المنصات اللامركزية أو إزالة المكتبات القياسية من نطاق المراجعة اليدوية بحيث يمكن للمحللين التركيز على المنطق المخصص.
الأداة عبارة عن عمل قيد التقدم وسيركز المطورون على “تحسين دقة إنشاء التوقيع ومنطق الكشف” ودمج تقنيات التحقق الرسمية لتقليل الحاجة إلى التحليل.
كما يأملون أيضاً في توسيع نطاق دعم لغة برمجة Vyper، التي تستخدمها الآلة الافتراضية إثيريوم (EVM).
