🤖 machine learning

MAGIQ: A Post-Quantum Multi-Agentic AI Governance System with Provable Security

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

المؤلفون الأصليون: Sepideh Avizeh, Tushin Mallick, Alina Oprea, Cristina Nita-Rotaru, Reihaneh Safavi-Naini

نُشر 2026-05-11

📖 6 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Sepideh Avizeh, Tushin Mallick, Alina Oprea, Cristina Nita-Rotaru, Reihaneh Safavi-Naini

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

إليك شرح لورقة بحث MAGIQ، مترجم إلى لغة بسيطة مع استخدام تشبيهات إبداعية.

الصورة الكبيرة: لماذا نحتاج إلى MAGIQ؟

تخيل مستقبلاً حيث لا يكتفي مساعدك الشخصي الذكي (لنسمّه "أليس") بالإجابة على الأسئلة فحسب، بل يذهب بالفعل للقيام بالأشياء نيابة عنك. قد يحجز رحلة طيران، أو يتفاوض على عقد، أو ينسق مع ذكاء اصطناعي طبي لتحديد موعد.

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

علاوة على ذلك، هناك تهديد يلوح في الأفق: الحواسيب الكمومية (Quantum Computers). هذه حواسيب مستقبلية فائقة القوة ستكون قادرة على كسر الأقفال الرقمية (التشفير) التي نستخدمها اليوم للحفاظ على أسرارنا آمنة. الأمر يشبه امتلاك مفتاح رئيسي يمكنه فتح كل الخزائن في العالم.

MAGIQ هو نظام جديد مصمم لحل مشكلتين في آن واحد:

الحوكمة: يمنح البشر السيطرة على وكلاء الذكاء الاصطناعي الخاص بهم، من خلال وضع قواعد صارمة حول من يمكنهم التحدث إليهم ومدى قدراتهم على العمل.
الاستعداد للمستقبل: يستخدم أقفالاً "مقاومة للكم" (Quantum-Resistant) لا يمكن حتى للحاسوب الخارق كسرها.

المفهوم الجوهري: "المحفظة الرقمية" و"الميزانية"

فكر في وكيل الذكاء الاصطناعي ليس كروبوت، بل كـ موظف رقمي يعمل لصالحك. يمنحك MAGIQ، بصفتك المدير، طريقة لإعطاء هذا الموظف محفظة رقمية بـ ميزانية صارمة.

1. نوعا الاجتماعات

تقدم الورقة البحثية طريقتين لتواصل الوكلاء مع بعضهم البعض:

جلسة (A-Session) (واحد لواحد): مثل مكالمة هاتفية خاصة بين وكيلين.
جلسة (C-Session) (واحد لمتعدد): مثل مدير مشروع يتصل بفريق مكون من خمسة متخصصين مختلفين لإنجاز مهمة ما.

2. "رسالة المهمة" (العملة)

في MAGIQ، في كل مرة يطلب فيها وكيل من وكيل آخر القيام بشيء ما، فإنه يرسل رسالة مهمة (Task-Message). فكر في هذا كأنه عملة معدنية في آلة بيع ذاتي.

لا يمكنك التحدث للأبد؛ يجب عليك إنفاق عملة مقابل كل طلب.
يقوم النظام بعدّ هذه العملات للتأكد من أن الوكيل لا يتجاوز ميزانيته.

3. الميزانيات (القواعد)

بصفتك المالك البشري، أنت تضع القواعد لمحفظة وكيلك:

مع من يمكنني التحدث؟ (قائمة اتصال - مثل قائمة بيضاء من الأصدقاء المعتمدين).
كم عدد المرات التي يمكنني الاتصال فيها؟ (حد الجلسة - مثلاً: "يمكنك إجراء 10 مكالمات فقط اليوم").
كم عدد الرسائل في كل مكالمة؟ (حد الرسائل - مثلاً: "في مكالمة واحدة، يمكنك إرسال 5 طلبات فقط").
ما هي مدة نشاطي؟ (الحد الزمني - مثلاً: "يمكنك العمل على هذا لمدة ساعة واحدة فقط").

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

