Detecting Malicious Intents in Smart Contracts with Pre-trained Programming Language Models
تقدم هذه الورقة البحثية SmartIntentV2، وهو نموذج متطور يتفوق بشكل كبير على سلفه وGPT-4.1 في اكتشاف نوايا المطورين الخبيثة في العقود الذكية من خلال دمج نموذج لغة برمجة قائم على BERT تم تدريبه تكيُّفيًا مع المجال مع شبكة تصنيف BiLSTM.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل عالم البلوكشين كمدينة رقمية ضخمة وصاخبة حيث يبني الناس آلات بيع ذاتية التشغيل تسمى العقود الذكية (Smart Contracts). تعمل هذه الآلات من تلقاء نفسها، وتدير الأموال وتنفذ الصفقات دون وجود مدير بشري. عادةً ما تعمل هذه الآلات بشكل مثالي، ولكن أحياناً قد يقوم مطور مخادع ببناء "باب خلفي" أو فخ مخفي داخل كود الآلة. قد يبرمجها ليسرق كل الأموال فجأة، أو يجمد الآلة بحيث لا يستطيع أحد الشراء منها، أو يغير الأسعار بشكل غير عادل.
إن اكتشاف هذه الفخاخ المخفية يشبه محاولة العث lập إبرة في كومة قش، لكن كومة القش هذه مكونة من ملايين الأسطر من الكود البرمجي المعقد.
تقدم هذه الورقة البحثية حارساً ذكياً للغاية يسمى SmartIntentV2. وإليك كيف يعمل، مشروحاً ببساة:
1. المشكلة: المحقق الخاص بـ "النية السيئة"
في الماضي، بنى خبراء الأمن محققاً يسمى SmartIntentNN. كان جيداً جداً في رصد الأشرار؛ حيث كان بإمكانه النظر إلى عقد ما والقول: "مهلاً، هذا يبدو كفخ 'رسوم' (Fee)" أو "هذا يحاول وضع المستخدمين في 'القائمة السوداء' (Blacklist)".
ومع ذلك، كانت لديه بعض نقاط الضعف:
- كان بطيئاً وغبياً نوعاً ما: كان يقرأ الكود مثل الإنسان الذي يقرأ كتاباً، كلمة بكلمة، دون فهم المعنى العميق أو السياق.
- كان يفوت الأشرار النادرين: إذا كان هناك نوع معين من الاحتيال نادراً جداً، كان المحقق غالباً ما يتجاهله لأنه لم يرَ أمثلة كافية عليه.
//* كان يعاني مع التفاصيل الدقيقة: كان يخلط أحياناً بين ميزة بريئة وفخ خبيث.
2. الحل: SmartIntentV2 (القارئ الخارق)
قام المؤلفون بترقية المحقق إلى SmartIntentV2. فكر في هذه الترقية كأنك تمنح المحقق مكتبة ضخمة من الخبرات ودليل تدريب متخصص.
أ. التدريب المتخصص (SmartBERT)
أكبر ترقية هي مكون العقل الجديد المسمى SmartBERT.
- الطريقة القديمة: تخيل أنك تحاول تعلم كيفية إصلاح علامة تجارية معينة من سيارات فيراري عن طريق قراءة دليل عام بعنوان "كيف تصلح السيارات". ستعرف الأساسيات، لكنك ستفتقد التفاصيل الدقيقة لتلك الفيراري.
- الطريقة الجديدة: أخذ المؤلفون نموذج ذكاء اصطناญ عام (CodeBERT) وقدموا له 16,000 عقد ذكي من العالم الحقيقي ليدرسها خصيصاً. الأمر يشبه إرسال المحقق إلى "مدرسة فيراري" متخصصة حيث يقرأ آلاف العقود، ويتعلم المصطلحات الفريدة، والحيل، والأنماط الخاصة بكود البلوكشين.
- النتيجة: هذا النموذج الجديد، SmartBERT، يفهم "لهجة" العقود الذكية تماماً. إنه يعرف بالضبط كيف يبدو صوت المطور الخبيث عندما يحاول إخفاء فخ ما.
ب. التدريب "متوازن الفئات" (إصلاح العدالة)
يستخدم النظام الجديد استراتيجية التدريب متوازن الفئات (Class-Balanced Training).
- التشبيه: تخيل معلماً يصحح لطلبه. إذا حصل الطالب فقط على أسئلة حول "التفاح"، فسوف يتفوق في اختبار التفاح ولكنه سيفشل في اختبار "البرتقال".
- الإصلاح: تجبر طريقة التدريب الجديدة المحقق على التدرب على كل نوع من أنواع الاحتيال بالتساوي، حتى النادرة منها. هذا يضمن أن المحقق لن يتجاهل "البرتقال" لمجرد أنه نادر.
ج. "خسارة التركيز" (التركيز على الأشياء الصعبة)
يستخدم النظام أيضاً تقنية تسمى Binary Focal Loss.
- التشبيه: عندما تتعلم مهارة التلاعب بالكرات (Juggling)، تشعر بالملل عندما تتقنها. لكن عندما تسقط كرة، فإنك تولي اهتماماً إضافياً لمعرفة لماذا سقطت.
- الإصلاح: تم برمجة الذكاء الاصطناعي ليتجاهل العقود "السهلة" التي يعرف بالفعل أنها آمنة. بدلاً من ذلك، يركز كل طاقته على العقود "الصعبة" التي تبدو مربكة أو مشبوهة. وهذا يجعله أكثر حدة في اصطياد الفخاخ الماكرة.
3. النتائج: هزيمة العمالقة
اختبر المؤلفون SmartIntentV2 على 10,000 عقد ذكي حقيقي. وكانت النتائج مبهرة:
- الدقة: حصل على الإجابة الصحيحة بنسبة 97.89% من المرات.
- السرعة والتكلفة: إنه سريع جداً وغير مكلف للتشغيل.
- هزيمة العمالقة: قارنوه بـ GPT-4، الذكاء الاصطناضي الشهير الذي يمكنه كتابة الشعر والأكواد.
- حصل GPT-4 على الإجابة الصحيحة حوالي 56% من المرات فقط.
- استغرق GPT-4 11 ثانية وكلف 2.88 دولار لفحص 100 عقد فقط.
- قام SmartIntentV2 بنفس المهمة في 2.6 ثانية وبشكل مجاني (تكلفة الكهرباء فقط).
لماذا خسر الذكاء الاصطناني العملاق؟ لأن GPT-4 هو "عام"، فهو يعرف القليل عن كل شيء (الطبخ، التاريخ، البرمجة). أما SmartIntentV2 فهو "متخصص"؛ هو يعرف العقود الذكية فقط، لكنه يعرفها أفضل من أي شخص آخر.
4. لماذا هذا مهم؟
الأمر لا يتعلق فقط ببرمجة أفضل، بل بحماية أموال الناس.
- للمستخدمين: يعني ذلك عدداً أقل من عمليات الاحتيال وتطبيقات أكثر أماناً.
- للمطورين: يساعدهم في العثور على الأخطاء قبل أن يجدها المخترقون.
- للصناعة: يثبت أنك لست بحاجة إلى ذكاء اصطناعي ضخم ومكلف لحل مشكلات محددة. فالذكاء الاصطناعي الصغير والمتخصص المدرب على البيانات الصحيحة غالباً ما يكون أفضل بكثير.
ملخص
فكر في SmartIntentV2 كحارس أمن مدرب تدريباً عالياً قضى سنوات في دراسة المخططات الهندسية لخزائن البنوك الرقمية. وعلى عكس حارس الأمن العام الذي يعرف كيف يغلق باباً ولكنه لا يعرف رموز الإنذار الخاصة بهذا البنك تحديداً، فإن SmartIntentV2 يعرف كل فخ مخفي، وكل باب خلفي، وكل خدعة قد يستخدمها اللص. إنه أسرع، وأرخص، وأكثر ذكاءً في مهمته المحددة من أكبر نماذج الذكاء الاصطناني في العالم.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.