Shared Lookups and Lazy Residues: Fewer Toffoli Gates for Factoring RSA-2048
تقدم هذه الورقة تقنيتي "عمليات البحث المشتركة" (Shared Lookups) و"تأخير الباقي" (Residue Delay) لتحسين بناء "جيدني" (Gidney) لعام 2025 الخاص بتحليل RSA-2048 إلى عوامل، مما يحقق تقليلاً يصل إلى 46% في بوابات "توفيلي" (Toffoli) وخفضاً كبيراً في الموارد ضمن ميزانيات الكيوبتات المنطقية الثابتة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلف ولم يصادق عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
إن كسر شفرة سرية تحمي الخدمات المصرفية والاتصالات الحديثة هو أحد أشهر التحديات في مجال الحوسبة. لعقود من الزمن، عرف العلماء أن حاسوباً قياسياً سيستغرق آلاف السنين لفك تشفير نوع معين من التشفير يسمى RSA-2048، وهو المستخدم لتأمين كل شيء بدءاً من التسوق عبر الإنترنت وصولاً إلى الدفاع الوطني. ومع ذلك، فإن نوعاً مختلفاً من الآلات، يسمى الحاسوب الكمي، يمكنه نظرياً حل هذا اللغز في جزء ضئيل من الوقت. لكن العقبة تكمن في أن بناء مثل هذه الآلة يتطلب كمية هائلة من الموارد. وتشير التقديرات الحالية إلى أنه لكسر هذه الشفرة، سنحتاج إلى حاسوب كمي يحتوي على الملايين من الأجزاء الفيزيائية، والتي سيكون الكثير منها عرضة للأخطاء، مما يتطلب أنظمة معقدة لتصحيحها. والسؤال الذي يواجه الباحثين ليس فقط ما إذا كان ذلك ممكناً، بل كيف يمكن جعل الآلة صغيرة وفعالة بما يكفي ليتم بناؤها بالفعل.
لقد وجد فريق من الباحثين طريقة لتقليص حجم الآلة الكمية المطلوبة لهذه المهمة بشكل كبير. ففي دراسة جديدة، أظهروا أنه من خلال تغيير كيفية إجراء الحاسوب لحساباته، يمكنهم تقليل عدد البوابات المنطقية المعقدة المطلوبة لكسر الشفرة بنسبة تقارب النصف، مع استخدام عدد أقل من البتات الكمية، وهي الوحدات الأساسية للمعلومات في الحاسوب الكمي. ويركز عملهم على طريقة محددة لتحليل الأعداد الكبيرة، وهي عملية تمثل جوهر خوارزمية كسر الشفرة. ومن خلال إعادة التفكير في كيفية تعامل الحاسوب مع الخطوات المتوسطة والبحث عن المعلومات، ابتكر الباحثون مخططاً أكثر كفاءة بكثير من التصاميم السابقة.
بدأ الباحثون بتصميم معروف لدائرة تحليل عوامل كمية، والتي تعمل بمثابة وصفة مفصلة لكسر الشమా. تتضمن هذه الوصفة قدراً هائلاً من العمل المتكرر. لكسر رقم مكون من 2048 بت، يجب على الحاسوب إجراء عملية حسابية لنحو 21,000 عدد أولي صغير مختلف. في التصميم الأصلي، يقضي الحاسوب معظم وقته وطاقته في مهمتين محددتين: البحث عن القيم في جدول ضخم من الأرقام، ثم إلغاء العمل الذي قام به للتو لتنظيف مساحة عمله. وتعد خطوات التنظيف هذه ضرورية لأن الحواسيب الكمية لا يمكنها ببساطة التخلص من المعلومات؛ بل يجب عليها عكس أفعالها للعودة إلى حالة محايدة، وهي عملية تستهلك قدرة حوسبية هائلة.
لقد أدخل الفريق ثلاثة تغييرات رئيسية على هذه العملية لتقليل عبء العمل. أولاً، أدركوا أن الحاسوب كان يبحث عن المعلومات لكل رقم من الأرقام الـ 21,000 بشكل منفصل، رغم أن العديد من عمليات البحث هذه كانت تطلب نفس المعلومات في نفس الوقت. وبدلاً من طرح السؤال 21,000 مرة، قاموا بتجميع الأعداد الأولية معاً وطرحوا السؤال مرة واحدة، مسترجعين الإجابات لعدة أعداد أولية في آن واحد. هذا البحث المشترك للمعلومات قلل بشكل كبير من عدد الخطوات المطلوبة. ثانياً، غيروا كيفية تعامل الحاسوب مع عمله المؤقت. في التصميم القديم، كان الحاسوب يحذف قطعة من البيانات ثم يضطر فوراً لإعادة بنائها لاحقاً لمجرد تنظيف الفوضى الناتجة. أما التصميم الجديد فيحتفظ بتلك البيانات في الذاكرة، لتعمل كنقطة تفتيش، بحيث لا يضطر الحاسوب لإضاعة الوقت في إعادة بنائها.
تضمن التغيير الثالث كيفية تعامل الحاسوب مع رياضيات البواقي. في الوصفة الأصلية، كان على الحاسوب التحقق باستمرار وتصحيح الأرقام لضمان بقائها ضمن نطاق محدد، وهي عملية أضافت العديد من الخطوات الإضافية. أما التصميم الجديد فيسمح للحاسوب بإجراء الرياضيات بطريقة أبسط، حيث يؤجل التصحيحات حتى نهاية العملية الحسابية. هذا النهج المؤجل يزيل جزءاً كبيراً من العمل المتكرر الذي كان مطلوباً في السابق. وعند دمج هذه التغييرات الثلاثة، نجد أنها تخلق عملية أكثر رشاقة بكثير. وقد اختبر الباحثون تصميمهم الجديد باستخدام حاسوب محاكاة قوي، والذي يعمل كمختبر افتراضي للدوائر الكمية. ووجدوا أنه بالنسبة لآلة ذات عدد محدد من البتات الكمية، تطلب تصميمهم الجديد بوابات منطقية أقل بنسبة 15 بالمائة تقريباً من أفضل نسخة موجودة. وعندما سمحوا بآلة أكبر قليلاً، ارتفع توفير البوابات إلى 46 بالمائة أقل.
كما بحثت الدراسة في كيفية انعكاس هذه التوفيرات على أنواع مختلفة من الأجهزة الكمية المستقبلية. واختبر الباحثون تصميمهم مقابل نموذجين معماريين متميزين: أحدهما يعتمد على تخطيط "كود السطح" (surface code) والآخر يستخدم "الذرات المتعادلة" (neutral atoms). واكتشفوا أن التصميم الأفضل يعتمد بشدة على الجهاز الكمي المحدد المستخدم. ففي نوع من الآلات، كان التصميم الجديد ذو عمليات البحث المشتركة أسرع بكثير. أما في النوع الآخر، فإن مسارات البيانات الأوسع التي يتطلبها البحث المشترك أدت في الواقع إلى إبطاء الآلة. يسلط هذا الاكتشاف الضوء على عدم وجود تصميم واحد "أفضل" لجميع الحواسيب الكمية؛ إذ إن المسار الأكثر كفاءة يعتمد على الآلة الفيزيائية التي سيتم بناؤها في النهاية.
لقد كان الباحثون حذرين في ملاحظة أن هذه النتائج تأتي من عمليات المحاكاة والنماذج النظرية، وليس من آلة فيزيائية تم بناؤها بعد. لقد أنشأوا معياراً مرجعياً جديداً ومفتوحاً لضمان دقة أرقامهم وإمكانية التحقق منها من قبل الآخرين، مما أغلق عدة ثغرات كانت موجودة في طرق العد السابقة. وبينما لا تدعي الورقة البحثية أنها حلت مشكلة بناء حاسوب كمي، إلا أنها توفر مساراً أكثر وضوحاً وكفاءة للمضي قدماً. ومن خلال إظهار أن متطلبات الموارد يمكن تقليصها بنسبة تقارب النصف، يشير العمل إلى أن حلم كسر RSA-2048 بواسطة حاسوب كمي ينتقل من مجال المستحيل إلى مجال الصعب ولكن الممكن تحقيقه. وتؤكد الدراسة أنه مع خواروات أكثر ذكاءً، قد لا نحتاج إلى عدد كبير من الأجزاء الفيزيائية كما كان يُخشى سابقاً لإطلاق قوة الحوسبة الكمية.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.