شرح هجوم Reentrancy وكيفية منعه في Solidity

تظل هجمات إعادة الدخول من أشهر التهديدات المستمرة لأمان العقود الذكية على شبكة Ethereum والسلاسل المتوافقة مع EVM. رغم جهود الصناعة المتواصلة على مدى سنوات، لا تزال البروتوكولات الجديدة تواجه ثغرات إعادة الدخول، مما يؤدي إلى خسائر مالية كبيرة — أحيانًا تصل إلى ملايين الدولارات. تظهر هذه الاستغلالات غالبًا في عقود الإقراض والستيكينغ والجسور في عالم DeFi حيث تعد المكالمات الخارجية وتحويلات التوكنات شائعة.

في هذه المقالة، نقوم بتحليل آلية هجوم إعادة الدخول، نحدد أنماط العقود النموذجية المعرضة للثغرة، ونشارك استراتيجيات مجربة للتخفيف منها. مستندين إلى تحليلنا لأكثر من 255 عملية تدقيق للعقود الذكية في Soken، نسلط الضوء على كيف يمكن لممارسات البرمجة الدقيقة بلغة Solidity وسير العمل الشامل للاختبار أن تحبط تهديدات إعادة الدخول. كما نربط هذه المقالة بالمخاطر المرتبطة مثل سوء استخدام delegatecall وتكتيكات القروض السريعة لتوفير فهم متكامل ضروري لأي مطور ويب 3 أو مدقق أمني جاد.

ما هو هجوم إعادة الدخول وكيف يستغل العقود الذكية؟

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

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

على سبيل المثال، أدى هجوم DAO المشهور عام 2016 إلى استغلال ما يقارب 60 مليون دولار عبر ثغرات إعادة الدخول — وهو مثال تحذيري. ومنذ ذلك الحين، اكتشفت الصناعة أن السبب الجذري هو تحديث رصيد العقد أو حالته فقط بعد المكالمات الخارجية، مما يخلق نافذة حالة غير متسقة يستغلها المهاجم.

رؤية خبراء Soken من عمليات التدقيق: “في أكثر من 40% من تدقيقات الأمان الحديثة لعقود DeFi التي أجريناها، تظهر أنماط إعادة الدخول بأشكال متنوعة، غالبًا عبر عقود بروكسي أو استدعاءات متعددة الطبقات. الكشف عنها يتطلب تحليلًا دقيقًا لمكالمات ما بين العقود وليس مجرد فحص عقد واحد.”

أنماط Solidity الشائعة التي تسبب ثغرات إعادة الدخول

تنجم ثغرات إعادة الدخول عادة عن تسلسل معين من العمليات: مكالمات خارجية (مثل تحويل ETH أو توكنات) تحدث قبل أن يقوم العقد بتحديث متغيرات الحالة الداخلية.

النمط الأكتر عرضة للخطر يكون على الشكل التالي:

function withdraw(uint256 amount) public {
    require(balances[msg.sender] >= amount);
    (bool success, ) = msg.sender.call{value: amount}("");
    require(success);
    balances[msg.sender] -= amount;
}

هنا المكالمة الخارجية باستخدام call.value() تحدث قبل خصم رصيد المستخدم. خلال تلك المكالمة الخارجية، يمكن لدالة fallback للمهاجم أن تستدعي withdraw() بشكل متكرر، مما يسمح بسحب الأموال قبل تحديث الأرصدة.

البنى الخطرة الرئيسية تشمل:

• مكالمات خارجية قبل تحديث الحالة: إرسال ETH أو توكنات قبل تحديث الأرصدة.
• استخدام call أو send بدون احتياطات: المكالمات الخارجية عبر دوال مستوى منخفض تتخطى الفحوصات ويمكنها تفعيل دوال fallback.
• عدم وجود حراس إعادة الدخول: عدم وجود قفل أو آلية منع تداخل المكالمات.
• سلاسل مكالمات معقدة باستخدام delegatecall: قد تفتح ثغرة إعادة الدخول بشكل غير مباشر عبر مكالمات خارجية داخل العقود المستدعاة.

على النقيض، النمط الآمن يعكس الترتيب:

function withdraw(uint256 amount) public {
    require(balances[msg.sender] >= amount);
    balances[msg.sender] -= amount;  // تحديث الحالة أولاً
    (bool success, ) = msg.sender.call{value: amount}("");
    require(success);
}

كيف تمنع هجمات إعادة الدخول في Solidity: أفضل الممارسات والأدوات

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

تقنيات التخفيف القياسية:

1. نمط Checks-Effects-Interactions:
   قم دائمًا بتحديث الحالة الداخلية قبل إجراء المكالمات الخارجية. هذا يقلل من حالات عدم اتساق الحالة أثناء المكالمات الخارجية.

2. حراس إعادة الدخول / الأقفال:
   يستخدم ReentrancyGuard من OpenZeppelin قفلًا بسيطًا لمنع المكالمات المتداخلة. أدخله كما يلي:

import "@openzeppelin/contracts/security/ReentrancyGuard.sol";

contract SecureContract is ReentrancyGuard {
    mapping(address => uint256) balances;

    function withdraw(uint256 amount) public nonReentrant {
        require(balances[msg.sender] >= amount);
        balances[msg.sender] -= amount;
        (bool success, ) = msg.sender.call{value: amount}("");
        require(success);
    }
}