كيف يعمل الأمر: سحر "سلاسل الهاش" (Hash Chains)

كيف يقوم النظام بعدّ الرسائل دون وجود كمبيوتر مركزي يراقب كل كلمة؟ يستخدم خدعة ذكية تسمى سلسلة الهاش (Hash Chain).

التشبيه: سلسلة مشابك الورق
تخيل أن لديك سلسلة طويلة من مشابك الورق.

تبدأ ببذرة سرية (المشبك الأول).
تقوم بتثبيت المشبك التالي به، ثم الذي يليه، لتنشئ سلسلة طويلة من 100 مشبك.
تُظهر المشبك الأخير (نهاية السلسلة) للوكيل الآخر وتقول له: "لدي 100 رسالة لأنفقها".
عندما ترسل رسالتك الأولى، تسلمه المشبك قبل الأخير في السلسلة.
يتحقق الوكيل الآخر: "هل هذا المشبك يتصل بالمشبك الأخير الذي رأيته؟". إذا كانت الإجابة نعم، فهو يقبل الرسالة.
تستمر في تسليم المشبك التالي في السلسلة لكل رسالة ترسلها.

لماذا هذا رائع؟

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

"المنسق" (قائد الفريق)

أحياناً يحتاج وكيل واحد للتحدث مع العديد. هذه هي جلسة (C-Session).
تخيل مدير مشروع يحتاج إلى توظيف 5 مستقلين مختلفين.

يحصل مدير المشروع على ميزانية كبيرة من المدير البشري.
بدلاً من إنشاء 5 سلاسل منفصلة، يقوم مدير المشروع بإنشاء شجرة ميركل (Merkle Tree) (شجرة عائلة رقمية من السلاسل).
يقوم المدير البشري بالتوقيع على "جذر" هذه الشجرة.
الآن، يمكن لمدير المشروع أن يثبت لأي مستقل: "أنا مخول للتحدث معك، ولدي ميزانية محددة لهذه المهمة"، دون الحاجة إلى طلب الإذن من المدير في كل مرة.

الأمان: ضمان "الصندوق الأسود"

تدعي الورقة البحثية أن MAGIQ آمن بشكل مثبت. هذا يعني أنهم لم يكتفوا بالتخمين، بل استخدموا إطاراً رياضياً (يسمى التركيب الشامل أو Universal Composability - UC) لإثبات ذلك.

التشبيه: المسرحية المثالية
تخيل مسرحية حيث يتبع الممثلون (الوكلاء) نصاً معيناً.

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

لقد أثبتوا أنه حتى لو امتلك المهاجم حاسوباً كمومياً، فلن يتمكن من:

التظاهر بأنه شخص آخر (انتحال الشخصية).
تغيير الرسائل أثناء انتقالها (التلاعب).
جعل الوكيل ينفق أكثر من ميزانيته (تجاوز الإنفاق).
إخفاء هوية مرسل الرسالة (المساءلة).

هل يعمل في الحياة الواقعية؟ (النتائج)

اختبر المؤلفون MAGIQ مقابل نظام موجود يسمى SAGA (الذي يستخدم أقفالاً قديمة غير مقاومة للكم).

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

الملخص

MAGIQ هو كتاب قواعد ونظام أقفال جديد لوكلاء الذكاء الاصطناعي.

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

إنها الخطوة الأولى نحو مستقبل يمكن فيه لوكلاء الذكاء الاصطناعي العمل معاً بأمان، حتى في عالم توجد فيه حواسيب كمومية.

ملخص تقني: MAGIQ - نظام حوكمة للذكاء الاصطناج الوكيل متعدد الوكلاء بآمن كمي مبرهن

1. بيان المشكلة

