Adapting AlphaEvolve to Optimize Fully Homomorphic Encryption on TPUs
تقدم هذه الورقة البحثية AlphaEvolve، وهو نظام بحث تطوري مدفوع بنماذج اللغات الكبيرة (LLM) يعمل على أتمتة التحسين المشترك لنواة التشفير المتماثل كلياً (FHE) لوحدات معالجة جوجل (TPUs)، محققاً تحسينات كبيرة في زمن الاستجابة مقارنة بالتنفيذات التي صممها البشر والموجودة حالياً لأحدث التقنيات في مخططات TFHE وCKKS.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أن لديك سيارة سباق فائقة القوة والسرعة (الـ TPU، وهي شريحة حاسوبية متخصصة من صنع جوجل). ولديك أيضاً وصفة سرية ومعقدة للغاية لكعكة يجب خبزها بينما لا تزال المكونات مغلقة داخل خزنة (هذا هو التشفير المتماثل الكامل، أو FHE، والذي يسمح للحواسيب بإجراء العمليات الحسابية على البيانات السرية دون رؤية البيانات نفسها أبداً).
المشكلة؟ الوصفة معقدة جداً والتعليمات صارمة للغاية لدرجة أنه عندما تحاول خبزها في سيارة السباق، تقضي السيارة 90% من وقتها في انتظار نقل المكونات ذهاباً وإياباً. الأمر يشبه محاولة قيادة سيارة فورمولا 1 عبر حي سكني به لوحات "قف" عند كل مربع. السيارة سريعة، لكن حركة المرور (التعليمات البرمجية) بطيئة.
عادةً، يحاول المهندسون البشريون إصلاح ذلك عن طريق إعادة كتابة التعليمات يدوياً، وتجربة طرق مختلفة لنقل المكونات، ورؤية ما إذا كانت السيارة ستصبح أسرع. إنها عملية بطيئة من "التخمين والتحقق"، وغالباً ما يفوتهم أفضل طريقة للقيادة لأن التعليمات مخفية خلف طبقات من البرمجيات المربكة.
إليك AlphaEvolve: ميكانيكي ضبط سيارات السباق بالذكاء الاصطناعي
تصف هذه الورقة أداة جديدة تسمى AlphaEvolve. فكر فيها كأنها ميكانيكي ضبط لسيارات السباق لا يكتفي فقط بتعديل المحرك، بل يعيد كتابة دليل القيادة بالكامل ليتناسب تماماً مع مسار السباق.
إليك كيف يعمل، باستخدام تشبيهات بسيطة:
1. مرآب "التطور" (The Evolutionary Garage)
بدلاً من وجود مهندس بشري واحد يخمن، يعمل AlphaEvolve مثل سرب من آلاف الميكانيكيين الصغار الذين لا يتعبون.
- العملية: يبدأ بوصفة جيدة (الكود الأصلي). ثم ينشئ مئات النسخ المختلفة قليلاً من تلك الوصفة.
- تجربة القيادة: يقوم بتشغيل كل نسخة على سيارة السباق الفعلية (عتاد الـ TPU).
- التقييم: يقيس بالضبط كم من الوقت استغرق خبز الكعكة.
- الاختيار: إذا كانت نسخة ما أبطأ أو أدت إلى إفساد الكعكة (فشلت في اختبار رياضي)، يتم رميها في القمامة. أما إذا كانت أسرع، فيتم الاحتفاظ بها.
- التطور: يأخذ الذكاء الاصطناعي النسخ "الفائزة"، ويمزجها معاً، ويصنع نسخاً جديدة وأفضل. ويكرر هذه الدورة مراراً وتكراراً، مثل الانتقاء الطبيعي، حتى يجد الطريقة الأسرع على الإطلاق لخبز الكعكة.
2. حارس الأمان (ضروري للبيانات السرية)
بما أن هذا الأمر يتضمن بيانات سرية، فلا يمكن للذكاء الاصطناعي مجرد "الهلوسة" أو اختراع قواعد جديدة قد تؤدي بالخطأ إلى تسريب السر.
- الحارس (The Bouncer): قبل أن يُسمح لأي وصفة جديدة بالعمل على سيارة السباق الحقيقية، يقوم "حارس" صارم بفحصها. يسأل: "هل لا تزال هذه الوصفة تنتج نفس الكعكة الأصلية تماماً؟ هل لا يزال السر آمناً؟"
- إذا حاول الذكاء الاصطناعي الغش أو تغيير الرياضيات بطريقة تكسر الأمن، يرفضه الحارس فوراً. هذا يضمن أن الذكاء الاصطناعي يجد السرعة فقط، وليس ثغرات أمنية.
3. ماذا اكتشف الذكاء الاصطناعي؟
بعد تشغيل هذه العملية لمدة 24 ساعة فقط، وجد الذكاء الاصطناعي حلولاً غابت عن الخبراء البشر. إليك لحظات "وجدتها!":
- خدعة "الدفعات" (فك الحلقات - Loop Unrolling): تخيل عاملاً يتعين عليه حمل صندوق ثقيل، والمشي إلى الفرن، ووضعه، ثم العودة، وإحضار صندوق آخر، وتكرار ذلك. أدرك الذكاء الاصطناعي: "لماذا تمشي ذهاباً وإياباً؟ لنحمل 8 صناديق دفعة واحدة وننقلها جميعاً في رحلة واحدة". من خلال إعادة تنظيم كيفية جلب البيانات، وفروا كميات هائلة من الوقت.
- خدعة "عدم التغيير" (إزالة تحويل الأنواع - Removing Type Casts): أحياناً، تقول الوصفة الأصلية: "خذ هذا المكون، غير ملصقه من 'جرامات' إلى 'أونصات'، ثم غيره مرة أخرى إلى 'جرامات' قبل الطبخ". أدرك الذكاء الاصطناعي أن هذا مضيعة للوقت. فالمكون كان بالحجم الصحيح بالفعل؛ وتغيير الملصق كان غير ضروري. من خلال حذف هذه الخطوة غير المجدية، أصبحت العملية أسرع بكثير.
- خدعة "الملاءمة المثالية" (التجزئة - Tiling): تحتوي سيارة السباق على رفوف ذات أحجام محددة (سجلات الذاكرة). حاولت الوصفة الأصلية وضع رغيف خبز ضخم على رف صغير، مما تسبب في فوضى. اكتشف الذكاء الاصطناعي كيفية تقطيع الخبز إلى قطع أصغر ومثالية تناسب الرفوف تماماً، مما سمح للسيارة باستخدام كامل قوتها دون إضاعة المساحة.
النتائج
من خلال ترك الذكاء الاصطناعي يقوم بعملية "التخمين والتحقق" تلقائياً:
- TFHE (كعكة "الرياضيات السرية"): انخفض وقت خبز الكعكة بمقدار 2.5 مرة.
- CKKS (كعكة "تحليل البيانات"): انخفض وقت الخبز بمقدار 1.3 مرة.
الصورة الكبيرة
تخلص الورقة إلى أنه بينما يتفوق البشر في تصميم الوصفات السرية الأصلية، إلا أنهم غالباً ما يكونون بطيئين جداً في تحديد الطريقة الأكثر كفاءة لقيادة سيارة السباق. ومن خلال استخدام ذكاء اصطناعي يمكنه اختبار آلاف المتغيرات في يوم واحد، مع التحقق بصرامة من بقاء الأسرار آمنة، يمكننا إطلاق العنان للسرعة الكاملة لشرائح الكمبيوتر الحديثة لتقنيات الخصوصية.
باختصار: الذكاء الاصطناعي لم يخترع طريقة جديدة لخبز الكعكة؛ بل وجد فقط طريقة أسرع بكثير لنقل المكونات إلى الفرن.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.