← أحدث الأبحاث
💻 computer science

Agentic Witnessing: Pragmatic and Scalable TEE-Enabled Privacy-Preserving Auditing

تقترح هذه الورقة "الشهادة الوكيلة" (Agentic Witnessing)، وهي إطار عمل للتدقيق يحافظ على الخصوصية ويستفيد من بيئة تنفيذ موثوقة (TEE) لاستضافة نموذج لغوي كبير (LLM) يعمل كمدقق قادر على التحقق من الخصائص النوعية للبيانات المملوكة من خلال استعلامات ثنائية بسيطة وسجلات تشفيرية، مما يحل التوتر بين سرية البيانات والتحقق الدلالي دون الكشف عن مجموعات البيانات الخام.

المؤلفون الأصليون: Antony Rowstron

نُشر 2026-04-28
📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة
CC BY 4.0

المؤلفون الأصليون: Antony Rowstron

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

تخيل أن لديك وصفة سرية لأفضل كعكة في العالم (بياناتك أو الكود الخاص بك). تريد أن تثبت لناقد طعام (المُتحقق) أن الكعكة طعمها بالفعل يطابق الوصف الموجود في كتاب الطبخ الخاص بك، ولكن لا يمكنك بأي حال من الأحوال السماح للناقد برؤية أو تذوق الكعكة الفعلية لأنها سر تجاري خاص بك.

عادةً، سيكون أمامك خياران سيئان:

  1. عرض كل شيء: تسليم الكعكة والوصفة بالكامل، مما يعرضك لخطر السرقة.
  2. ثق بي: مجرد قول "إنها جيدة، ثق بي"، وهو أمر لن يصدقه الناقد.

تقترح هذه الورقة طريقة ثالثة تسمى "الشهادة الوكيلية" (Agentic Witnessing). الأمر يشبه استئجار ناقد طعام فائق الذكاء ومعصوب العينين يعمل داخل صندوق زجاجي غير قابل للكسر ومقاوم للصوت (بيئة تنفيذ موثوقة - TEE).

إليك كيف يعمل النظام، مقسماً إلى أدوار بسيية:

الشخصيات الثلاث

  1. المالك (المُثبِت): أنت. تمتلك الكعكة السرية (الكود/البيانات). تريد إثبات أنها حقيقية دون إظهارها.
  2. الناقد (المُتحقق): الشخص الذي يريد معرفة ما إذا كانت الكعكة تطابق الوصف. لا يمكنه رؤية الكعكة، لكن يمكنه طرح الأسئلة.
  3. الشاهد (المدقق): محامٍ آلي يعيش داخل ذلك الصندوق الزجاجي غير القابل للكسر. هذا الروبوت هو الوحيد المسموح له برؤية الكعكة. لقد تمت برمجة هذا الروبوت ليكون صادقاً، و"عقله" (الكود الخاص به) مفتوح للمعاينة من قبل الجميع قبل أن يبدأ.

العملية: لعبة "نعم/لا"

لا يمكن للناقد أن يسأل: "ماذا يوجد في الكعكة؟" أو "أرني الكريمة". بدلاً من ذلك، يمكنه فقط طرح أسئلة بسيطة من نوع "نعم/لا" على الشاهد داخل الصندوق.

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

قواعد السلامة (كيف يمنع الغش)

تشرح الورقة ثلاث حيل ذكية لإبقاء الجميع صادقين:

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

طريقتان لتفكير الشاهد

تذكر الورقة أن بإمكان الشاهد التفكير بطريقتين:

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

ما اختبروه بالفعل

لم يكتفِ المؤلفون بالتنظير؛ بل قاموا بتجربة ذلك.

  • أخذوا 21 ورقة بحثية حقيقية في علوم الحاسوب كانت تحتوي على أكواد منشورة على GitHub.
  • تعاملوا مع الكود كـ "سر" (على الرغم من أنه كان عاماً، إلا أنهم تظاهروا بأنه خاص لاختبار النظام).
  • طلبوا من النظام التحقق من أمور مثل: "هل يقوم هذا الكود فعلياً بما يقوله البحث؟" أو "هل هناك دليل على أنه تم اختبار الكود؟"
  • النتيجة: نجح النظام في الإجابة على هذه الأسئلة المعقدة بقرارات بسيطة من نوع "نعم/لا" وأنتج السجلات التشفيرية، مما أثبت أن الكود يطابق البحث دون أن يحتاج "الناقد" أبداً لقراءة الكود الخام بنفسه.

الخلاصة

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

غارق في أبحاث مجالك؟

تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.

جرّب Digest →

أبحاث مشابهة

عرض الكل في هذا التصنيف 💻 cs →