ملخص تقني: وسم التشفير المتماثل لـ RLWE بالعلامات المائية

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

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

في سيناريوهات مثل التعلم الاتحادي (Federated Learning) أو الحوسبة المستأجرة، تخضع النصوص المشفرة لعمليات التشفير المتماثل لتحويلات تضيف قيمة (مثل منطق المعالجة، أو المساهمات في النماذج) ولكنها تعرضها أيضًا لنزاعات الملكية. إن آليات الحماية الحالية، مثل رموز التحقق من الرسائل (MACs) المتماثلة، أو دالات الهاش (Hash Functions)، أو براهين المعرفة الصفرية (ZKPs)، غير كافية لهذا السياق المحدد لأنها:

• تُدخل عبئًا حسابيًا كبيرًا (Overhead).
• غالبًا ما تكون منفصلة عن النص المشفر، مما يزيد من سطح الهجوم.
• تفتقر إلى المتانة ضد تراكم الضجيج المتأصل في عمليات التشفير المتماثل (مثل إعادة التشكيل "relinearization"، أو الحساب التقريبي في CKKS).
• براهين المعرفة الصفرية (ZKPs) تتحقق عادةً من النتائج النهائية فقط، وتفشل في حماية الحالات الوسيطة أو إثبات مشاركة أطراف معينة في خط أنابيب الحوسبة.

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

2. المنهجية

يقترح البحث إطار عمل رسمي لـ وسم النصوص المشفرة المتماثلة ويقدم مخططين متميزين مصممين خصيصًا لـ RLWE-based HE وهما: ARWMark و MRWMark.

التعريفات الجوهرية

يحدد المؤلفون ثلاث خصائص أساسية للمخطط:

