💻 computer science

Beyond Controlled Noise: Achieving Symmetric FHE through Dynamic Position Shifting

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

المؤلفون الأصليون: Mostefa Kara

نُشر 2026-05-18

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

CC BY 4.0

المؤلفون الأصليون: Mostefa Kara

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

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

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

إليك كيف يعمل نظامهم، مقسماً إلى مفاهيم بسيطة:

1. المشكلة: انفجار "الضجيج"

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

2. الحل: تقسيم الرسالة إلى قطع

فكرة المؤلفين هي تقطيع الرسالة السرية (الوصفة) إلى ثلاث قطع أصغر (شظايا).

الإعداد: بدلاً من إخفاء سر واحد كبير، يقومون بإخفاء ثلاث قطع صغيرة في ثلاثة "مواقع" مختلفة (لنسمها الموقع 1، 2، و3).
الخدعة السحرية: يستخدمون "مفاتيح تنظيمية" (Regulator Keys). فكر في هذه المفاتيح كأنها منظمو حركة مرور أو أوراق لعب يتم خلطها.

3. كيف تعمل عملية الضرب (آلية "التداخل")

عندما تريد ضرب رقمين مشفرين، لا يقوم النظام بمجرد صدمهما معاً. بدلاً من ذلك، يلعب لعبة "الكراسي الموسيقية" بالشظايا:

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

4. شبكة الأمان "المزدوجة التنظيم"

للتأكد من عدم قدرة أحد على الغش أو معرفة المفتاح السري، يستخدم النظام نوعين من المنظمين يعملان معاً:

منظمات الأس (Exponent Regulators): وهي تتحكم في أين تتحرك الرياضيات (اتجاه المرور).
منظمات المعاملات (Coefficient Regulators): وهي تتحكم في حجم الأرقام (ضبط الوزن).

يدعي الورقة أن هذين النوعين "مزدوجا الربط". تخيل محاولة فتح خزنة تتطلب مفتاحين مختلفين يتم تدويرهما في نفس الوقت تماماً. إذا حاول مخترق تخمين أحد المفاتيح، فإن الآخر سيغير القفل، مما يجعل حل اللغز مستحيلاً. هذا يحمي المفتاح السري من السرقة عبر الحيل الجبرية.

5. ما تدعيه الورقة (النتائج)

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

ملخص التشبيه

فكر في هذا المخطط كأنه سباق تتابع سري.

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

ملخص تقني: ما وراء الضجيج المتحكم فيه: تحقيق التشفير المتماثل بالكامل (FHE) عبر إزاحة الموضع الديناميكية

بيان المشكلة
تعاني مخططات التشفير المتماثل بالكامل (FHE) التقليدية، ولا سيما تلك القائمة على البنى الشبكية (مثل BGV وBFV وCKKS)، من أعباء حسابية باهظة وإدارة معقدة للضجيج. تتطلب هذه المخططات عمليات مكلفة مثل "التمهيد" (bootstrapping) أو "إعادة الخطية" (relinearization) للحفاظ على الصحة أثناء عملية الضرب المتماثل. وبينما يوفر التشفير المتماثل بالكامل (Symmetric FHE) مساراً محتملاً لتقليل الأعباء، فإن التصميمات المتماثلة البدائية (مثل التشفير الساذج $c = mk$) تفشل عملياً لأن الضجيج أو أسس المفتاح السري تنمو بشكل أسي أثناء الضرب، مما يجعل المخطط غير عملي للدوائر الحسابية العميقة. تفتقر الأدبيات الحالية إلى بناء لتشفير متماثل بالكامل يستخدم آلية فعالة لتنظيم نمو النص المشفر دون الاعتماد على التعقيد القائم على الشبكات (Lattice-based).

المنهجية
يقترح البحث مخططاً جديداً للتشفير المتماثل بالكامل يعتمد على استبدال إدارة الضجيج التقليدية بآلية تجزئة النص الصريح والتدخل الديناميكي (Dynamic Interposition). تعتمد البنية الجوهرية على أساس تشفير متماثل $c = mk + rp $(حيث$ p $هو معامل أولي و$ r$ هو عدد صحيح عشوائي)، وهو نظام متماثل طبيعياً في الجمع ولكنه غير مستقر تحت عملية الضرب.

لحل عدم الاستقرار عند الضرب، قدم المؤلفون ما يلي:

