طورت OpenAI وParadigm اختبارًا لتدقيق العقود الذكية باستخدام AI

أعلنت OpenAI وParadigm، وهي شركة رأس مال مخاطرة في العملات الرقمية، عن إطلاق EVMbench — معيار متخصص مصمم لقياس أداء وكلاء الذكاء الاصطناعي في تدقيق العقود الذكية. تختبر الأداة ثلاث مهارات محددة: تحديد الثغرات الأمنية الشديدة وإنشاء تصحيحات لإصلاحها والاستغلال العملي للثغرات المكتشفة. في سياق تخسر فيه صناعة البلوكتشين مئات الملايين من الدولارات سنوياً بسبب ثغرات العقود الذكية، فإن ظهور أداة تقييم الذكاء الاصطناعي الموحدة ليست تمريناً أكاديمياً، بل ضرورة ملحة.

لفهم السبب في ظهور EVMbench في هذه اللحظة بالذات، يجب النظر إلى حالة سوق الأمن في فضاء البلوكتشين. العقود الذكية هي أكواد ذاتية التنفيذ موزعة على البلوكتشين تدير مليارات الدولارات في بروتوكولات التمويل اللامركزي. المشكلة هي أنه بعد نشرها على الشبكة، يكاد يكون من المستحيل تغيير العقد — أي خطأ يصبح دائماً وقد يكون مدمراً. يتطلب التدقيق التقليدي متخصصين ذوي مؤهلات عالية، وهم ينقصون بشكل حاد: الطلب على مدققي العقود الذكية تجاوز العرض منذ زمن طويل، وتمتد فترات التحقق لأسابيع. هذه هي بالضبط الفجوة التي يمكن لوكلاء الذكاء الاصطناعي أن يغلقوها نظرياً — إذا كانت قدراتهم قابلة للقياس والمقارنة بالطبع.

يستهدف EVMbench آلة Ethereum الافتراضية — EVM، المعيار الموحد لتنفيذ العقود الذكية الذي يكمن وراء ليس فقط Ethereum، بل عشرات البلوكتشين المتوافقة: BNB Chain وPolygon وArbitrum وغيرها. هذا يجعل المعيار مهماً لكل النظام البيئي، وليس فقط لشبكة واحدة. يتم بناء الاختبار حول سيناريوهات من العالم الواقعي: يتلقى وكيل الذكاء الاصطناعي كود العقد ويجب ألا يبلغ فقط عن "ثغرة محتملة" مجردة، بل أن يحدد بدقة الخلل الحرج ويقترح تصحيحاً يعمل ويوضح الاستغلال — أي كيف قد يستغل المهاجم المشكلة عملياً. يميز هذا النهج ثلاثي المستويات EVMbench بشكل أساسي عن الاختبارات المعممة لكتابة الأكواد: فهو يقيم ليس القدرات النحوية للنموذج، بل فهم منطق الأمن.

تبدو الشراكة بين OpenAI وParadigm منطقية، لكنها غير تافهة تماماً. Paradigm ليست مجرد صندوق استثمار في شركات العملات الرقمية الناشئة: تُعرف الشركة بخبرتها التقنية العميقة وتجري أبحاثاً خاصة بها في أمان البلوكتشين. بالنسبة لـ OpenAI، تفتح هذه التعاون الفرصة لإظهار القيمة التطبيقية لوكلائها خارج السيناريوهات المألوفة مثل كتابة النصوص أو توليد الأكواد. من المهم أن تم تطوير المعيار بشكل مشترك — هذا يعني أن EVMbench يعكس خبرة متخصصي الأمن العمليين، وليس فقط المهندسين المدربين على إنشاء اختبارات.

بالنسبة لصناعة أمن الذكاء الاصطناعي، فإن ظهور EVMbench يعني الانتقال من الحديث إلى النتائج القابلة للقياس. حتى الآن، كانت الادعاءات حول فعالية مدققي الذكاء الاصطناعي للعقود الذكية صعبة التحقق منها: استخدمت كل شركة اختباراتها الخاصة غير المتوافقة مع بعضها البعض. ينشئ المعيار الموحد لغة مشتركة — الآن يمكن للمطورين مقارنة النماذج بموضوعية، وسيحصل عملاء التدقيق على إرشادات عند اختيار الأدوات. يغير هذا ديناميكية المنافسة: الفائز ليس من يصرخ بأعلى صوت حول قدراته، بل من يثبت نموذجه نتائج حقيقية على مهام متطابقة.

بالنسبة للمستخدمين والمشاريع التي تعمل مع البلوكتشين، قد تثبت العواقب طويلة الأجل أنها محسوسة جداً. إذا تعلم وكلاء الذكاء الاصطناعي إيجاد الثغرات الحرجة بموثوقية، فإن تكلفة وجدول تدقيق العقود الذكية سينخفضان بشكل كبير — مما يعني أن البروتوكولات الأصغر، التي لا تستطيع اليوم تحمل مراجعات أمان شاملة، ستحصل على الحماية. هذا لا يلغي التدقيق البشري، لكنه يغير دوره: يمكن للمتخصصين التركيز على الثغرات المنطقية المعقدة، مع تفويض البحث الروتيني عن الأنماط المعروفة للآلات.

EVMbench هو اعتراف بأن التدقيق الأمني الآلي يصبح مجالاً جاداً يتطلب أدوات تقييم جادة. أن OpenAI وParadigm تولتا التطوير معاً يشير إلى نضج اللحظة: الصناعة جاهزة للانتقال من التجارب إلى المعايير. السؤال التالي هو ما الدرجة التي ستظهرها النماذج الموجودة وكم بسرعة سيبدأ المنافسون في التحسين للاختبار الجديد. يشير التاريخ مع المعايير الأخرى: بمجرد ظهور هدف قابل للقياس، يتسارع التقدم بشكل هائل.