1. الأمانة (Fidelity): يجب ألا يؤدي تضمين العلامة المائية إلى تغيير نتيجة فك التشفير ($Dec(sk, c'_t) = Dec(sk, c_t)$).
2. المتانة (Robustness): يجب أن تظل العلامة المائية قابلة للاستخراج بعد سلسلة من العمليات المتماثلة (الجمع و/أو الضرب) وتراكم الضجيج.
3. الأمن (Security): يجب أن تظل النصوص المشفرة الموسومة غير قابلة للتمييز حسابيًا عن غير الموسومة تحت الهجمات السلبية.

المخطط 1: ARWMark (الوسم المتين للجمع)

• الآلية: يقوم ARWMark بتضمين علامة مائية في مكون الضجيج للنص المشفر. وهو يستغل التكرار في ضجيج فك التشفير عن طريق إضافة مفتاح تضمين مُقاس ($k_w$) إلى متعدد حدود النص المشفر.
• التضمين: بالنسبة لعلامة مائية مكونة من بت واحد $w \in \{0, 1\}$، يتم رسمها إلى $w_e \in \{-1, 1\}$، يتم تعديل المكون الأول للنص المشفر $c_1$ كالتالي:
  $$c'_1 = c_1 + p \cdot w_e \cdot I_w \cdot k_w$$
  حيث $p$ هو معامل النص الصريح، و $I_w$ هو كثافة التضمين، و $k_w$ يتم أخذ عينة منه من توزيع مشابه لضجيج التشفير.
• الكشف: الكشف هو عملية عمياء وقائمة على الارتباط. يقوم المستخرج (الذي يمتلك المفتاح السري) باستعادة الضجيج، ويحسب الضرب الداخلي مع مفتاح التضمين المعروف $k_w$، ويقارن قيمة الارتباط $\rho$ بعتبة محددة.
• المتانة: المخطط متين ضد الجمع المتماثل. نظرًا لأن الجمع في RLWE خطي، فإن إشارة العلامة المائية المضمنة تضاف خطيًا، بينما يزداء تباين الضجيج. ومن خلال ضبط كثافة التضمين واستخدام متوسط النصوص المشفرة المتعددة، يمكن الحفاظ على نسبة الإشارة إلى الضجيج.
• القصور: هو غير متين ضد الضرب المتماثل، لأن الضرب يمزج مكونات الضجيج من نصوص مشفرة مختلفة، مما يدمر هيكل الارتباط الخطي المطلوب للكشف.

المخطط 2: MRWMark (الوسم المتين للضرب)

• الآلية: صُمم MRWMark ليتحمل كلاً من الجمع والضرب. وهو يستفيد من خاصية أن فضاء الحل لنظام خطي متجانس مغلق تحت الجمع الخطي.
• التضمين: بدلاً من متجه ضجيج واحد، يقوم المخطط بتضمين مجموعة من متجهات الضجيج المشتقة من فضاء الحل لنظام خطي متجانس ($A_{le} \cdot X_{le} = 0$) في مجموعة من $m$ من النصوص المشفرة. مفتاح التضمين هو المصفوفة $A_{le}$.
• الكشف: يستعيد المستخرج متجهات الضجيج من النصوص المشفرة ويتحقق مما إذا كانت تحقق النظام الخطي الأصلي. إذا كانت المتجهات المعاد بناؤها هي حلول غير صفرية لـ $A_{le} \cdot X_{le} = 0$، فإن العلامة المائية موجودة.
• المتانة: نظرًا لأن الضرب المتماثل يستحث تركيبات خطية لمتعددات حدود الضجيج الأساسية، فإن الضجيج الناتج يظل ضمن فضاء الحل للنظام الخطي، مما يحافظ على السلامة الهيكلية للعلامة المائية.
• القصور: هو مخطط وسم بصفر بت (أو سعة محدودة) (يكتشف الوجود بدلاً من استخراج بت رسالة محدد بسهولة دون توسعات معقدة) ويتطلب كثافة تضمين أكبر بكثير ($I_w$) لفصل العلامة المائية عن ضجيج فك التشفير الجوهري، حيث يجب أن تكون متجهات الحل متميزة عن الضجيج العشوائي.

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

1. التعريف الرسمي: يضع البحث أول تعريف رسمي لوسم النصوص المشفرة المتماثلة، محددًا متطلبات الأمانة والمتانة والأمن في سياق التشفير المتماثل (HE).
2. ARWMark: مخطط وسم متين لبت واحد (قابل للتوسيع إلى $t$ بت) يقاوم عملية الجمع المتماثل. يستخدم طبقات الضجيج والكشف القائم على الارتباط.
3. MRWMark: مخطط وسم متين لصفر بت (كشف الوجود) يقاوم كلاً من الجمع والضرب المتماثلين. يستخدم الخصائص الجبرية لفضاءات حل المعادلات الخطية.
4. التحقق النظري والتجريبي: يقدم المؤلفون براهين صارمة للأمن (عدم القدرة على التمييز) والأمانة، بالإضافة إلى حدود نظرية للصحة والمتانة. وتؤكد التجارب المكثفة هذه الادعاءات تحت مستويات ضجيج وعمليات مختلفة.

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

تم تنفيذ المخططات بلغة بايثون مع ضبط معاملات RLWE لتوفير أمان بمستوى 128 بت ($N=2048$، $p=65537$، $\sigma=3.2$).

• أداء ARWMark:

  • الصحة: تتركز قيم الارتباط ($\rho$) حول قيمها المتوقعة (0 في حالة عدم وجود علامة مائية، و $\pm \sigma^2$ في حالة وجود العلامات المائية). يؤدي زيادة كثافة التضمين ($I_w$) إلى تقليل التباين، مما يحسن الفصل.
  • المتانة: يحافظ المخطط على معدلات إيجابية حقيقية (TPR) عالية حتى بعد عمليات جمع متماثلة متعددة. يزداد الانحراف المعياري لـ $\rho$ مع زيادة الضجيج المضاف، لكن العلامة المائية تظل قابلة للتمييز.
  • مقاومة الهجوم: يظهر مرونة ضد هجمات الضجيج العشوائي (مضاعفات $p$) التي لا تؤثر على فك التشفير، بشرط أن تكون $I_w$ كبيرة بما يكفي.

• أداء MRWMark:

  • الصحة: تزدير معدلات الإيجابية الحقيقية (TPR) بشكل كبير مع زيادة $I_w$. تم تحقيق الاستخراج المثالي (TPR=1.0) عند $I_w=34$ لسيناريوهات الجمع فقط.
  • المتانة:
    • الجمع: تنخفض TPR مع زيادة عدد النصوص المشفرة المضافة ما لم يتم زيادة $I_w$.
    • الضرب: نجح المخطط في تحمل عملية الضرب، ولكنه يتطلب $I_w$ كبيرة جدًا (على سبيل المثال، $>782,000$) لمواجهة الضجيج الهائل الناتج عن الضرب وإعادة التشكيل.
  • المقايضة: MRWMark أكثر حساسية للضجيج من ARWMark، مما يستلزم كثافة تضمين أعلى للحفاظ على الموثوقية.

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

يزعم البحث أن إدخال العلامات المائية الرقمية في التشفير المتماثل يعالج فجوة حرجة في النشر العملي: إثبات المصدر والمساءلة.

• حماية القيمة: من خلال التعامل مع النصوص المشفرة لـ HE كأصول رقمية قيمة، تسمح المخططات المقترحة لمزودي البيانات ومزودي الخدمة بالتحقق من أصل النصوص المشفرة والتحقق من المساهمات الحسابية (مثل التعلم الاتحادي).
• التكامل: يضع هذا العمل العلامات المائية كمكمل ضروري لمخططات HE الحالية، حيث يوفر آليات حماية قوية تجاه خصائص الضجيج المحددة للعمليات المتماثلة، على عكس الـ MACs أو الـ ZKPs التقليدية.
• الجدوى: يثبت المؤلفون أن العلامات المائية سليمة نظريًا وممكنة عمليًا لـ RLWE-based HE، مما يوفر أساسًا لتطبيقات مستقبلية تتطلب حماية حقوق الطبع والنشر والتحقق من المصدر في خطوط أنابيب الحوسبة الآمنة.

يختتم البحث بتواضع، مقرًا بأن ARWMark يفتقر إلى متانة الضرب وأن MRWMark لديه سعة تضمين محدودة، معتبرًا هذه النقاط أهدافًا للبحث المستقبلي لإنشاء مخططات أكثر تنوعًا وعملية.