PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts
تقدم هذه الورقة PoCo، وهو إطار عمل وكيل (agentic framework) يقوم ذاتياً بتوليد استغلالات إثبات مفهوم (PoC) قابلة للتنفيذ ومتوافقة مع Foundry من أوصاف الثغرات المكتوبة باللغة الطبيعية، مما يقلل بشكل كبير من الوقت والجهد المطلوبين لتدقيق أمن العقود الذكية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك مفتش مباني (مدقق عقود ذكية) اكتشفت للتو خللاً خطيراً في تصميم ناطحة سحاب. أنت تعلم أن المصعد قد يسقط إذا ضغط شخص ما على زر معين، ولكن لكي تثبت ذلك لمالك المبنى وطاقم الإنشاء، لا يمكنك مجرد القول: "قد يسقط". عليك بناء نموذج صغير وآمن للمصعد وتجعله يسقط بالفعل بطريقة محكومة لتظهر لهم: "انظروا؟ هذا حقيقي، وإليكم بالضبط كيفية كسره".
في عالم البلوكشين، يُسمى هذا "النموذج" إثبات المفهوم (Proof-of-Concept أو PoC). وهو عب Kind من الكود الذي يوضح وجود ثغرة أمنية.
المشكلة:
كتابة هذه "اختبارات السقوط" (PoCs) يدوياً يشبه محاولة بناء طائرة نموذجية معقدة وأنت معصوب العينين؛ فهي تستغفق وقتاً طويلاً، ومن السهل ارتكاب الأخطاء، وغالباً ما يكون المدققون في سباق مع الزمن. إذا لم يتمكنوا من بناء النموذج بسرعة، فقد لا يتمكنوا من إثبات أن المبنى غير آمن قبل أن يتم بناؤه.
الحل: PoCo
تقدم الورقة البحثية PoCo، والذي يرمز إلى "Proof-of-Concept". فكر في PoCo ليس كآلة حاسبة بسيطة، بل كـ مساعد آلي (روبوت متدرب) لديه وظيفة محددة للغاية.
- المدخلات: أنت (المدقق) تعطي الروبوت ملاحظة باللغة الإنجليزية العادية تصف المشكلة. على سبيل المثال: "إذا أرسل مستخدم أموالاً إلى العنوان صفر، فستعلق الرسوم وتختفي".
- عقل الروبوت (الذكاء الاصطناعي الوكيل - Agentic AI): على عكس الأدوات القديمة التي تحاول تخمين الإجابة مرة واحدة فقط، فإن PoCo هو نظام "وكيل". وهذا يعني أنه يفكر، ويتصرف، ويتعلم في حلقة مفرغة، تماماً كما يفعل البشر.
- الاستنتاج (Reason): يقرأ ملاحظتك وينظر إلى مخططات المبنى (الكود).
- التنفيذ (Act): يحاول كتابة نص برمجي (Script) لكسر المصعد.
- الملاحظة (Observe): يقوم بتشغيل النص البرمجي. هل تعطل؟ هل فشل في التجميع (Compile)؟
- المراجعة (Revise): إذا فشل، فإن الروبوت لا يستسلم. ينظر إلى رسالة الخطأ، ويفهم ما الذي سار بشكل خاطئ (على سبيل المثال: "لقد استخدمت الأداة الخاطئة")، ثم يحاول مرة أخرى.
- المخرجات: في النهاية، يسلمك الروبوت نصاً برمجياً يعمل وقابلاً للتنفيذ ينجح في إثبات الخلل. وهو جاهز ليتم وضعه في التقرير الرسمي.
كيف اختبروه
لم يكتفِ الباحثون بالأمل في نجاح الأمر، بل أخضعوا الروبوت لاختبار صارم:
- مجموعة البيانات: جمعوا 23 ثغرة أمنية من العالم الحقيقي من مشاريع بلوكشين فعلية (مثل مجموعة من المصاعد المعطلة الحقيقية).
- الاختبار: طلبوا من PoCo بناء "اختبار سقوط" لكل منها.
- المقارنة المرجعية (Baselines): قارنوا PoCo بطريقتين أخريين:
- نهج "المرة الواحدة" (One-Shot): طلب من ذكاء اصطناعي ذكي كتابة الكود بالكامل دفعة واحدة دون التحقق من عمله. (فشل هذا النهج معظم الأوقات، مثل طالب يخمن في اختبار رياضيات).
- نهج "سير العمل" (Workflow): إعطاء الذكاء الاصطناعي قائمة مرجعية جامدة وخطوات محددة. (كان هذا أفضل، لكنه كان لا يزال يتعثر عندما تتطلب المشكلة النظر خارج نطاق القائمة المرجعية).
- النتيجة: كان PoCo هو الفائز بوضوح. فقد نجح في بناء "اختبارات سقوط" تعمل لـ 50 من أصل 69 محاولة (عبر نماذج ذكاء اصطناعي مختلفة)، بينما عانت الطرق الأخرى بشكل كبير.
خدعة "الرقعة" (The Patch Trick)
كيف عرفوا أن "اختبارات السقوط" الخاصة بالروبوت كانت صحيحة حقاً وليست مجرد تخمينات محظوظة؟ استخدموا خدعة ذكية تسمى التحقق القائم على الرقعة (Patch-Based Validation).
- تخيل أن طاقم البناء قام بإصلاح المصعد (الرقعة/Patch).
- أخذ الباحثون "اختبار السقوط" الخاص بالروبوت وشغلوه ضد المصعد المُصلح.
- المنطق: إذا فشل "اختبار السقوط" الخاص بالروبوت في كسر المصعد المُصلح، فهذا يعني أن الاختبار كان جيداً حقاً—أي أنه نجح في استغلال النسخة القديمة المعطلة، وأن الإصلاح قد نجح. أما إذا ظل الاختبار يعمل على المصعد المُصلح، فهذا يعني أن الروبوت قد فشل في إيجاد المشكلة الحقيقية.
النقاط الرئيسية من الورقة البحثية
- الاستقلالية هي المفتاح: قدرة الروبوت على استكشاف الكود، وقراءة رسائل الخطأ، وتغيير خطته الخاصة، كانت أكثر أهمية من مجرد استخدام أقوى نموذج ذكاء اصطناعي متاح. حتى نماذج الذكاء الاصطناعي الأقل قوة أدت أداءً أفضل عندما أُتيحت لها حرية التكرار والتحسين.
- التفاصيل مهمة: كلما كانت ملاحظة المدقق أكثر تفصيلاً، زاد أداء الروبوت. ومع ذلك، فإن إعطاء الروبوت نصاً برمجياً جامداً وخطوة بخطوة حول كيفية كسر الشيء قد يربكه. من الأفضل إخبار الروبوت بما هو معطل و لماذا، وتركه يكتشف الطريقة.
- الأمان: يعمل الروبوت في بيئة معزولة وآمنة (مرآب رقمي "Sandbox") بحيث لا يمكنه بالخطأ كسر أموال حقيقية أو عقود حقيقية.
باختصار
PoCo هو أداة تحول وصف الإنسان لثغرة أمنية إلى اختبار يعمل ويثبت وجود الثغرة. إنه يوفر وقت المدققين، ويقلل الأخطاء، ويساعد المطورين على إصلاح الثغرات بشكل أسريد، مما يجعل منظومة البلوكشين أكثر أماناً. تثبت الورقة البحثية أن وكيل الذكاء الاصطناعي الذي يمكنه "التفكير، والتنفيذ، والتعلم" يتفوق بمراحل على الأدوات التي تتبع فقط نصاً ثابتاً أو تخمن مرة واحدة.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.