Prompt to Pwn: Automated Exploit Generation for Smart Contracts
تقدم هذه الورقة البحثية إطار عمل \textsc{ReX}، وهو إطار عمل قائم على التنفيذ يستفيد من النماذج اللغوية الكبيرة (LLMs) وحزمة (Foundry) لأتمتة توليد الثغرات البرمجية من البداية إلى النهاية للعقود الذكية، كاشفةً أنه في حين يمكن للنماذج الحالية صياغة إثباتات مفهوم حتمية لثغرات العقود المنفردة بفعالية، إلا أنها تواجه صعوبة في الهجمات العابرة للعقود وتواجه فجوات كبيرة بين القابلية للاستغلال التقني والأثر الاقتصادي في العالم الحقيقي.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
إليك شرح لورقة بحثية بعنوان "Prompt to Pwn" باستخدام لغة بسيطة وتشبيهات إبداعية.
الصورة الكبيرة: تجربة "الروبوت المخترق"
تخيل العقود الذكية كأنها خزائن بنوك رقمية تعمل على "البلوكشين". بمجرد أن تبني واحداً وتغلقه في مكانه، لا يمكنك تغيير الأقفال أو إصلاح مفصلة مكسورة دون إعادة بناء الخزنة بأكملها. إذا وجد خلل ما، يمكن للسارق سرقة كل شيء للأبد.
لسنوات، استخدم خبراء الأمن أدوات للعثور على هذه العيوب (مثل جهاز كشف المعادن للبحث عن الثغرات). لكن هذه الورقة تطرح سؤالاً جديداً ومخيفاً: ماذا لو أعطينا ذكاءً اصطناعياً فائق الذكاء (نموذج لغوي كبير أو LLM) مهمة ليس فقط العثور على الخلل، بل بناء المفتاح الفعلي لكسره؟
قام الباحثون ببناء نظام يسمى ReX لاختبار ذلك. لقد طلبوا من خمسة من أذكى نماذج الذكاء الاصفي في العالم أن يتقمصوا دور "script kiddies" (مخترقين مبتدئين) ويحاولوا توليد "إثبات مفهوم" (PoC) ناجح للاختراق — وهو ما يشبه عملياً أداة فتح أقفال تعمل فعلياً لكسر الخزائن الرقمية.
كيف يعمل النظام (مصنع "ReX")
تخيل ReX كمصنع خط تجميع عالي التقنية حيث يكون الذكاء الاصطناعي هو العامل، و"المسبك" (Foundry) هو مفتش مراقبة الجودة.
- المخطط (المعالجة المسبقة): يقوم الباحثون بتنظيف كود العقد الضعيف حتى لا يرتبك الذكاء الاصطناعي بسبب الملاحظات الفوضوية.
- البناء (توليد السكريبت): يُطلب من الذكاء الاصطناعي كتابة شيئين:
- أداة فتح القفل: سكريبت مصمم لكسر الخزنة.
- الاختبار: سكريبت لإثبات أن أداة فتح القفل تعمل بالفعل.
- التفتيش (المسبك/Foundry): يتم تغذية الكود في محرك اختبار يسمى Foundry. إذا لم يتمكن الكود من "الترجمة" (مثل سيارة لا تعمل) أو فشل الاختبار، فإن الآلة ترفضه.
- حلقة الإصلاح: إذا فشل الذكاء الاصطناعي، ترسل الآلة رسالة الخطأ إليه: "مهلاً، لقد نسيت فاصلة منقوطة"، أو "حساباتك الرياضية خاطئة". يحاول الذكاء الاصطناعي مرة أخرى. تستمر هذه العملية حتى ينجح الذكاء الاصطناعي أو يستسلم.
ماذا وجدوا؟ (النتائج)
اختبر الباحثون نماذج الذكاء الاصطناعي على نوعين من الخزائن:
- خزائن التدريب (SmartBugs): أمثلة بسيطة وكلاسيكية لأقفال مكسورة.
- خزائن العالم الحقيقي (Web3-AEG): عقود فعلية تم اختراقها في الماضي، مما تسبب في خسائر بالملايين.
1. الأخبار الجيدة للمدافعين: الذكاء الاصطناعي "أحادية المهارة"
الذكاء الاصطناعي جيد بشكل مدهش في كسر الخزائن البسيطة ذات العقد الواحد.
- تشبيه: إذا كانت الخزنة تحتوي على مفصلة مكسورة (خطأ رياضي بسيط أو فحص سيئ لكلمة المرور)، يمكن للذكاء الاصطناعي فتحها بسهولة.
- النتيجة: في العيوب البسيطة، نجحت أفضل نماذج الذكاء الاصطناعي مثل Gemini 2.5 Pro و GPT-4.1 بنسبة تتراوح بين 60 إلى 90% من الوقت.
2. الأخبار السيئة للمدافعين: الذكاء الاصطناعي لا يستطيع التعامل مع "أفلام السطو"
يعاني الذكاء الاصطناعي بشدة مع الهجمات المعقدة متعددة العقود.
- تشبيه: عمليات السطو الحقيقية غالباً ما تشبه أفلام السطو حيث يتعين على اللص خداع البنك، وحارس الأمن، وشاحنة التوصير في آن واحد، باستخدام سلسلة من الأحداث.
- النتيجة: عندما يتطلب الهجوم تنسيقاً بين عقود مختلفة (مثل هجوم القرض السريع - Flash Loan)، يفشل الذكاء الاصطناعي في الغالب. يمكنه رؤية الباب المكسور، لكنه لا يستطيع معرفة كيفية الركض عبر متاهة الممرات للوصول إلى المال.
3. الفجوة "البشرية"
عندما نجح الذكاء الاصطناعي، فإنه عادة ما يكتشف الثغرة التقنية فقط.
- تشبيه: قد ينجح الذكاء الاصطناعي في فتح القفل وفتح باب الخزنة. لكن الخبير البشري سيعرف أنه يجب عليه فوراً الإمساك بالذهب، واستبداله بالنقد، والهروب قبل أن ينطلق الإنذار. أما الذكاء الاصطناعي، فغالباً ما يفتح الباب ويقف هناك فقط. إنه يفتقر إلى "الحدس الاقتصادي" لتحويل الثغرة التقنية إلى جريمة مربحة.
ما الذي يجعل الذكاء الاصطناعي ينجح أو يفشل؟
أراد الباحثون معرفة: هل السبب هو أن الكود صعب جداً؟ أم أن "الأمر" (Prompt) خاطئ؟ أم أن الذكاء الاصطناعي ليس ذكياً بما يكفي؟
- إنه عقل الذكاء الاصطناعي، وليس الكود: من المثير للدهشة أن حجم أو تعقيد الكود لم يؤثر كثيراً. كان الكود الصغير والبسيط صعباً (أو سهلاً) على الذكاء الاصطناعي بنفس القدر الذي كان عليه الكود الضخم والمعقد. العامل الحاسم كان ببساطة أي نموذج ذكاء اصطناعي تستخدمه. بعض النماذج أفضل في "التفكير" كهاكر.
- "الأمر" (Prompt) لا يساعد كثيراً: قول "كن خبيراً أمنياً!" أو "فكر خطوة بخطوة!" ساعد قليلاً، لكنه لم يحل المشكلة الأساسية. إذا لم يفهم الذكاء الاصطناعي المنطق، فلن تجدي نفعاً أي تعليمات مهذبة.
- الإصلاح التكراري هو المفتاح: أكبر دفعة جاءت من "حلقة الإصلاح". إذا سمحت للذكاء الاصطناعي بالمحاولة، والفشل، وقراءة الخطأ، ثم المحاولة مرة أخرى، فإن معدل نجاحه يتضاعف تقريباً. الأمر يشبه السماح للطالب بأداء اختبار تجريبي قبل الاختبار الحقيقي.
كيف ندافع ضد المخترقين الآليين؟
إذا كان الذكاء الاصطناعي يصبح أفضل في الاختراق، فكيف نوقفه؟ تقترح الورقة بعض تقنيات "التحصين غير المتماثل" (Asymmetric Hardening) — وهي حيل تجعل الحياة صعبة على الذكاء الاصطناعي ولكن سهلة على البشر.
- تقسيم الخزنة (تقسيم الكود): بدلاً من عقد واحد كبير، قم بتقسيم المنطق إلى قطع صغيرة وغير متصلة.
- تشبيه: إذا كان الذكاء الاصطناعي يحاول حل لغز، أعطه 100 لغز صغير بدلاً من لغز واحد كبير. سيتشتت ذهنه في محاولة ربط النقاط ببعضها.
- استخدام "المصافحات السرية" (بناء جملة نادر): استخدم ميزات برمجية غامضة وغريبة نادراً ما يراها الذكاء الاصطناعي في بيانات تدريبه.
- تشبيه: إذا كان الذكاء الاصطناعي مدرباً على اللغة الإنجليزية القياسية، فتحدث معه بلهجة لا يعرفها. سوف يتعثر في الكلمات.
- وضع الفخاخ (ثغرات وهمية): ضع عمداً "أقفالاً مكسورة" مزيفة في الكود تبدو حقيقية ولكنها ليست كذلك.
- تشبيه: ضع صناديق كنز مزيفة في الممر. سيضيع الذكاء الاصطناعي وقته في محاولة فتح الأقفلة المزيفة، بينما يظل الذهب الحقيقي آمناً.
- دفاع "سوء الحظ": وجدت الورقة أن الذكاء الاصطناعي سيء جداً في التنبؤ بالأشياء التي تعتمد على العشوائية أو الوقت (مثل "ما هي حالة الطقس بعد 5 دقائق؟"). استخدام هذه العناصر في الكود الخاص بك يربك الذكاء الاصطناعي.
الخلاصة
الحكم:
نماذج الذكاء الاصطناعي الحالية تصبح أدوات خطيرة للعثور على الثغرات البسيطة في العقود الذكية. يمكنها أن تعمل كـ "مضاعفات قوة" للمخترقين المبتدئين، مما يسمح لهم بكسر الأقفال البسيطة التي لم يكن بإمكانهم كسرها من قبل.
ومع ذلك:
إنها ليست بعد "مخترقين خارقين". لا يمكنها حتى الآن تنفيذ عمليات سطو معقدة متعددة الخطوات تتطلب تفكيراً اقتصادياً عميقاً أو التنقل عبر متاهة من العقود المختلفة.
الدرس المستفاد:
لسنا بحاجة للذعر من أن الذكاء الاصطناعي سيفرغ جميع محافظ العملات الرقمية فوراً. لكننا بحاجة للتوقف عن معاملة الذكاء الاصطناعي كعصا سحرية. الدفاع الأفضل ليس مجرد كود أفضل؛ بل هو جعل الكود يبدو غريباً ومعقداً بما يكفي لإرباك الروبوت، مع إبقائه بسيطاً بما يكفي ليفهمه البشر.
تخلص الورقة إلى أنه بينما يعد الذكاء الاصطناعي سلاحاً جديداً قوياً، فإن "العنصر البشري" المتمثل في فهم المنطق التجاري والحوافز الاقتصادية للاختراق لا يزال هو الدرع النهائي.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.