💻 computer science

Composable Attestation: A Generalized Framework for Continuous and Incremental Trust in AI-Driven Distributed Systems

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

المؤلفون الأصليون: Sheng Sun, Sarah Evans

نُشر 2026-03-04

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Sheng Sun, Sarah Evans

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

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

تقترح هذه الورقة طريقة أذكى للقيام بذلك تسمى "التوثيق القابل للتركيب" (Composable Attestation). فكر في الأمر كـ "نظام ثقة ذكي" للحواسيب، وخاصة تلك التي تشغل أنظمة الذكاء الاصطناعي (AI) المعقدة.

إليك تفصيل ذلك باستخدام تشبيهات بسيطة:

1. المشكلة: "الفحص الشامل أو لا شيء"

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

2. الحل: "الجواز الرقمي الموحد"

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

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

3. الطرق الثلاث لبناء النظام

تستعرض الورقة ثلاث "أدوات" مختلفة لإنشاء جوازات السفر الملصقة هذه:

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

4. لماذا يهم هذا الذكاء الاصطناعي؟

أنظمة الذكاء الاصطناعي تشبه الكائنات الحية الضخمة، فهي تمتلك:

الأجهزة (Hardware): (الدماغ).
البرمجيات (Software): (الأفكار).
البيانات (Data): (الذكريات).
التحديثات (Updates): (تعلم أشياء جديدة).

مع هذا النظام الجديد:

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

5. الصورة الكبيرة

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

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

ملخص التشبيه:

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

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

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

تتميز الأنظمة الموزعة الحديثة، لا سي‌ما تلك التي تتضمن الذكاء الاصطناعي (AI) وسلاسل توريد البرمجيات مفتوحة المصدر (OSS)، بكونها مكونة من عناصر ديناميكية، ذاتية القيادة، ومتطورة باستمرار (مثل: الأجهزة، معاملات النماذج، وتكوينات وقت التشغيل).

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

2. المنهجية

يقترح المؤلفون إطار عمل تشفيرياً عاماً يسمى "التوثيق القابل للتركيب" (Composable Attestation). ينتقل هذا الإطار بعيداً عن البراهن الأحادية نحو نهج معياري حيث يمكن تجميع توثيقات المكونات الفرعية في برهان عالمي واحد.

أ. الأساس الرياضي

تؤسس الورقة نموذجاً رسمياً صارماً يتم تعريفه من خلال وظيفتين أساسيتين:

توليد البرهان ( $A$ ): يربط مجموعة من المكونات $S$ ببرهان توثيق $\pi$ .
التحقق ( $V$ ): يتحقق من صحة البرهان $\pi$ مقابل المجموعة $S$ .

بُني إطار العمل على ست خصائص محددة:

