Enforcing Control Flow Integrity on DeFi Smart Contracts
تقدم هذه الورقة CrossGuard، وهو إطار عمل جديد على السلسلة (on-chain) يعزز أمن العقود الذكية للتمويل اللامركزي (DeFi) من خلال فرض سلامة تدفق التحكم عبر القائمة البيضاء في وقت التشغيل، مما يحجب بفعالية 35 هجوماً من أصل 37 هجوماً تاريخياً مع حد أدنى من الإيجابيات الكاذبة وتكاليف الغاز الإضافية دون الحاجة إلى معرفة مسبقة باستغلالات محددة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
إليك شرح لورقة بحث "فرض سلامة تدفق التحكم على عقود DeFi الذكية" باستخدام لغة بسيطة وتشبيهات إبداعية.
المشكلة: "برج الليغو" للمال
تخيل عالم التمويل اللامركزي (DeFi) كمدينة ضخمة وعالمية مبنية بالكامل من مكعبات الليغو. كل مكعبة هي "عقد ذكي" (Smart Contract)—وهي قطعة من الكود تتعامل تلقائياً مع الأموال، أو القروض، أو التداولات دون وجود بنك في المنتصف.
ولأن هذه المكعبات مصممة لتتصل ببعضها بسهولة (وهي ميزة تسمى القابلية للتركيب - Composability)، يمكن للمطورين بناء ناطحات سحاب معقدة عبر تكديس بروتوكولات مختلفة فوق بعضها البعض. هذا أمر مذهل للابتكار، لكنه يخلق مخاطر أمنية هائلة.
خدعة المخترق:
في الماضي، لم يحاول المخترقون مجرد كسر مكعبة ليغو واحدة. بدلاً من ذلك، وجدوا طريقة لإسقاط المكعبات في تسلسل لم يتخيله البناؤون الأصليون.
- المستخدم العادي: يدخل إلى البنك، يودع المال، ثم يغادر. (مسار بسيط).
- المخترق: يدخل، يضغط على رافعة، مما يؤدي لتفعيل باب سري، مما يؤدي لتفعيل رافعة ثانية، مما يؤدي لتفعيل رافعة ثالثة، كل ذلك في جزء من الثانية، ليفرغ الخزنة قبل أن ينطلق جرس الإنذار.
أدوات الأمن التقليدية تشبه الحراس الذين يتحققون فقط مما إذا كنت تحمل بطاقة هوية صالحة. هم لا يهتمون كيف تتحرك داخل المبنى. إذا كان معك بطاقة، سيسمحون لك بالمشي عبر الجدران، حتى لو كنت تفعل شيئاً جنونياً.
الحل: CrossGuard (شرطي المرور)
قام الباحثون ببناء نظام جديد يسمى CrossGuard. بدلاً من مجرد التحقق من هويتك، يعمل CrossGuard مثل شرطي مرور صارم جداً داخل المبنى.
إليك كيف يعمل، مقسماً إلى مفاهيم بسيطة:
1. "القائمة البيضاء" (المسار المعتمد)
تخيل أن المبنى لديه خريطة لكل طريقة مسموح بها للمشي من الباب الأمامي إلى الخزنة.
- الحركة الطبيعية: تمشي مباشرة إلى الخزنة، تضع مالك، ثم تغادر. هذا موجود على الخريطة.
- الهجوم: يحاول المخترق المشي عبر المطبخ، ثم القفز على السقف، ثم الهبوط داخل الخزنة. هذا المسار ليس موجوداً على الخريطة.
يقول CrossGuard: "لا يهمني من أنت. إذا لم يكن مسارك على الخريطة المعتمدة، فسيتم إيقافك فوراً، وسيتم إلغاء المعاملة."
2. لا يتطلب "تدريباً" (الحارس الفوري)
معظم الأنظمة الأمنية تشبه حراس الأمن الذين يحتاجون لمشاهدة تسجيلات فيديو لمدة شهر ليتعلموا ما هو "الطبيعي" قبل أن يتمكنوا من رصد المجرم.
- المشكلة: إذا افتتح مبنى جديد اليوم، ستكون تلك الحراسة عديمة الفائدة خلال الشهر الأول. غالباً ما يضرب المخترقون فور إطلاق بروتوكول جديد.
- القوة الخارقة لـ CrossGuard: هو لا يحتاج لمشاهدة التاريخ. يتم ضبط إعداداته مرة واحدة عند بناء المبنى. إنه يعرف القواعد فوراً. إنه يوقف المخترقين في اليوم الأول، وليس في اليوم الثلاثين.
3. التبسيط "الذكي" (تجاهل الضجيج)
إذا قام شرطي المرور بإيقاف كل شخص يسلك مساراً مختلفاً قليلاً، فسوف يتجمد المبنى. سيعلق الناس في حركة المرور لأسباب مشروعة.
- الاستدلالات (الاختصارات): CrossGuard ذكي بما يكفي لتجاهل الانحرافات غير الضارة.
- مثال: إذا دخلت غرفة لمجرد النظر إلى لوحة (قراءة فقط) ولم تلمس أي شيء، سيتجاهلك الشرطي.
- مثال: إذا استعرت كوباً من السكر وأعدته تماماً كما وجدته، سيتجاهلك الشرطي.
- مثال: إذا كنت تستخدم "رمزاً" (Token) قياسياً (مثل الدولار الرقمي) لدفع رسوم، فإن الشرطي يعرف أن هذا آمن ويسمح بمرورك.
من خلال تجاهل هذه الانحرافات الصغيرة والآمنة، يحافظ CrossGuard على انخفاض الإنذارات الكاذبة (بنسبة 0.26% فقط في اختباراتهم) بينما يظل قادراً على رصد المسارات الخطيرة والمجنونة.
النتائج: شبكة أمان تعمل حقاً
اختبر الباحثون CrossGuard على 37 عملية اختراق حقيقية في عالم DeFi حدثت بالفعل في الماضي.
- لوحة النتائج: نجح CrossGuard في منع 35 من أصل 37 من هذه الهجمات.
- الإخفاقان: فاته هجمتان لأن المخترقين استخدموا خدعة بسيطة جداً (مثل فتح قفل على باب واحد) لم تتضمن مساراً معقداً. CrossGuard مصمم لإيقاف هجمات المسارات المعقدة، وليس عمليات فتح الأقفال البسيطة.
- التكلفة: تشغيل شرطي المرور هذا يكلف القليل من الـ "Gas" (الرسوم التي تدفعها لاستخدام البلوكشين). في المتوسط، أضاف فقط 3.53% إلى التكلفة. وهذا ثمن زهيد مقابل منع خسارة ملايين الدولارات.
الصورة الكبيرة
فكر في CrossGuard كـ حارس بوابة في ملهى ليلي لا يكتفي بالتحقق من اسمك في القائمة، بل يراقب أيضاً حركات رقصك.
- إذا رقصت بشكل طبيعي، ستدخل.
- إذا حاولت القيام بشقلبة خلفية عبر المطبخ لسرقة مشروبات كبار الشخصيات (تدفق تحكم معقد وغير مصرح به)، سيوترك الحارس فوراً.
- والأفضل من ذلك؟ يتم توظيف الحارس بمجرد افتتاح الملهى، لذا لا توجد "فترة غير آمنة" حيث يمكن للمخترقين التسلل قبل أن يتعلم الحارس قواعد العمل.
باختصار: يؤمن CrossGuard نظام DeFi من خلال ضمان أن الأموال لا يمكن أن تتحرك إلا بالطرق التي خطط لها المطورون صراحةً، مما يوقف المخترقين الذين يحاولون تحريف النظام إلى أشكال لم يكن مقصوداً بها أبداً.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.