🤖 machine learning

Privacy-Enhanced Zero-Order Federated Learning via xMK-CKKS over Wireless Channels

تقترح هذه الورقة بروتوكولاً رباعي المراحل يتيح تعلماً اتحادياً من الدرجة صفر معزز الخصوصية عبر القنوات اللاسلكية من خلال الاستفادة من مخطط التشفير المتماثل متعدد المفاتيح xMK-CKKS لتحقيق تجميع آمن وخالٍ من تقدير القناة بمعدلات تقارب تبلغ $O(1/\sqrt{K})$ ، حتى عندما يتواطأ الخادم مع ما يصل إلى $N-1$ من العملاء.

المؤلفون الأصليون: Anthony Ayli, Khalil Harris, Jihad Fahs, Mohamad Assaad

نُشر 2026-05-29

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

CC BY 4.0

المؤلفون الأصليون: Anthony Ayli, Khalil Harris, Jihad Fahs, Mohamad Assaad

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

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

ما المشكلة؟ إرسال تلك التحديثات عادةً ما يسرب الأسرار. إذا اعترض شخص ما الرسالة، فقد يتمكن من معرفة كيف تبدو بياناتك الخاصة.

لحل هذه المشكلة، يقترح المؤلفون طريقة جديدة لإرسال هذه التحديثات باستخدام سحر رياضي (التشفير المتماثل - Homogeneous Encryption) عبر موجات لاسلكية. إليك كيف يعمل حلهم، مشروحاً ببساطة:

1. مشكلة "مفتاح واحد يحكم الجميع"

تستخدم معظم طرق الخصوصية الحالية مفتاحاً واحداً. تخيل أن الجميع في المجموعة يتشاركون مفتاحاً رئيسياً واحداً لقفل وفتح رسائلهم.

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

2. الحل: "كل شخص لديه قفله الخاص"

يقدم هذا البحث نظام المفاتيح المتعددة (يسمى تحديداً xMK-CKKS).

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

3. التحدي اللاسلكي: الغرفة "المتلاشية"

عادةً، عندما ترسل رسالة عبر الهواء (مثل الواي فاي)، تتعرض الإشارة للتشوه بسبب الجدران والمسافة والتداخل. هذا ما يسمى بـ التلاشي (Fading).

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

4. خدعة السحر: "الغناء بنفس النغمة"

أدرك المؤلفون أنهم إذا أرسلوا شيئين في نفس الوقت عبر نفس التشوه تماماً، فإن التشوه سيلغي نفسه.

فكر في الأمر كالتالي:

المرحلة الأولى: ترسل "نوتة مرجعية" (مفتاح عام جزئي) عبر الهواء. يسمعها المعلم مشوهة.
المرحلة الثانية: ترسل "رسالتك السرية" (التحديث المشفر) عبر الهواء.
المرحلة الثالثة: ترسل "نوتة مساعدة" (حصة فك التشفير) عبر الهواء.

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

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

5. التعلم من الدرجة صفر: النهج "الأعمى"

للحفاظ على السرعة والخفة، يستخدمون تقنية تسمى التعلم من الدرجة صفر (Zero-Order Learning).

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

6. النتائج: هل نجح الأمر؟

اختبر المؤلفون هذا النظام على مهمة قياسية للتعرف على الصور (تمييز الأرقام 0 مقابل 1).

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

الملخص

يقدم هذا البحث طريقة آمنة للأجهزة للتعلم معاً دون مشاركة بيانات خاصة. إنه يحل مشكلتين كبيرتين:

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

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

ملخص تقني: التعلم الاتحادي المعزز بالخصوصية من الدرجة الصفرية عبر xMK-CKKS فوق القنوات اللاسلكية

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

يتيح التعلم الاتحادي (Federated Learning - FL) للأجهزة الطرفية التدريب التعاوني للنماذج دون مشاركة البيانات الخام، لكن تحديثات النماذج المرسلة تظل عرضة لهجمات الاستدلال. وبينما تتيح التشفير المتجانس (Homomorphic Encryption - HE) تجميعاً يحافظ على الخصوصية من خلال السماح للخوادم بإجراء عمليات حسابية على البيانات المشفرة، فإن أساليب "التشفير المتجانس عبر الهواء" (HE-over-the-air) الحالية تواجه قيدين حرجين:

