Cycles of supersingular elliptic curves for pairing-based proof systems

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

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

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

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

لإثبات أن هذا المفهوم يعمل في العالم الحقيقي، لم يكتف الفريق بالاعتماد على النظرية فحسب؛ بل بنوا محرك بحث للعثور على أمثلة ملموسة. لقد شرعوا في بناء ما يسمونه "المصاصات". تخيل مصاصة حيث يمثل العصا سلسلة من المنحنيات الفعالة، ويمثل الجزء المستدير في الأعلى الدورة التكرارية. يسمح "العصا" للإثبات بالبدء في حقل صغير وسريع، مما يجعل الخطوات الأولية للحساب سريعة جدًا. أما الجزء المستدير، أي "الدورة"، فيسمح بتكديس الإثبات والتحقق منه تكراريًا دون حدود. طور الباحثون خوارزمية للعثور على هذه الهياكل من خلال حل نوع معين من الألغاز العددية المعروف باسم "معادلة بيل" (Pell equation). وقاموا بتشغيل هذه الخوارزمية على أجهزة كمبيوتر قوية، باحثين عبر ملايين الاحتمالات. وكانت عملية البحث ناجحة؛ فقد وجدوا ثمانية عشر نموذجًا متميزًا من هذه المصاصات، تتراوح أحجامها لدعم مستويات أمان من 80 بت إلى 128 بت وما فوق. حتى أن أحد نماذجهم، وهو نموذج كبير بحقل يبلغ 956 بت، قد دفع الحدود نحو الاهتمام العملي، مما أظهر أن هذه الهياكل يمكن أن تتوسع لتلبية احتياجات الأمان المستقبلية.

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

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