القابلية للتركيب (Composability): القدرة على تجميع توثيقات المكونات الفرعية ( $S_1, S_2$ ) في برهان للاتحاد ( $S_1 \cup S_2$ ) باستخدام عامل تجميع تشفيري ( $\oplus$ ).
الاستقلال عن الترتيب (Order Independence): يجب أن يكون البرهان الناتج ثابتاً بغض النظر عن تسلسل معالجة المكونات.
التعدي (Transitivity): صحة تكوين النظام الجديد ( $S'$ ) تستلزم صحة مكوناته السابقة ( $S$ ).
الحتمية (Determinism): حالات النظام المتطابقة يجب أن تنتج براهين متطابقة.
الاحتواء (Inclusion): القدرة على إضافة مكون جديد بشكل تزايدي إلى توثيق موجود دون إعادة حساب الهيكل بالكامل.
التحقق من المكونات الديناميكية: التحقق من التحديثات أثناء التنفيذ دون تعطيل الحسابات الجارية.

ب. البناءات التشفيرية

تستعرض الورقة ثلاثة بناءات تشفيرية رئيسية لتنفيذ هذه الخصائص، بالإضافة إلى نهج هجين:

البناء القائم على شجرة ميركل (Merkle Tree):
- يستخدم أشجار الهاش لتجميع هاشات المكونات في جذر واحد.
- المزايا: براهين احتواء فعالة بمقدار $O(\log n)$ ؛ تدعم الاستقلال عن الترتيب عبر الفرز المعجمي أو الهاش التبادلي.
- العيوب: يزدب حجم البرهان مع عمق الشجرة.
البناء القائم على المجمع التشفيري (Cryptographic Accumulator):
- يستخدم هياكل رياضية (مثل مجمعات RSA، أو الخرائط الثنائية) لضغط مجموعة من العناصر في قيمة ذات حجم ثابت.
- المزايا: براهين ذات حجم ثابت ( $O(1)$ )؛ مستقلة بطبيعتها عن الترتيب بسبب الخصائص التبادلية.
- العيوب: تعقيد التحديث يتفاوت؛ يعتمد على فرضيات صعوبة محددة (مثل Strong RSA).
البناء القائم على التوقيع المتعدد (Multi-Signature):
- يجمع التوقيعات الرقمية الفردية (مثل توقيعات BLS) من كيانات أو مكونات متعددة في توقيع واحد مدمج.
- المزايا: كفاءة عالية في التجميع؛ عدم إنكار قوي.
- العيوب: قد يتطلب التحقق معالجة جميع الهاشات إذا لم يكن التحقق المجمع مدعوماً.
البناء المتكامل:
- نهج هجين (موضح في الشكل 1) يجمع بين الثلاثة: تُنظم المكونات في شجرة ميركل، ويُلتزم بجذرها في مجمع لتمثيل ذي حجم ثابت، ثم تُوقع النتيجة عبر توقيع متعدد لضمان عدم الإنكار.

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

التعريف الرسمي: تقدم الورقة أول تعريف رياضي عام لـ "التوثيق القابل للتركيب"، مع تحديد خصائص مثل الاحتواء والاستقلال عن الترتيب صراحةً في سياق الثقة الموزعة.
آلية الثقة التزايدية: تقدم مفهوم "احتواء التوثيق"، مما يسمح بدمج مكونات جديدة في سلسلة الثقة الحالية ( $\pi' = \pi_{old} \oplus \pi_{new}$ ) دون الحاجة لإعادة توثيق كاملة.
التحليل المقارن: تقيم الورقة بشكل منهجي أشجار ميركل، والمجمعات، والتوقيعات المتعددة مقابل الخصائص الست الأساسية، مع تحليل المقايضات بين الأداء، والافتراضات الأمنية، والقابلية للتوسع.
إطار عمل خاص بالذكاء الاصطناعي: صممت الإطار خصيصاً للأنظمة المدفوعة بالذكاء الاصطناعي، لمعالجة التحديات الفريدة للتحقق من أوزان النماذج، وأصل بيانات التدريب، وبيئات وقت التشغيل.

4. النتائج والتحليل

الالتزام بالخصائص: يؤكد التحليل الرسمي أن جميع البناءات المقترحة تستوفي الخصائص الجوهرية للتركيب والحتمية، وإن اختلفت في الكفاءة.
- كفاءة الاحتواء: توفر المجمعات براهين بحجم $O(1)$ ، بينما توفر أشجار ميركل براهين احتواء بمقดับ $O(\log n)$ .
- الأمن: يعتمد كل بناء على افتراضات تشفيرية متميزة (مثل مقاومة التصادم لأشجار ميركل، واللوغاريتم المنفصل للتوقيعات)، مما يسمح باستراتيجية "الدفاع العميق" في النماذج الهجينة.
القابلية للتوسع: يثبت الإطار بنجاح أن التحقق من الثقة يمكن أن يتوسع مع حجم النظام عبر تجنب تكاليف إعادة الحساب الخطية المرتبطة بالتحقق الأحادي.
التحقق الديناميكي: يثبت نموذج "التوثيق التزايدي" (الشكل 3) أن تحديثات النظام يمكن التحقق منها في الوقت الفعلي عن طريق تركيب برهان المكون الجديد مع الحالة الموجودة، مما يقلل بشكل كبير من العبء الحسابي.

5. الأهمية والتطبيقات

نزاهة الذكاء الاصطناعي وسلسلة التوريد: يعد هذا الإطار حاسماً لتأمين دورة حياة الذكاء الاصطناعي. فهو يتيح التحقق الدقيق من مجموعات البيانات، وبنيات النماذج، والأجهزة (TPM/TEE) بشكل مستقل. وهذا أمر حيوي لـ التعلم الاتحادي (Federated Learning)، حيث يجب التحقق من مساهمات العملاء دون كشف البيانات الخاصة، ولنزاهة النماذج اللغوية الكبيرة (LLM)، لضمان عدم التلاعب بأوزان النماذج وتبعياتها.
ضمان وقت التشغيل: يتيح الثقة المستمرة في البيئات الديناميكية حيث تتغير المكونات بشكل متكرر (مثل خدمات الذكاء الاصطناعي السحابية)، مما ينقل الثقة من كونها "لقطة زمنية" إلى "تدفق" من الحالات المتحقق منها.
التقييس المستقبلي: تجادل الورقة بأن هذا النهج المعمم هو شرط مسبق لجهود التقييس المستقبلية (بالإشارة إلى DICE وTPMs) لضمان التوافق التشغيلي عبر الأنظمة الموزعة المتنوعة.
الاتجاهات البحثية: تسلط الضوء على الحاجة إلى البناءات الهجينة، والتحسين في الوقت الفعلي، والتوثيق الحافظ للخصوصية (عبر دمج براهين المعرفة الصفرية - Zero-Knowledge Proofs) كأهم مجالات العمل المستقبلي.

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