الثغرة الأمنية: تعتمد معظم الأساليب على التشفير المتجانس أحادي المفتاح (single-key HE)، حيث تتشارك جميع العملاء مفتاحاً سرياً واحداً. وهذا يجعل النظام عرضة للعملاء "النزهاء ولكن الفضوليين" (HBC) الذين يمكنهم فك تشفير تحديثات المستخدمين الآخرين، كما أن اختراق عميل واحد يعرض الشبكة بأكملها للخطر.
الاعتماد على تقدير القناة: تتطلب تطبيقات التشفير المتجانس متعدد المفاتيح الحالية (تحديداً xMK-CKKS) معاملات تشفير ضخمة (على سبيل المثال، المقياس $q \approx 2^{109}$ إلى $2^{218}$ ). وعند دمجها مع التجميع عبر الهواء (OTA)، تفشل تقنيات تقدير القناة ومعادلة ما قبل الإرسال القياسية. أي خطأ متبقٍ في تقدير القناة سيُضرب في المقياس الضخم $q$ أثناء فك التشفير، مما يؤدي إلى دفن إشارة الرسالة (المدرجة بمعامل $\Lambda \approx 2^{40}$ ) تحت أرضية ضوضاء هائلة، مما يتسبب في فشل فك التشفير.

السؤال المركزي الذي تعالجه الدراسة هو: هل يمكن دمج التشفير المتجانس متعدد المفاتيح مع التجميع عبر الهواء دون الحاجة لتقدير القناة أو تعويضها؟

2. المنهجية

يقترح المؤلفون بروتوكولاً من أربع مراحل يدمج xMK-CKKS (مخطط تشفير متجانس متعدد المفاتيح) مع التعلم الاتحادي من الدرجة الصفرية (Zero-Order FL) عبر قنوات لاسلكية بطيئة التغير ومهيمنة على خط البصر (LoS) (مثل نطاق الترددات التيلاهرتز THz الداخلية قصيرة المدى).

الآلية الجوهرية: الإلغاء الجبري عبر إعادة إرسال القناة

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

المراحل الأربع:

تجميع المفتاح الجديد (الارسال - Uplink): يقوم كل جهاز $i$ بإرسال مفتاحه العام الجزئي $b_i$ في وقت واحد. يستقبل الخادم التراكب $\tilde{b}_k = \sum h_{i,k} b_i + \text{noise}$ . ومن الأهمية بمكان أن الخادم لا يقوم بتقدير $h_{i,k}$ ؛ بل يقوم ببساطة ببث $\tilde{b}_k$ .
التشفير (الارسال - Uplink): تقوم الأجهزة بترميز تقديرات التدرج من الدرجة الصفرية ( $m_{i,k}$ ) باستخدام المفتاح العام المستلم $\tilde{b}_k$ وإرسال النصوص المشفرة $(c_{0}, c_{1})$ . يقوم الخادم بتجميع هذه النصوص عبر الهواء.
حصة فك التشفير (الارسال - Uplink): يبث الخادم النص المشفر المجمع $c_1$ . تقوم الأجهزة بحساب حصص فك التشفير الجزئية $D_j$ باستخدام مفاتيحها السرية وترسلها.
الاستعادة (الاستقبال - Downlink): يجمع الخادم النص المشفر المجمع وحصص فك التشفير. ونظراً لأن المفتاح العام $\tilde{b}_k$ وحصص فك التشفير قد تم إنشاؤهما باستخدام نفس معاملات القناة $h_{i,k}$ ، فإن المصطلح الذي يتضمن المقياس الضخم $q$ يلغي نفسه جبرياً:
$\tilde{b}_k + \tilde{S}_k a = \text{small noise terms}$
حيث $\tilde{S}_k$ هو مجموع المفاتيح السرية الموزونة بالقناة. والنتيجة هي مصطلح ضوضاء محدود ومستقل عن $q$ ، مما يسمح للخادم باستعادة الرسالة المجمعة.