1. تقييد المكالمات الخارجية:
   قلل من التحويلات أو التفاعلات داخل الدوال الحرجة — استخدم نمط السحب بدلاً من الدفع التلقائي حيث يسحب المستخدمون أموالهم صراحةً.

2. التحليل الثابت والأدوات الآلية:
   أدوات مثل Slither وأطر تدقيق Soken ترصد ثغرات إعادة الدخول.

3. استخدام أحدث نسخ وميزات Solidity:
   تقدم Solidity 0.8+ تحققات مدمجة ضد تجاوز الأعداد، لكن مخاطر إعادة الدخول لا تزال موجودة، لذا اجمع بين أمان الكود وأنماط التصميم.

منهجية Soken: تدمج تدقيقاتنا نمذجة التهديدات اليدوية والتنفيذ الرمزي وفحص fuzzing، الذي يكشف تدفقات إعادة الدخول المعقدة والمخادعة التي قد تغفلها أدوات الفحص العامة.

أمثلة حقيقية لهجمات إعادة الدخول وتأثيرها

تبقى هجمات إعادة الدخول شائعة رغم زيادة الوعي. في الجدول التالي مقارنة بين هجمات بارزة يوضح تنوع وتكلفة تلك الاستغلالات:

ملاحظة: تولي تدقيقات Soken اهتمامًا خاصًا للأمان متعدد الطبقات، خصوصًا حول المكالمات عبر العقود ومعايير التوكن التي قد تفعّل دوال fallback بشكل ديناميكي.

متجهات delegatecall والقروض السريعة: تكبير مخاطر إعادة الدخول

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

تستخدم هجمات إعادة الدخول عادة القروض السريعة لتعظيم رأس المال للسحب التكراري:

• توفر القروض السريعة سيولة كبيرة وفورية في معاملة واحدة.
• يستخدم المهاجم أموال القرض السريع لتشغيل استدعاءات متكررة لسحب سيولة البروتوكول قبل سداد القرض.
• قد يؤدي استخدام delegatecall إلى تشغيل كود خارجي غير موثوق يغير حالة العقد أو يسمح بإعادة دخول.

رأي أمني: “في خبرة Soken، يمتد التخفيف من إعادة الدخول ليتجاوز عقد واحد إلى تصميم البروتوكول بالكامل — خاصة عندما يتواجد delegatecall والقروض السريعة معًا. يجب دمج حراس إعادة الدخول مع التحقق من صحة المدخلات وفحوصات خاصة بالقروض السريعة (حدود قيمة القروض، قيود على المكالمات المتكررة).”

جدول مقارنة: تقنيات شائعة لمنع إعادة الدخول

مثال شفرة Solidity: عقد عرضة لهجوم إعادة الدخول وإصلاحه

إليك عقدًا بسيطًا معرضًا للهجوم، وإصداره المحصن باستخدام حارس إعادة الدخول:

// عرضة للهجوم: السحب قبل تحديث الرصيد
contract Vulnerable {
    mapping(address => uint256) public balances;

    function deposit() external payable {
        balances[msg.sender] += msg.value;
    }

    function withdraw(uint256 amount) external {
        require(balances[msg.sender] >= amount, "Insufficient funds");
        (bool success, ) = msg.sender.call{value: amount}("");
        require(success, "Transfer failed");
        balances[msg.sender] -= amount; // عرضة: تحديث الحالة بعد المكالمة الخارجية
    }
}

تم إصلاحه باستخدام ReentrancyGuard وتأثيرات قبل التفاعل:

import "@openzeppelin/contracts/security/ReentrancyGuard.sol";

contract Secure is ReentrancyGuard {
    mapping(address => uint256) public balances;

    function deposit() external payable {
        balances[msg.sender] += msg.value;
    }

    function withdraw(uint256 amount) external nonReentrant {
        require(balances[msg.sender] >= amount, "Insufficient funds");
        balances[msg.sender] -= amount; // تحديث الحالة قبل المكالمة الخارجية
        (bool success, ) = msg.sender.call{value: amount}("");
        require(success, "Transfer failed");
    }
}

نصيحة محترف: اجمع دومًا بين نمط checks-effects-interactions وحراس إعادة الدخول. يساعد تدقيق مخططات المكالمات بين العقود والاختبار باستخدام أدوات fuzzing في كشف ثغرات إعادة دخول متعددة الانتقالات قبل النشر.

تظل ثغرات إعادة الدخول تهديدًا حرجًا للعقود الذكية، خصوصًا في أنظمة DeFi المعقدة التي تستخدم القروض السريعة وdelegatecall. أكثر الدفاعات فاعلية تجمع بين انضباط الكود (checks-effects-interactions)، حراس إعادة الدخول الصريحة، تدقيقات صارمة، والتحقق من صحة المعاملات بحسب السياق.

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

هل تحتاج إلى خبراء أمان؟ فريق مدققي Soken قام بمراجعة أكثر من 255 عقدًا ذكيًا وحمى أكثر من 2 مليار دولار من قيمة البروتوكولات. سواء كنت بحاجة إلى تدقيق شامل، أو تقييم أمني مجاني باستخدام الفحص X-Ray، أو مساعدة في التنقل ضمن لوائح التشفير، نحن جاهزون لدعمك.

تحدث إلى خبير من Soken | عرض تقارير تدقيقنا