LightPHE: Integrating Partially Homomorphic Encryption into Python with Extensive Cloud Environment Evaluations
تقدم هذه الورقة LightPHE، وهو إطار عمل بلغة بايثون خفيف الوزن وقابل للتوسع للتشفير المتماثل جزئياً، ويتحقق من أدائه المتفوق وقابليته للتوسع عبر بيئات سحابية متنوعة من خلال اختبارات قياسية شاملة على Google Colab وMicrosoft Azure.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أن لديك سراً ذا قيمة عالية، مثل رصيد حسابك البنكي أو راتبك، مكتوباً على ورقة. عادةً، إذا أردت إضافة مكافأة إلى ذلك الراتب بينما هو موجود في خادم سحابي (مثل Google أو Microsoft)، فعليك القيام بواحد من أمرين محفوفين بالمخاطر:
- إحضار الورقة إلى المنزل، وفتح الخزنة، وكتابة الرقم الجديد، ثم وضعها مرة أخرى في الخزنة.
- إرسال مفتاح الخزنة إلى الخادم السحابي ليقوم بفتحها، وإجراء العملية الحسابية، ثم إغلاقها مرة أخرى. وهذا أمر خطير لأن الخادم إذا تعرض للاختراق، فسيُسرق مفتاحك.
التشفير المتماثل (Homomorphic Encryption) يشبه صندوقاً زجاجياً سحرياً غير قابل للكسر. يمكنك وضع سرك بداخله، وإغلاقه، ثم إرسال الصندوق إلى السحابة. يمكن للخادم السحابي هز الصندوق، أو لفه، أو حتى إضافة المزيد من الوزن إليه (إجراء عمليات حسابية)، وعندما تستعيد الصندوق، سيكون السر بداخله قد تغير تماماً كما لو كنت قد أجريت العملية الحسابية بنفسك، ولكن دون أن يرى أي شخص السر أو يمتلك المفتاح.
تقدم الورقة أداة جديدة تسمى LightPHE. فكر في LightPHE كأنه "سكين سويسري" لهذه الصناديق الزجاجية السحرية، وهو مصمم خصيصاً للأشخاص الذين يستخدمون لغة البرمجة Python.
المشكلة: الكثير من المفاتيح، والقليل من الأدوات
لاحظ المؤلفون أنه بينما توجد العديد من الأدوات لـ "التشفير المتماثل الكلي" (صناديق يمكنها القيام بأي عملية حسابية، مثل الجمع والضرب)، إلا أنها غالباً ما تكون ثقيلة، بطيئة، ومعقدة.
ومع ذلك، فإن العديد من المهام في العالم الحقيقي تتطلب فقط نوعاً واحداً من العمليات الحسابية: إما مجرد جمع الأشياء معاً (مثل حساب إجمالي الرواتب) أو مجرد ضرب الأشياء (مثل حساب الفائدة). وهذا ما يسمى التشفير المتماثل الجزئي (Partially Homomorphic Encryption - PHE). وتجادل الورقة بأن هذه الطرق المخصصة لمهام معينة هي أسرع وأخف بكياً، مثل الدراجة مقارنة بالشاحنة الثقيلة.
ولكن، كانت هناك مشكلة: لم تكن لغة Python تمتلك مجموعة أدوات جيدة وسهلة الاستخدام لهذه طرق التشفير التي تشبه "الدراجة". لذا تم بناء LightPHE لسد هذه الفجوة.
صندوق الأدوات: قائمة من الصناديق السحرية
لا يبتكر LightPHE صندوقاً سحرياً واحداً جديداً فحسب؛ بل يجمع 11 وصفة رياضية مختلفة (خوارزميات) في حزمة واحدة سهلة الاستخدام. إنه يشبه قائمة طعام في مطعم حيث يمكنك اختيار أسلوب التشفير المفضل لديك:
- RSA و ElGamal: جيدان لعملية الضرب (مثل ضرب الأرقام ببعضها).
- Paillier و Benaloh: جيدان لعملية الجمع (مثل جمع الرواتب).
- Goldwasser-Micali: جيد لعملية "XOR" (نوع معين من الألغاز المنطقية).
- بالإضافة إلى عدة طرق أخرى مثل Damgard-Jurik و Okamoto-Uchiyama.
الجزء الذكي في LightPHE هو تصميمه. فهو يستخدم نهج "جهاز التحكم عن بعد العالمي". لست بحاجة لتعلم كيفية بناء تلفاز، أو مسجل صوت، أو مشغل DVD بشكل منفصل. أنت فقط تضغط على "جمع" أو "ضرب" في جهاز التحكم، ويعرف LightPHE المحرك الداخلي الذي يجب استخدامه. إذا حاولت الضغط على "ضرب" لصندوق لا يعرف سوى "الجمع"، فإن النظام سيقول لك بأدب: "عذراً، هذا الصندوق لا يمكنه فعل ذلك"، مما يمنع حدوث الأخطاء.
تجربة القيادة: السباق في السحابة
لمعرفة ما إذا كان LightPHE سريعاً وموثوقاً حقاً، أخذ المؤلفون به في جولة في مختلف "مضامير سباق السحابة". لقد اختبروه على:
- أجهزة الكمبيوتر السحابية القياسية: النسخ الأساسية والمجانية (مثل السيارة السيدان العادية).
- السحب عالية الأداء: آلات مزودة ببطاقات رسومات (GPUs) قوية ومعالجات متخصصة (TPUs) (مثل سيارة الفورمولا 1).
- الأنظمة الموزعة: مثل فريق من العمال الذين يتناوبون على تمرير العصا (Azure Spark).
النتائج:
- السيارات الأسرع: كانت الآلات عالية الأداء (مثل Google A100 GPU و TPU2) سريعة للغاية في إجراء العمليات الحسابية. فقد تمكنت من معالجة مهام التشفير في طرفة عين.
- السيارات الاقتصادية: حتى الإعدادات السحابية القياسية والأرخص (مثل Colab Normal) كانت سريعة بما يكفي لتكون مفيدة. وهذا يعني أنك لا تحتاج إلى كمبيوتر خارق لاستخدام هذه التكنولوجيا؛ فخادم سحابي عادي سيفي بالغرض.
- الرافعات الثقيلة: وُجد أن بعض الوصفات الرياضية الأقدم والأكثر تعقيداً (مثل Exponential ElGamal) كانت بطيئة جداً في "فتح" الصندوق (فك التشفير) ما لم تكن الأرقام صغيرة جداً. وتشير الورقة إلى أن هذه الوصفات هي حالياً بمثابة مفاهيم نظرية أكثر من كونها أدوات للعمل الشاق اليومي.
الخلاصة
LightPHE هي أداة جديدة مفتوحة المصدر تجعل من السهل على المطورين استخدام هذه الطرق "الجزئية" للتشفير. وهي تثبت أنه يمكنك إجراء عمليات حسابية على البيانات المشفرة في السحابة بأمان دون الحاجة إلى أكثر أجهزة الكمبيوتر قوة وتكلفة في العالم. إنها تسد الفجوة بين النظرية الرياضية المعقدة وتطوير البرمجيات العملية اليومية، مقدمةً طريقة خفيفة ومرنة للحفاظ على سلامة البيانات مع السماح في الوقت نفسه بالاستفادة منها.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.