SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing
تقدم هذه الورقة SPEAR، وهو إطار عمل للتنسيق متعدد الوكلاء لتدقيق العقود الذكية يستفيد من الوكلاء المتخصصين، وبروتوكولات التفاوض، ومراجعة المعتقدات لتعزيز التخطيط، وتخصيص المهام، والتعافي الذاتي مقارنة بالبدائل المركزية أو القائمة على خطوط الإنتاج.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك مدير لمشروع إنشائي ضخم وعالي المخاطر. هدفك هو بناء خزنة رقمية (عقد ذكي - Smart Contract) تحوي مليارات الدولارات من العملات الرقمية المشفرة. إذا وُجد حتى صدع واحد صغير في الجدار، يمكن للصوص سرقة كل شيء.
تقليدياً، يستغرق استئجار فريق من الخبراء البشر لفحص هذه الخزنة أسابيع ويكلف ثروة طائلة. ينظرون إلى المخططات، ويختبرون الأقفال، ويفحصون الأساسات. ولكن مع بناء آلاف الخزنات الجديدة كل يوم، لا يستطيع الخبراء البشر مواكبة هذا العدد.
هنا يظهر SPEAR. فكر في SPEAR ليس كإنسان آلي واحد فائق الذكاء، بل كـ طاقم بناء منظم للغاية ويدير نفسه بنفسه، يتكون من عمال رقميين متخصصين (وكلاء). بدلاً من وجود مدير واحد يشرف على كل برغي، يتحدث هؤلاء العمال مع بعضهم البعض، ويتخذون قراراتهم الخاصة، ويصلحون أخطاءهم بأنفسهم.
إليك كيف يعمل طاقم SPEAR، مقسماً إلى أدوار بسيطة:
1. أعضاء الطاقم (الوكلاء)
- المخطط (وكيل التخطيط):
- الدور: مراقب الموقع.
- المهمة: ينظر إلى المشروع ككل ويقرر أي جزء من الخزنة يجب فحصه أولاً. إذا سمع إشاعة بأن باباً معيناً ضعيف، يخبر الجميع فوراً بالتوقف عن فحص السقف والتركيز على ذلك الباب. يقوم بتحديث قائمة "المهام المطلوب تنفيذها" باستمرار بناءً على المعلومات الجديدة.
- المنفذون (وكلاء التنفيذ):
- الدور: المفتشون.
- المهمة: هم من يقومون بالفعل بعمليات الاختبار. يستخدمون أدوات مختلفة (مثل المصابيح اليدوية، وأجهزة اختبار الإجهاد، وماسحات الكود) للعثور على الشقوق. إذا وجدوا مشكلة، لا يكتفون بالصراخ "ساعدوني!"؛ بل يرسلون رسالة إلى المخطط لتحديث الخطة.
- المصلح (وكيل الإصلاح):
- الدور: عامل الصيانة.
- المهمة: أحياناً، تولد الأدوات التي يستخدمها الطاقم تقريراً تالفاً (مثل نص برمجي للاختبار لا يعمل). وبدلاً من الاستسلام واستدعاء إنسان، يحاول المصلح إصلاح الأمر بنفسه. يبدأ بالإصلاحات الميكانيكية البسيطة أولاً (مثل شد برغي مرتخٍ). وفقط إذا فشل، يستدعي "خبير الذكاء الاصطناعي" المكلف لإعادة كتابة الكود.
- الحكم (الوكيل المنسق):
- الدور: مدير الموارد.
- المهمة: الجميع يحتاج إلى مال (قدرة حوسبية) ووقت. إذا احتاج المصلح إلى 500 رمز (Token) لإصلاح خطأ برمجي واحتاج المفتش إلى 200 لإجراء اختبار، فلا يمكنهما الحصول عليهما معاً. لذا، يعقد الحكم مزاداً سريعاً. ومن يحتاج للموارد بشكل أكثر إلحاحاً ويقدم أفضل قيمة، يفوز بها.
2. كيف يتواصلون (التنسيق)
في الأنظمة القديمة، إذا تعطلت أداة واحدة، يتوقف المشروع بأكل، ويجب على الإنسان إعادة تشغيله. في SPEAR، الطاقم لامركزي.
- "شبكة العقود" (المزايدة على المهام): عندما تظهر مهمة ما، لا ينتظر المنفذون الأوامر. بل يزايدون عليها. يقول أحدهم: "يمكنني القيام بذلك!"، ويقول آخر: "أنا أسرع!". ويحصل الأفضل على المهمة.
- "نظام الاعتقاد" (التكيف مع التغيير): تخيل أن المخطط يعتقد أن السقف هو الجزء الأكثر خطورة. فجأة، يجد المفتش صدعاً ضخماً في الأساسات. في النظام الجامد، سيتجاهل المخطط ذلك حتى نهاية اليوم. أما في SPEAR، فيرسل المفتش رسالة، ويقوم المخطط بتحديث "اعتقاداته" فوراً ويغير الخطة في تلك اللحظة.
- الترميم الذاتي: إذا انقطع كابل شبكة (انقطاع في الشبكة)، لا يصاب المصلح بالذعر. بل يستمر في العمل على ما يمكنه رؤيته محلياً. وبمجرد استعادة الاتصال، يرسل تحديثاً سريعاً فقط: "لقد أنهيت المهمة بينما كنت غائباً". وهكذا لا يضيع الوقت.
3. لماذا هذا أفضل من "المدير المركزي"؟
تخيل التدقيق التقليدي كـ قائد أوركسترا واحد يحاول قيادة الفرقة. إذا تعثر القائد، تتوقف الموسيقى. وإذا ارتبك القائد، تتوقف الفرقة بأكملها.
أما SPEA فهو يشبه فرقة جاز.
- إذا أخطأ عازف الطبل (وكيل التنفيذ) في الإيقاع، يقوم عازف "الباص" (وكيل الإصلاح) بتغطية خطئه.
- إذا سمع عازف الساكسفون (المخطط) لحناً جديداً، فإنه يشير للآخرين، وتقوم الفرقة بأكملها بالارتجال لحن جديد معاً دون توقف.
- لا يحتاجون لشخص واحد ليخبرهم ماذا يفعلون تالياً؛ بل يستمعون لبعضهم البعض ويتكيفون فوراً.
4. النتائج
اختبرت الورقة البحثية نهج "فرقة الجاز" هذا مقابل نهج "القائد" (برنامج حاسوبي مركزي تقليدي).
- السرعة: وجد SPEAR الثغرات الأكثر خطورة في الخزنة بشكل أسرع لأنه أعطى الأولوية للأجزاء الخطرة أولاً.
- المرونة: عندما قام الباحثون بتعطيل الأدوات عمداً أو قطع الإنترنت، استمر SPEAR في العمل. أما النظام المركزي فقد تعطل واضطر لإعادة التشغيل. أما SPEAR فقد استمر في عزف الجاز فحسب.
- التكلفة: لأن المصلح حاول إيجاد حلول بسيطة قبل استدعاء الذكاء الاصطناعي المكلف، وفر SPEAR الكثير من المال.
الخلاصة
SPEAR هو فريق ذكي وذاتي الترميم من العمال الرقميين الذين يدققون في أكواد "البلوكشين". وبدلاً من انتظار مدير بشري لإصلاح كل خطأ، يتحدثون مع بعضهم البعض، ويزايدون على الموارد، ويصلحون أدواتهم المعطلة بأنفسهم. وهذا يجعل العملية أسرع، وأرخص، وأصعب في الكسر، مما يضمن بقاء مليارات الدولارات في الخزنة الرقمية آمنة.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.