إن النشر السريع لأنظمة الذكاء الاصطناجي الوكيل (Agentic AI)، القادرة على التخطيط المستقل وتنفيذ المهام متعددة الخطوات، يفرض تحديات حرجة في الحوكمة. تفتقر الأطر الحالية غالبًا إلى البنى الأمنية التي تضمن التزام الوكلاء بسياسات التواصل المحددة من قبل المالك، والحفاظ على المساءلة في التفاعلات، ومقاومة تهديدات الحوسبة الكمية المستقبلية.

تواجه الحلول الحالية عائقين رئيسيين:

الافتقار إلى إنفاذ السياسات: بينما تعزز بروتوكولات مثل Agent2Agent (A2A) وModel Context Protocol (MCP) التوافق التشغيلي، إلا أنها تفتقر إلى آليات الوساطة والإنفاذ أثناء وقت التشغيل، مما يترك الوكلاء عرضة لهجمات موثقة. النظام العملي الوحيد، SAGA، يفرض التحكم في الوصول بناءً على الرموز (Tokens)، لكنه يفتقر إلى نموذج أمني رسمي لتعريف السياسات ويعتمد على بدائيات تشفير كلاسيكية (مثل RSA وECC) المعرضة لخوارزميات Shor وGrover.
الهشاشة الكمية: توصي NIST بإيقاف استخدام خوارزميات المفتاح العام القياسية (RSA وDH وECC) بحلول عام 2030 بسبب تهديد الحواسيب الكمية. إن مجرد استبدال بدائيات SAGA بنظائر ما بعد الكم سيؤدي إلى زيادة كبيرة في العبء التشغيلي وسيفشل في معالجة القيود الجوهرية في تعريف السياسات وضمانات الأمن الرسمي.

المشكلة الأساسية هي غياب إطار عمل حوكمة يقدم في آن واحد إنفاذ سياسات غني وواعٍ دلاليًا للتفاعلات بين الوكلاء وأمنًا مبرهنًا لما بعد الكم.

2. المنهجية

يقترح المؤلفون MAGIQ، وهو إطار عمل مصمم لتعريف وإنفاذ السياسات لأنظمة الذكاء الاصطناجي الوكيل باستخدام بروتوكولات تشفير فعالة لما بعد الكم (PQC).

2.1 التجريدات الأساسية

يقدم MAGIQ نوعين من تجريدات التواصل على مستوى التطبيق لالتقاط دلالات الوكيل، متميزين عن رسائل النقل منخفضة المستوى:

A-session: يمثل التواصل (واحد لواحد) بين وكيلين (المبادر $A_I$ والمستجيب $A_R$ ).
C-session: يمثل التواصل (واحد لمتعدد) بين وكيل منسق ومجموعة من الوكلاء الآخرين.
Task-msg: هي وحدة التواصل داخل هذه الجلسات، وتجمع بين القصد، والبيانات (الحمولة)، والسياق، وهوية الوكيل.

2.2 تعريف السياسة

يحدد المستخدمون "ميزانيات" تحكم تفاعلات الوكيل. يقوم MAGIQ بإنفاذ أربعة أنواع محددة من السياسات:

قائمة الاتصال المصرح بها ( $ACL_A$ ): تحدد الوكلاء الذين يمكنهم بدء الاتصال والذين يمكنهم الاستجابة.
ميزانية المشاركة في A-session: تحدد عدد الجلسات التي يمكن للوكيل البدء فيها أو الاستجابة لها.
ميزانية Task-msg ( $Q_A$ ): تحدد عدد الرسائل التي يمكن للوكيل إرسالها ضمن جلسة واحدة.
ميزانية الوقت ( $\Delta_A$ ): تحدد المدة التي يظل فيها الوكيل نشطًا لمهمة ما.

2.3 آليات الإنفاذ التشفيري

يستخدم MAGIQ بدائيات ما بعد الكم لإنفاذ هذه السياسات دون الاعتماد على طرف ثالث موثوق لكل تفاعل:

