LibScan: Smart Contract Library Misuse Detection with Iterative Feedback and Static Verification
تقدم هذه الورقة LibScan، وهو إطار عمل مؤتمت يجمع بين الاستدلال الدلالي القائم على النماذج اللغوية الكبيرة والتحليل الساكن القائم على القواعد وآلية التصحيح الذاتي التكرارية للكشف بفعالية عن ثماني فئات من سوء استخدام مكتبات العقود الذكية، محققاً دقة بنسبة 85.15% على عقود من العالم الحقيقي ومتفوقاً بشكل كبير على الأدوات الحالية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تقوم ببناء منزل. ولتوفير الوقت وضمان السلامة، قررت استخدام أدوات ومخططات جاهزة وعالية الجودة من شركة بناء موثوقة (وهذه هي مكتبات العقود الذكية - Smart Contract Libraries). أنت تتوقع أن تعمل هذه الأدوات بشكل مثالي في كل مرة.
ومع ذلك، في بعض الأحيان يرتكب الشخص الذي يستخدم الأداة خطأً. ربدما استخدم مطرقة لربط مسمار لولبي، أو نسي التحقق مما إذا كان الباب مغلقاً قبل المغادرة. في عالم البلوكشين، هذه الأخطاء ليست مجرد أمور مزعجة فحسب؛ بل يمكن أن تؤدي إلى ضياع ملايين الدولارات للأبد لأن الكود، بمجرد بنائه، لا يمكن إصلاحه بسهولة.
تقدم هذه الورقة البحثية LibScan، وهو "مفتش ذكي" جديد مصمم لكشف هذه الأخطاء المحددة قبل بناء المنزل.
إليك كيف يعمل LibScan، مشروحاً عبر تشبيهات بسيطة:
1. المشكلة: "الخبير" مقابل "كتاب القواعد"
تقليدياً، كانت الماسحات الأمنية تشبه كتب القواعد الصارمة. كانت تنظر إلى الكود الخاص بك وتقول: "لقد استخدمت مطرقة على مسمار لولبي؟ هذا يخالف القاعدة رقم 42!"
- العيب: هي بارعة في العثور على الأخطاء الواضحة، لكنها سيئة جداً في فهم "النية". إذا كنت قد استخدمت مطرقة لإصلاح باب لأنك ظننت أنه مسمار لولبي، فقد لا تكتشف القاعدة الخطأ لأن الأداة استُخدمت بشكل صحيح، ولكن للغرض الخاطئ فقط.
من ناحب أخرى، لدينا نماذج اللغات الكبيرة (LLMs)، وهي تشبه المهندسين المعماريين العباقرة والمثقفين. يمكنهم قراءة مخططاتك وفهم "لماذا" فعلت شيئاً ما. إنهم يفهمون "القصة" وراء الكود.
- العيب: هؤلاء المهندسون قد يكونون مبدعين أكثر من اللازم. قد "يهلوسون" ويظنون أنك ارتكبت خطأ بينما لم تفعل، أو قد يرتبكون أمام مخطط طويل ومعقد للغاية.
2. الحل: LibScan (المفتش الخارق)
LibScan هو فريق هجين يجمع بين المهندس المعماري (LLM) وكتاب القواعد (التحليل الساكن - Static Analysis) لإنشاء عملية تفتيش مثالية.
الخطوة أ: "التخمين الذكي" (المهندس المعماري)
أولاً، يطلب LibScan من المهندس المعماري (الذكاء الاصطناعي) النظر في الكود. الذكاء الاصطناعي لا يكتفي بالبحث عن الكلمات المفتاحية؛ بل يقرأ الكود كقصة. ويسأل نفسه: "هل يعرف هذا المطور ما هي القدرات الفعلية لأداة المكتبة هذه؟"
- الأخطاء الثمانية: تحدد الورقة 8 طرق محددة يخطئ بها المطورون في استخدام هذه الأدوات، مثل:
- المبالغة في التقدير: الاعتقاد بأن الأداة يمكنها القيام بالسحر بينما لا تستطيع ذلك.
- التقليل من التقدير: إعادة اختراع العجلة عندما تمتلك الأداة نسخة مثالية بالفعل.
- الأداة الخاطئة للمهمة: استخدام مكتبة مخصصة لنوع معين من البيانات على نوع مختلف تماماً.
الخطوة ب: "الرأي الثاني" (كتاب القواعد)
لأن المهندس المعماري قد يسهو أحياناً، يقوم LibScan فوراً بتشغيل فحص التحليل الساكن (Static Analysis). هذا يشبه ماسح الليزر الذي يقيس الأبعاد الدقيقة للكود. إنه يتحقق من الحقائق الصلبة: "هل قمت باستيراد هذه المكتبة فعلاً؟ هل الحسابات الرياضية صحيحة؟"
الخطوة ج: "النقاش" (التغذية الراجعة التكرارية)
هذا هو السر وراء نجاح النظام. إذا قال المهندس المعماري: "أعتقد أن هناك مشكلة هنا"، وقال كتاب القواعد: "أنا لا أرى أي مشكلة"، فإنهما لا يستسلمان. بل يدخلان في نقاش.
- يستخدم LibScan حلقة تكرارية حيث يُطلب من الذكاء الاصطناعي إعادة تقييم إجابته بناءً على البيانات الصلبة لكتاب القواعد.
- الأمر يشبه معلماً يسأل طالباً: "هل أنت متأكد؟ دعنا ننظر إلى الأدلة مرة أخرى". يصحح الذكاء الاصطناعي أخطاءه، ويقوم بصقل إجابته حتى يصبح واثقاً.
الخطوة د: "الحكم النهائي" (هيئة المحلفين)
أخيراً، يستخدم LibScan "هيئة محلفين" (خوارزمية الغابة العشوائية - Random Forest) لوزن قصة المهندس المعماري وحقائق كتاب القواعد. إذا اتفق الاثنان، فهذا خطأ مؤكد. وإذا اختلفا، يبحث النظام في تاريخ الحالات المماثلة لاتخاذ القرار الأفضل.
3. لماذا يهم هذا؟
اختبر الباحثون LibScan على 662 عقداً ذكياً من العالم الحقيقي.
- الأدوات القديمة: اكتشفت حوالي 62-68% من المشكلات.
- LibScan: اكتشف 85% من المشكلات.
إنه يشبه الترقية من كشاف ضوئي يرى الأرض فقط إلى طائرة بدون طيار (درون) يمكنها رؤية المنزل بأكمله، وتحديد الشقوق في الأساسات، وحتى سؤال البناء: "انتظر، هل كنت تقصد وضع النافذة هناك؟"
الملخص
LibScan هو شبكة أمان لعالم البلوكشين. فهو يمنع المطورين من كسر حساباتهم بالخطأ عبر استخدام الأدوات الجاهزة بشكل غير صحيح. يحقق ذلك من خلال الجمع بين ذكاء اصطناعي مبدع (يفهم "السبب") وماسح صارم (يتحقق من "الواقع")، ثم يجبرهما على التحدث مع بعضهما البعض حتى يجدوا الحقيقة.
النتيجة؟ عالم رقمي أكثر أماناً، حيث تقل احتمالية ضياع أموالك للأبد بسبب سوء فهم بسيط لأداة مكتبة برمجية.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.