Verifiable Delegated Authority for LLM Agents in Banking: A Formal Architecture, Capability Protocol, and Audit Guarantees
تقترح هذه الورقة بنية رسمية لوكلاء النماذج اللغوية الكبيرة (LLM) الآمنين في القطاع المصرفي، والتي تفصل عملية التفويض عن النموذج باستخدام رموز قدرات مخففة ومحركات سياسات حتمية، مما يوفر ضمانات مثبتة لاحتواء السلطة، والحد من الخسائر المالية، ونزاهة التدقيق ضد الجهات المعادية.
في عالم المصارف عالي المخاطر، بُنيت الثقة تقليديًا على قواعد صارمة وفاعلين يمكن التنبؤ بسلوكهم. ولعقود من الزمن، أمّنت البنوك أبوابها الرقمية عبر ضمان أن كل إجراء صادر عن إنسان معروف أو خدمة حاسوبية موثوقة ومبرمجة مسبقًا. تعمل هذه الأنظمة وفق مبدأ بسيط: إذا كان الطلب موقعًا من الشخص الصحيح واتبع الخطوات الصحيحة، فهو آمن للتنفيذ. ومع ذلك، دخل نوع جديد من العمال إلى المشهد: الوكيل القائم على الذكاء الاصطناعي. وخلافًا للبشر أو البرامج الحاسوبية القياسية، تعمل هؤلاء الوكلاء مدعومين بنماذج لغوية كبيرة يمكنها التفكير من خلال معلومات معقدة وغير منظمة مثل رسائل البريد الإلكتروني أو التقارير، ويمكنهم اتخاذ قرار بشأن الخطوات التالية التي يجب اتخاذها بمفردهم. هذا المرونة تجعلهم مفيدين للغاية في التعامل مع المهام الإدارية الخلفية الفوضوية، لكنها تفرض أيضًا حالة من عدم اليقين العميق. فبسبب عدم قدرة هؤلاء الوكلاء على اتخاذ نفس القرار مرتين، حتى عند منحهم نفس المعلومات، فإن نماذج الأمن القديمة التي تفترض وجود فاعل يمكن التنبؤ به لم تعد صالحة. فإذا مُنح وكيل ذكاء اصطناعي مفاتيح تحريك الأموال، كيف يمكن للبنك أن يتأكد من أنه لن ينقل الأموال التي لا ينبغي له نقلها، سواء عن طريق الخطأ أو بسوء نية؟
يعالج نيراج أغاروال، وهو باحث في "إنفوسيس" (Infosys)، هذه المشكلة تحديدًا بإطار عمل جديد مصمم خصيصًا للعمل المصرفي. الفكرة الجوهرية هي التوقف عن محاولة جعل الذكاء الاصطناعي نفسه آمنًا تمامًا، وبدلاً من ذلك بناء قفص آمن حوله. في هذه البنية الجديدة، يُعامل الذكاء الاصطناعي ليس كصانع قرار موثوق، بل كمقترح غير موثوق؛ حيث يُسمح له باقتراح الإجراءات، لكن لا يُسمح له أبدًا بتنفيذها مباشرة. بدلاً من ذلك، يجب أن يمر كل اقتراح عبر محرك سياسة حتمي منفصل يعمل كحارس بوابة صارم. يقوم هذا المحرك بفحص الاقتراح مقابل مجموعة من القواعد و"رمز قدرة" (capability token) محدد يحد بدقة مما يمكن للوكيل القيام به، وكمية الأموال التي يمكنه تحريكها، ولأي مدة زمنية. تم تصميم النظام بحيث أنه حتى لو تعرض الذكاء الاصطناعي للخداع بواسطة أمر خبيث أو ارتبك بسبب بيانات سيئة، فلا يمكنه الخروج من حدود المهام الموكلة إليه. وقد أثبت الباحثون رياضيًا أنه بموجب هذا التصميم، لا يمكن للوكيل تصعيد صلاحياته للقيام بشيء لم يُصرح له به، كما قاموا بحساب الحد الأقصى الدقيق للمبالغ التي يمكن خسارتها في حال تعرض النظام لهجوم دون تدخل بشري.
ولضمان حدوث كل شيء بشكل صحيح، قام الباحثون أيضًا ببناء نظام من الأدلة القابلة للتحقق. فكل خطوة يتخذها الوكيل، بدءًا من الفكرة الأولية وصولاً إلى التنفيذ النهائي، تُسجل في سجل آمن وغير قابل للتغيير، موقع ومترابط كالسلسلة. وهذا يسمح للمدقق، أو حتى لحاسوب آخر، بالنظر في السجل بعد أشهر والتحقق من أن الوكيل قد التزم بقواعده، دون الحاجة إلى رؤية العمليات الذهنية الداخلية للذكاء الاصطناعي أو إعادة تشغيل الذكاء الاصطناعي نفسه. كما يقدم النظام طريقة لاستخدام وكلاء ذكاء اصطناعي متعددين لمراجعة أعمال بعضهم البعض. وقد وجد الباحثون أن مجرد إضافة المزيد من المراجعين لا يضمن السلامة؛ بل إن المفتاح يكمن في امتلاك مراجعين متنوعين، بمعنى أنهم مبنيون على نماذج مختلفة أو تم تدريبهم بشكل مختلف. فإذا تشارك جميع المراجعين في نفس "النقطة العمياء"، فسوف يرتكبون جميعًا نفس الخطأ. ومن خلال قياس هذه المخاطر، يمكن للنظام تحديد متى تكون الرأي الثاني يستحق التكلفة ومتى يكون من الضروري التوقف وطلب المساعدة من إنسان.
اختبر الفريق هذه الأفكار من خلال بناء نموذج أولي عامل وتمريره عبر آلاف الهجمات المحاكية. وفي هذه الاختبارات، حاول حاسوب معادٍ — يعمل كبديل لوكيل خبيث، دون وجود نموذج لغوي حقيقي في الحلقة — خداع النظام للقيام بإجراءات غير مصرح بها، مثل تزوير الرموز، أو إعادة تشغيل أوامر قديمة، أو التلاعب بالسجلات. وعبر 700,000 محاولة، نجح النظام في حظر كل تنفيذ غير مصرح به. وأكدت عمليات المحاكاة، التي اعتمدت على بيانات اصطناعية واستخدمت تقنية HMAC-SHA256 لتمثيل التوقيعات الرقمية الحقيقية، أن الحدود الرياضية للخسارة المالية كانت دقيقة؛ فعندما حاول المهاجمون دفع النظام إلى أقصى حدوده، طابقت الخسائر الحد الأقصى المتوقع تمامًا، مما أثبت إحكام شبكة الأمان. كما كشفت الاختبارات عن نقطتي ضعف محددتين في التصميم الأولي: إحداهما تتعلق بمدة صلاحية الرموز، والأخرى تتعلق بالقدرة على استرجاع السجلات إلى حالة سابقة. وقد عالج التصميم النهائي هذه الثغرات، مما ضمن أنه حتى لو تمكن المهاجم من سرقة رمز ما، فلا يمكن استخدامه إلا مرة واحدة وفقط ضمن نافذة زمنية قصيرة جدًا.
يمثل هذا النهج تحولًا في كيفية تفكيرنا في تأمين الأنظمة الذكية في البنية التحتية الحيوية. فبدلاً من الأمل في أن يتصرف الذكاء الاصطناعي بشكل جيد دائمًا، يفترض النظام أنه قد لا يفعل ذلك، ويبني طبقة إنفاذ منفصلة عن منطق الذكاء الاصطناعي. والنتيجة هي سير عمل يمكن للذكاء الاصطناعي من خلاله القيام بعمله في فرز المعلومات المعقدة واقتراح الحلول، بينما يحتفظ البنك بالسيطرة المطلقة على الإجراء النهائي. لقد أثبت الباحثون أنه من الممكن امتلاك وكلاء مؤتمتين أقوياء في بيئة مصرفية دون خلق مخاطر غير قابلة للتدقيق. ومن خلال معاملة الذكاء الاصطناعي كمقترح وطبقة التنفيذ كمنفذ، ومن خلال الاحتفاظ بسجل غير قابل للتلاعب بكل قرار، يمكن للبنوك البدء في استخدام هذه الأدوات بمستوى من السلامة والمساءلة كان مستحيلاً في السابق. لا يزال العمل نموذجًا رسميًا ومحاكاة، ولكنه يوفر مسارًا واضحًا ومثبتًا لنقل وكلاء الذكاء الاصطناعي من الأدوات التجريبية إلى صلب العمليات المالية المنظمة.
ملخص تقني: التفويض الموثوق للوكلاء المستقلين في النماذج اللغوية الكبيرة (LLM) في القطاع المصرفي
1. بيان المشكلة
يؤدي دمج الوكلاء المستقلين القائمين على النماذج اللغوية الكبيرة (LLM) في البنية التحتية المصرفية إلى فجوة أمنية جوهرية. تعتمد نماذج أمن واجهة برمجة التطبيقات (API) التقليدية على افتراض وجود فاعل مستقر: إما إنسان في جلسة موثقة أو خدمة محددة تستدعي واجهة برمجة تطبيقات ذات إصدار ثابت. وتخالف الوكلاء المستقلون كلاً من هذين الافتراضين من خلال قراءة سياقات غير مهيكلة، والتفكير بشكل غير حتمي، واختيار تسلسلات إجراءات قد تختلف عبر عمليات التشغيل المختلفة.
وعند ربط هذه الوكلاء بالأنظمة التي تنقل الأموال، ينشأ خطر جسيم ناتج عن عدم الحتمية هذا. غالبًا ما تركز أبحاث السلامة الحالية على اكتشاف حقن الأوامر (Prompt Injection) أو التصفية على مستوى النموذج. ومع ذلك، يرى المؤلف أنه بالنسبة للعمل المصرفي المنظم، يجب نقل إنفاذ السلطة من النموذج إلى حدود التنفيذ. التحدي الجوهري هو توفير ضمانات رسمية بأن الوكيل، بصفته مقترحًا عشوائيًا غير موثوق به، لا يمكنه تجاوز سلطته المفوضة، مع ضمان قدرة طرف ثالث (مدقق أو منظم) على التحقق من الامتثال دون الوثوق بتقرير الوكيل عن نفسه أو الوصول إلى أوزان النموذج.
2. المنهجية وهندسة النظام
يقترح البحث بنية رسمية حيث يتم التعامل مع النموذج اللغوي الكبير (LLM) حصريًا كـ "مقترح غير موثوق" لإجراءات محددة النوع، بينما يقوم محرك سياسات حتمي وطبقة تنفيذ بإنفاذ كافة الصلاحيات.
المكونات الأساسية
النموذج الرسمي للسلطة:
الإجراءات: تُعرف كإجراءات محددة النوع مع مساحات بارامترية (مثل المبلغ، العملة) وتعرض مرتبط بالخسارة.
سلاسل التفويض: تُمثل السلطة كسلسة من المنح التي تتضاءل (تقل) بمرور الوقت. تضمن السلسة الصالحة عدم قدرة أي وكيل على تصعيد الامتيازات؛ حيث تكون السلطة الفعلية لأي وكيل هي مجموعة جزئية من منح الأصيل الرئيسي.
قاعدة الحوسبة الموثوقة (TCB): تشمل محرك السياسات، طبقة التنفيذ، السجل غير القابل للتعديل، وبنية الهوية. ويتم استبعاد النموذج اللغوي الكبير (LLM) صراحةً من قاعدة الحوسبة الموثوقة.
بروتوكول مظاريف النوايا والرموز (Tokens):
مظاريف النوايا: تُغلف الإجراءات المقترحة في مظاريف موقعة تحتوي على الإجراء، هوية الوكيل، سلسلة التفويض، والحالة التجارية.
رموز القدرة (Capability Tokens): عند الموافقة على السياسة، يقوم المحرك بإصدار رمز واحد الاستخدام ومقيد بالبارامترات. ومن الأهمية بمكان أن نافذة صلاحية الرمز (texp) مقيدة بصرامة بانتهاء صلاحية سلسلة التفويض الأساسية.
فحص التنفيذ: تتحقق طبقة التنفيذ من توقيع الرمز، وتتأكد من مطابقة الإجراء لنوع الرمز ونطاق البارامترات، وتضمن أن الرمز ضمن نافذته الزمنية، وتتحقق من أن المعرف لم يُستخدم من قبل.
سير العمل القابل للتحقق:
ينتج عن كل انتقال للحالة حدث موقع يُرسل إلى سجل متسلسل هاشي (Hash-chained log) غير قابل للتعديل.
يمكن لـ مدقق يعتمد على الأدلة فقط التحقق من سير العمل بأكهمل باستخدام السجل والمفاتح العامة وإصدارات السياسات فقط، دون الحاجة لإعادة تشغيل النموذج اللغوي.
إجماع الوكلاء المتعددين:
بالنسبة للنوايا عالية المخاطر، يتم إدخال وكيل مراجع ثانٍ تم تكوينه بشكل مستقل.
يحلل البحث حالات الفشل "بسبب سبب مشترك" (مثل نقاط الضعف التدريبية المشتركة) لإثبات أن تنوع المراجع (اختلاف عائلات النماذج/الأوامر) أكثر أهمية من عدد المراجعين لتقليل المخاطر المتبقية.
3. المساهمات الرئيسية
يقدم البحث خمس مساهمات نظرية وعملية محددة:
النموذج الرسمي: تعريف للتفويض الممنوح للوكلاء المستقلين في العمل المصرفي، يتميز بإجراءات مالية محددة النوع، سلاسل تفويض متناقصة، ومحرك سياسات (ABAC) حتمي يعتمد على السمات مع دورة حياة تتطلب موافقة بشرية.
بروتوكول الترخيص والبراهين:
النظرية 1 (احتواء السلطة): تثبت أنه تحت أي مقترح معادٍ، فإن كل إجراء مُنفذ يقع ضمن نطاق السلطة الفعلية لسلسلة تفويض صالحة، بشرما كانت محركات السياسة وأنظمة التوقيع آمنة.
النظرية 2 (الخسارة المحدودة غير المراقبة): تشتق حداً أعلى مغلقاً للخسارة المالية للإجراءات التي تُنفذ دون موافقة بشرية، بناءً على سقوف لكل نوع وحدود معدل الحركة (Rate limits).
تحليل إجماع الوكلاء المتعددين:
الفرضية 1: تُحدد كمياً المخاطر المتبقية للإجماع، مبينة أن إضافة مراجعين يعطي عوائد متناقصة ما لم يتم تقليل احتمال الفشل "بسبب سبب مشترك" (γ) عبر التنوع.
الفرضية 2: تضع قاعدة واعية بالتكلفة لاستدعاء المراجعة البشرية أو مراجعة الوكيل بناءً على احتمالية الضرر وتكلفة المراجعة.
تعريف سير العمل القابل للتحقق:
النظرية 3 (مقاومة التلاعب): تثبت أن السجل ذو الرأس الموقع والشاهد المستقل (لمنع هجمات التراجع/Rollback) يضمن أن أي تسلسل أدلة مقبول يتوافق مع السجل الحقيقي.
النظرية 4 (السلامة): توضح أن المدقق الذي يعتمد على الأدلة فقط يمكنه التصديق بسلامة أن الإجراءات المنفذة كانت مصرح بها وضمن الحدود، دون الوصول إلى النموذج.
الفرضية 3: توفر حداً لتعقيد العينة لاكتشاف انحراف السياسة عند تغير إصدارات النماذج.
التنفيذ المرجعي والمحاكاة:
تنفيذ بلغة بايثون تم اختباره ضد مقترح معادٍ (بدون نموذج لغوي في الحلقة) للتحقق من الاحتواء، وحدود الخسارة، ومقاومة التلاعب.
4. النتائج
أسفر التنفيذ المرجعي والمحاكاة عن النتائج التالية:
الاحتواء: في 700,000 محاولة من قبل مقترح معادٍ (تغطي تسعة أصناف من الهجمات بما في ذلك تزوير الرموز، إعادة التشغيل، والتلاعب بالبارامترات)، كانت هناك صفر عمليات تنفيذ غير مصرح بها انتهكت نظريات الاحتواء.
دقة حد الخسارة: حقق الخصم الذي استنزف الحد الأقصى لمعدل الحركة تعرضات قصوى طابقت تماماً الحد النظري في النظرية 2، مما يؤكد أن الحد دقيق.
الثغرات البروتوكولية المكتشفة: كشفت المحاكاة عن فجوتين حرجتين في التصاميم الأولية:
انتهاء صلاحية الرمز: بدون القاعدة texp≤tk (انتهاء صلاحية الرمز ≤ انتهاء صلاحية السلسلة)، نفذت 12,383 من أصل 20,000 محاولة إجراءً بعد انتهاء صلاحية المنح المفوض.
التراجع عن السجل (Log Rollback): بدون فحص الشاهد المستقل، تمكن المهاجم من النجاح في التراجع بالسجل إلى رأس موقع قديم؛ ومع فحص الشاهد، كانت نسبة الكشف 100%.
الأداء: تسببت خط أنابيب الإنفاذ (فحص المظروف، السياسة، صك الرمز، التنفيذ، التسجيل) في تأخير وسيط قدره 45 ميكروثانية لكل إجراء، مما يشير إلى أن تكلفة الإنفاذ لا تشكل عائقاً.
نمذجة الإجماع: طابقت محاكاة مونت كارلو لنموذج السبب المشترك التنبؤات التحليلية للفرضية 1 ضمن هوامش الخطأ.
5. الأهمية والادعاءات
يضع المؤلف هذا العمل كمعالجة رسمية مصممة خصيصاً للقطاع المصرفي المنظم، متميزاً عن أبحاث سلامة الوكلاء المتعددين العامة.
التحول في حدود الثقة: يزعم البحث أنه من خلال نقل الإنفاذ إلى حدود التنفيذ والتعامل مع النموذج اللغوي كمقترح غير موثوق، يمكن للبنوك تحقيق احتواء سلطة مثبت وحدود خسارة قابلة للقياس الكمي لا تعتمد على منطق النموذج أو توافقه (Alignment).
القابلية للتدقيق: يتمثل أحد الادعاءات الهامة في قدرة الأطراف الثالثة (المدققين/المنظمين) على التحقق من الامتثال عبر مدقق يعتمد على الأدلة فقط. وهذا يسمح بالتدقيق دون الحاجة للوصول إلى النموذج المملوك أو أوزانه.
إدارة المخاطر الكمية: يوفر العمل إطاراً كمياً للمراجعة متعددة الوكلاء، مجادلاً بأن التنوع هو الرافعة الأساسية لتقليل المخاطر المتبقية، وليس مجرد زيادة عدد المراجعين.
التواضع في النطاق: يصرح المؤلف صراحةً أن النتائج تفترض عمل النموذج اللغوي ضمن حدود مفروضة. هم لا يدعون حل مشكلة توجيه الوكيل نحو إجراءات (مسموحة ولكن غير مرغوب فيها) نتيجة حقن الأوامر (مثل إعادة تقديم دفعة خاطئة ضمن الحدود المسموحة)، رغم ملاحظتهم أن الإجماع يقلل من احتمالية وقوع مثل هذه الأحداث. كما يقرون بأن البراهين هي "ورقة وقلم" وليست ميكانيكية، وأن المحاكاة استخدمت بيانات اصطناعية دون وجود نماذج لغوية حقيقية في الحلقة، مما يترك مقاومة الحقن في العالم الحقيقي وتقييم الفائدة كأعمال مستقبلية.
في الختلآص، يجادل البحث بأنه بدون مثل هذه البنية الرسمية، فإن دمج الوكلاء في البنية التحتية المصرفية الأساسية يخلق "سطح هجوم غير مدقق إلى حد كبير". ومع هذه البنية، يمكن للمؤسسات توسيع الأتمتة الوكيلية (Agentic Automation) في تدفقات العمل الخلفية بضمانات احتواء وتحقق رسمية.