تجزئة النص الصريح: يتم تقسيم الرسالة $m$ احتماليًا إلى ثلاثة أجزاء ( $m_1, m_2, m_3$ ) بحيث يساوي مجموعهم $m$ . يتم تشفير كل جزء تحت "مفتاح موضع" متميز ( $k_1, k_2, k_3$ ).
نظام المنظم المزدوج: مجموعة من المفاتيح العامة، تسمى "المنظمات"، تحكم عملية الضرب. وهي تنقسم إلى:
- منظمات الأسس ( $t_i$ ): تقوم بتوجيه ناتج ضرب أجزاء النص المشفر إلى موضع منطقي جديد. هذا يمنع تراكم أسس المفتاح السري (على سبيل المثال، تحويل $k^x \cdot k^y$ إلى شكل مرتبط بموضع جديد $k^z$ ) بدلاً من السماح لها بالتراكم بشكل أسي.
- منظمات المعاملات ( $d_i$ ): تعمل على تطبيع المعاملات القياسية الناتجة عن الضرب، مما يضمن بقاء المخرج في الصيغة الجبرية الصحيحة لفك التشفير.
آلية التدخل (Interposition Mechanism): يعمل المخطط على تدفق دوري لثلاثة مواضع ( $P_1, P_2, P_3$ ). عندما تُضرب الأجزاء، لا يعود الناتج إلى الموضع الأصلي (الذي قد يتطلب عمليات عكسية خطيرة) بل ينتقل إلى موضع مستهدف تحدده دالة حتمية (على سبيل المثال، $P_1 \times P_1 \to P_2$ ). وهذا يخلق نظاماً مغلق الحلقة حيث يتم إعادة خلط الأجزاء باستمرار ولكن دون فقدانها أو توسعها بشكل أسي.

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

بناء متماثل مبتكر: يقدم البحث أول مخطط تشفير متماثل بالكامل (FHE) يستخدم آلية "التدخل" وتجزئة النص الصريح لتنظيم نمو النص المشفر، مما يسد فجوة في أدبيات التشفير خفيف الوزن.
عمق ضربي خالٍ من الضجيج: على عكس المخططات القائمة على الشبكات، لا يعاني هذا النهج من تراكم الضجيج العشوائي. فمصطلح "الضجيج" ($rp $) يتلاشى عند الاختزال بمقياس$ p $في كل خطوة. وبناءً على ذلك، يدعم المخطط **عمقاً ضربياً غير محدود**، يقتصر فقط على سعة النص الصريح (أي أن حاصل ضرب الرسائل يجب أن يظل أقل من المعامل الأولي$ p$).
أمن الربط المزدوج: يعتمد الأمن على آلية ربط حيث تعتمد منظمات الأسس والمعاملات على بعضها البعض بشكل متبادل. لا يمكن للمهاجم عزل المفتاح السري $k$ من خلال التلاعب بأحد المنظمين دون أن يتم إحباطه بواسطة المعلمات المجهولة للمنظم الآخر.
تحليل أمني رسمي: يقدم المؤلفون برهاناً لأمن IND-CPA بناءً على فرضيتين من الصعوبة: فرضية القناع المتعدد (Multiplicative Masking Assumption - $MMA_p$ ) وعدم تميز المعامل الخفي (Hidden Modulus Indistinguishability - $HMP_n$ ). وتستند أمن مفاتيح الموضع إلى فرضية اللوغاريتم المنفصل (DLA) وتحليل الأعداد الأولية (IFA).

النتائج والأداء
يقدم البحث تقييماً للأداء مقارنة بالمخططات القائمة على الشبكات الراسخة (BGV, BFV, CKKS, TFHE) على معالج Intel i7-10700 قياسي:

الكفاءة: يظهر المخطط المقترح أداءً أخف بكثير. زمن التشفير هو حوالي 0.02 مللي ثانية، والجمع المتماثل يكاد يكون معدوماً (0.002 مللي ثانية).
حجم النص المشفر: حجم النص المشفر مدمج عند 9 كيلوبايت، مقارنة بمئات الكيلوبايتات المعتادة في المخططات القائمة على الشبكات.
الصحة: يحقق المخطط جمع ضربي دقيق في $\mathbb{Z}_p$ دون الحاجة إلى "التمهيد" (bootstrapping) أو تغيير المقياس.
القيود: المخطط ليس آمناً وفق معيار IND-CCA (وهي خاصية معروفة في المخططات المتماطلة بسبب القابلية للتعديل/Malleability) كما أنه ليس آمناً ضد الحوسبة الكمومية، حيث يعتمد أمنه على DLA وIFA، وهما عرضة لخوارزمية شور (Shor's algorithm).

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