سلاسل الهاش (Hash Chains): تُستخدم للعد الآمن والفعال لـ task-msgs. يبني الوكلاء سلاسل هاش تتوافق مع ميزانيات الرسائل الخاصة بهم. تكشف كل رسالة عن صورة سابقة للقيمة الملتزم بها حاليًا، مما يسمح للطرف المقابل بالتحقق من عدم تجاوز الميزانية. ترتبط هذه السلاسل بجلسات ووكلاء محددين لمنع إعادة الاستخدام.
أشجار ميركل (Merkle Trees): تُستخدم في C-sessions لتجميع القيم النهائية لعدة سلاسل هاش (واحدة لكل مستجيب) في جذر واحد. يسمح هذا للمنسق بإثبات العضوية في جلسة مصرح بها من قبل المستخدم بتوقيع واحد، بدلًا من طلب $m$ من التواقيع لـ $m$ من الجلسات.
توقيعات ما بعد الكم: يستخدم النظام توقيعات قائمة على الهاش (تحديدًا XMSS) للهوية طويلة الأمد وتفويض السياسة، مما يضمن الأمن ضد الخصوم الكميين.
PQ-TLS: تتم جميع الاتصالات عبر قنوات PQ-TLS ذات مصادقة متبادلة.

2.4 بنية النظام

يتضمن النظام ثلاثة كيانات:

المستخدمون ( $U$ ): يحددون السياسات ويمتلكون الوكلاء.
الوكلاء ( $A$ ): كيانات مستقلة تنفذ المهام.
المزود ( $TA$ ): كيان أمين ولكن فضولي (Honest-but-curious) يدير سجلًا للمستخدمين والوكلاء، ويسهل الاكتشاف والترخيص الأولي.

يتضمن سير العمل:

التسجيل: يسجل المستخدمون والوكلاء لدى المزود، ويحصلون على الشهادات ومفاتيح التوقيع.
اكتشاف الوكيل: يستعلم المبادر من المزود للتحقق مما إذا كان المستجيب مصرحًا له بموجب سياسات الاتصال الخاصة به.
إنشاء الجلسة: يقوم الوكلاء بعملية مصافحة تتضمن تبادل رموز التفويض الموقعة والتزامات سلسلة الهاش.
إرسال الرسائل: يتبادل الوكلاء task-msgs، مع تحديث رموز سلسلة الهاش والتحقق من علامات HMAC لضمان السلامة.

3. المساهمات الرئيسية

يدعي البحث المساهمات التالية:

إطار عمل MAGIQ: نظام يسمح للمستخدمين بتعريف ميزانيات غنية للاتصال والتحكم في الوصول، يتم إنفاذها عبر بدائيات تشفير ما بعد الكم، مما يوفر المساءلة من خلال إسناد task-msg.
نموذج أمني رسمي: نموذج إطار عمل التركيب العالمي (Universal Composability - UC) لبروتوكولات اتصالات الوكيل الآمنة المحددة والمنفذة بالسياسات. يثبت المؤلفون أن بروتوكولات MAGIQ تحقق بشكل آمن الوظائف المثالية المعرفة ( $F_{Reg}$ , $F_{A-auth}$ , $F_{Ases}$ , $F_{Cses}$ ).
تقييم الكفاءة: تقييم تجريبي يوضح أن MAGIQ عملي مقارنة بالنظام الكلاسيكي المتطور SAGA، حيث يظهر أن عبء ما بعد الكم ضئيل في ظروف الشبكة الواقعية.

4. النتائج التجريبية

قام المؤلفون بتقييم MAGIQ مقابل SAGA باستخدام نماذج لغوية كبيرة متنوعة (GPT-4.1, GPT-5.4, Qwen) وأنواع مهام مختلفة (التقويم، البريد الإلكتروني، الكتابة).

