Secret Sharing in the Rank Metric

حراس الأسرار في العصر الرقمي

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

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

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

---

فتح الأسرار باستخدام الشبكات والظلال

في هذه الورقة، يأخذ المؤلفون الفكرة الكلاسيكية لمشاركة الأسرار ويمنحونها ترقية كبرى، منتقلين بها من القوائم البسيطة للأرقام إلى شبكات معقدة من الأرقام. لقد قدموا طريقة جديدة للتفكير في كيفية مشاركة الأسرار باستخدام "أكواد المسافة الرتبية"، والتي تشبه شبكات خاصة من الأرقام تُستخدم لحماية البيانات في الشبكات عالية التقنية.

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

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

أحد أكثر النتائج إثارة هو أن هذه الأنظمة الجديدة يمكنها إنشاء "مخططات عتبة مثالية" (perfect threshold schemes). وباللغة البسيطة، هذا يعني أن النظام فعال للغاية: إذا كنت تمتلك ما يكفي من "المساحة" (بُعد محدد في الشبكة)، يمكنك فتح الخزنة بيقين بنسبة 100% وبدون أي معلومات إضافية. وإذا كان لديك أقل من ذلك، فلن تتعلم أي شيء على الإطلاق. لقد أثبت المؤلفون أن نوعاً معيناً من الأكواد، يسمى "كود المسافة الرتبية القصوى" (Maximum Rank Distance - MRD)، ينشئ هذه المخططات المثالية. الأمر يشبه العثور على مفتاح سحري يعمل في كل مرة وبشكل مثالي، ولكن فقط إذا كان لديك القدرة المناسبة من المساحة لاستيعابه.

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

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

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

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