التكامل مع الدرجة الصفرية (Zero-Order Integration)

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

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

تشفير متجانس متعدد المفاتيح غير معتمد على القناة: يقترح البحث أول بروتوكول يتيح تجميع xMK-CKKS عبر قناة لاسلكية مشتركة دون الحاجة للحصول على معلومات حالة القناة (CSI) أو إجراء معادلة مسبقة.
الإلغاء الجبري: يثبت البروتوكول أن إعادة إرسال المفاتيح العامة الجزئية والنصوص المشفرة عبر نفس تحقق القناة يؤدي إلى إلغاء المصطلحات التشفيرية ذات المقياس $q$ جبرياً. هذا يمنع عدم اليقين في القناة من الظهور كخطأ مضاعف بـ $q$ مما قد يدمر عملية فك التشفير.
تحليل التقارب: يثبت المؤلفون أن البروتوكول يحافظ على معدل تقارب التعلم الاتحادي من الدرجة الصفرية القياسي $O(1/\sqrt{K})$ وصولاً إلى أرضية ضوضاء ضئيلة. تدخل ضوضاء القناة والتشفير المتبقية في مُقدر التدرج كاضطرابات محدودة.
أمن معزز: المخطط آمن ضد خادم "نزيه ولكن فضولي" يتواطأ مع ما يصل إلى $N-1$ من العملاء، وهو تحسن كبير عن مخططات التشفير أحادي المفتاح حيث يمكن لعميل واحد مخترق كسر النظام بالكامل.
التحقق من الجدوى: تؤكد النتائج العددية على مجموعة بيانات MNIST أن البروتوكول يعمل مع معاملات RLWE القياسية ( $n=4096, 8192$ ) وأن الضوضاء التي تم فك تشفيرها ضئيلة جداً مقارلة بضوضاء القناة.

4. النتائج

التقارب: يظهر التحليل النظري (النظرية 2) أن الخوارزمية تتقارب نحو منطقة مجاورة للحل الأمثل مع أرضية ضوضاء $\rho$ . بالنسبة للمعاملات المختبرة ( $n=4096/8182$ ، $\Lambda=2^{40}$ )، فإن أرضية الضوضاء تبلغ حوالي $10^{-16}$ ، وهي ضئيلة جداً مقارنة بضوضاء القناة النموذجية.
الأداء: تظهر التجارب على MNIST (تصنيف 0 مقابل 1) أن البروتوكول المشفر يحقق دقة اختبار ضمن 1% من الخط الأساسي غير المشفر.
فشل البدائل: يوضح البحث أن المعادلة المسبقة القائمة على CSI (مثل Zero-Forcing أو MMSE) تفشل تماماً في إعداد المفاتيح المتعددة. حتى مع أخطاء تقدير قناة صغيرة ( $\sigma_{pilot}=0.1$ )، يُضرب الخطأ المتبقي في $q$ ، مما يؤدي إلى تباعد خسارة التدريب فوراً (لتصل إلى $10^{14}$ ).
التكاليف الإضافية (Overhead): التكاليف الإضافية للاتصال لكل جهاز مستقلة عن بُعد النموذج. مع عرض نطاق ترددي 1 تراهرتز، تكون أوقات الإرسال أقل من 8 مللي ثانية، مما يناسب زمن تماسك القنوات الداخلية الثابتة في نطاق التراهرتز.

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

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

تكمن أهمية هذا العمل في حل هذا الصراع من خلال التضحية بتقدير القناة لصالح اتساق القناة. من خلال إعادة إرسال المفاتيح والبيانات عبر نفس تحقق التلاشي (fading realization)، يضمن البروتوكول صحة الإلغاء الجبري دون الحاجة لمعرفة القناة. وهذا يتيح:

أمن أقوى: حماية متعددة المفاتيح ضد التواطؤ.
المتانة: العمل دون الحاجة لعمليات معقدة للحصول على CSI أو تشكيل الشعاع.
القابلية للتوسع: تكاليف إضافية للدرجة الصفرية لا تزداد مع حجم النموذج.

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