العبء الحسابي:
- التسجيل: يتكبد MAGIQ تكلفة لمرة واحدة تبلغ حوالي 36 ثانية لتسجيل المستخدم/الوكيل بسبب الحساب المسبق لشجرة مفاتيح XMSS. تظل عمليات التسجيل من جانب المزود منخفضة (~5.4 مللي ثانية).
- لكل جلسة: التكاليف المتكررة أقل من 5 مللي ثانية بشكل موحد.
- نقل البيانات: يقلل MAGIQ من عبء نقل البيانات بشكل كبير (0.03 مللي ثانية مقابل 1.44 مللي ثانية في SAGA للوكلاء المبادرين) بسبب التعامل الفعال مع الرموز.
عبء البروتوكول:
- ينخفض العبء الموزع بشكل حاد مع زيادة عدد الطلبات لكل جلسة ( $Q_{max}$ ).
- عند أحجام الجلسات العملية ( $Q_{max} \ge 15$ )، يقترب عبء MAGIQ من SAGA ليصبح ضمن نطاق 10 مللي ثانية، بغض النظر عن زمن انتقال الشبكة. تكلفة ما بعد الكم الإضافية يتم استيعابها ضمن تباينات زمن انتقال الشبكة.
إكمال المهام:
- يضيف MAGIQ عبئًا ثابتًا قدره ~0.176 ثانية (لوكيلين) إلى ~0.336 ثانية (لعدة وكلاء) لتنفيذ المهام.
- يمثل هذا أقل من 2% من إجمالي وقت التنفيذ عبر جميع النماذج والمهام المختبرة، مما يؤكد أن التكلفة ضئيلة فعليًا مقارنة بزمن استجابة الاستدلال للنماذج اللغوية الكبيرة.
عرض النطاق الترددي (Bandwidth):
- يتطلب MAGIQ عرض نطاق ترددي أعلى أثناء إنشاء الجلسة (88.65 كيلوبايت مقابل 2.12 كيلوبايت في SAGA) بسبب شهادات وتواقيع ما بعد الكم.
- ومع ذلك، فإن نقل البيانات لكل طلب متقارب (0.56 كيلوبايت مقابل 0.59 كيلوبايت في SAGA).
القابلية للتوسع:
- يتوسع عبء المزود خطيًا مع عدد الوكلاء ولكنه يظل ضئيلاً حتى مع وجود 100 وكيل مع أعمار جلسات قصيرة.
- يتوسع عبء المنسق خطيًا مع عدد الوكلاء المستلمين ولكنه ينخفض بشكل كبير مع زيادة أعمار الجلسات.

5. الأهمية والادعاءات

يضع البحث MAGIQ كأول خطوة نحو حلول آمنة لما بعد الكم لأنظمة الذكاء الاصطناجي الوكيل. تكمن أهميته في:

الأمن المبرهن: على عكس المقترحات النظرية السابقة، يوفر MAGIQ إثباتات رسمية قائمة على UC لإنفاذ السياسات وضمانات الأمن ضد الخصوم ذوي القدرة الكمية متعددة الحدود.
العملية: يظهر التقييم أن الانتقال إلى تشفير ما بعد الكم لا يفرض عقوبة أداء باهظة على سير عمل الوكلاء، مما يجعله حلاً قابلاً للتطبيق للنشر الفوري.
الوعي الدلالي: من خلال نقل إنفاذ السياسة من طبقة النقل إلى طبقة التطبيق (task-msgs)، يضمن MAGIQ أن الحوكمة تتماشى مع الدلالات الفعلية لمهام الوكيل، مما يمنع الهجمات التي تتجاوز أمن طبقة النقل.

يخلص المؤلفون إلى أن MAGIQ ينجح في تحقيق التوازن بين الحاجة إلى أمن صارم ومستقبلي وبين الكفاءة التشغيلية المطلوبة لأنظمة الذكاء الاصطناجي الوكيل المعقدة.