تدقيق العقود الذكية

ما هو تدقيق العقود الذكية؟

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

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

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

وتُرسل نتائج المدققين وتوصياتهم مسبقاً إلى فريق المشروع، وتُذكر ردودهم في التقرير النهائي للتدقيق. ويُعد تدقيق العقود الذكية علامة على مصداقية أي مشروع كريبتو.

عملية تدقيق العقود الذكية

عادة ما تُنفَّذ تدقيقات العقود الذكية على عدة مراحل:

• تتمثل الخطوة الأولى في اتفاق فريق المشروع وفريق التدقيق على نطاق التدقيق ومتطلباته.
• بعد ذلك، تُشارَك تفاصيل العقد الذكي، بما في ذلك تصميمه وغرضه وبنيته وغيرها، مع المدققين.
• وأخيراً، تأتي مرحلة الاختبار، حيث يختبر المدققون الوظائف المنفصلة (اختبارات الوحدة) ثم أجزاء أكبر من العقد، وهو ما يُعرف باختبار التكامل.
• تُستخدم أدوات آلية لاكتشاف الأخطاء وتحليلها من أجل رصد الثغرات الشائعة في العقود.
• في النهاية، يراجع المدققون الشفرة يدوياً لتقييم نوايا المطور وتفسير نتائجهم في هذا السياق.
• وتتمثل المرحلة الأخيرة في إصدار التقرير الذي يتضمن النتائج والإصلاحات التي يجريها فريق المشروع.

وتُعد تدقيقات العقود الذكية ضرورية لأنها تساعد على حماية البلوكتشين من نقاط الضعف البرمجية. وللأسف، استغل أحد المخترقين إحدى هذه الثغرات عام 2016، ما عرّض ملايين الدولارات للخطر وأدى في النهاية إلى انقسام سلسلة Ethereum.

واستخدم المخترق ثغرة في الاستدعاء التكراري لسحب ما قيمته ملايين الدولارات من عملة $ETH من صندوق تحوط لامركزي يُعرف باسم "DAO".

وأدت الخطوات اللاحقة التي اتخذها المجتمع بشأن كيفية إعادة الأموال إلى خلافات وإلى انقسام صلب (hard fork). كما تُعد تدقيقات العقود الذكية ضرورية أيضاً في قطاع التمويل اللامركزي (DeFi) سريع النمو، حيث تُطرح عقود ذكية مليئة بالأخطاء بسرعة لتلبية طلب المستثمرين. وقد تسبب هذا في عدة اختراقات مكلفة في عام 2020 وحده بقيمة ملايين الدولارات، أبرزها اختراقات Harvest وYam Finance وbZx وBalancer وEminence.