Finality Before Disclosure for Ledger Authenticators in the Quantum Random Oracle Model
تقدم هذه الورقة مفهوم مصدِّقات السجل (ledger authenticators) ونموذج عدم القابلية للتزوير المقابل () لتأمين بروتوكولات التفويض التفاعلية في السجلات العامة، مع إثبات حد أمني كمي متعدد المستخدمين في نموذج الأوراكل العشوائي الكمي (Quantum Random Oracle Model) الذي يأخذ في الاعتبار ترتيب الخصم، والرقابة، والمتطلب الحاسم لإغلاق أهلية الأدلة قبل الكشف عن بيانات الاعتماد.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في العالم الرقمي، يُعد السجل ببساطة سجلاً مشتركاً يوضح من يملك ماذا وما الذي حدث. فكر فيه كدفتر ملاحظات عام حيث تُكتب كل معاملة، وتُتحقق منها، وتُضاف إلى التاريخ. لعقود من الزمن، اعتمد أمن هذه الدفاتر على مفتاح واحد محمول: التوقيع الرقمي. ومثل التوقيع المادي على الشيك، كان هذا الوسم الرقمي يثبت أن المالك قد صرح بإجراء معين. وقد صُمم النظام بحيث يمكن لأي شخص التحقق من التوقيع باستخدام مفتاح عام، دون الحاجة إلى معرفة تاريخ الحساب أو توقيت المعاملة. لقد نجح هذا الأمر في عمليات التحويل البسيطة، لكن السجلات الرقمية الحديثة أصبحت أكثر تعقيداً؛ فهي الآن تدير الحالة، وترتب الأحداث، وتعتمد على نهائية السجل — وهي النقطة التي تُعتبر عندها المعاملة غير قابلة للتغيير ودائمة. لقد بدأ النموذج القديم للتوقيع المستقل يشعر بعدم الكفاية لهذه الأنظمة الجديدة التفاعلية، حيث قد تعتمد صحة إجراء ما على ما حدث قبله مباشرة أو على كيفية اتفاق الشبكة على ترتيب الأحداث.
أدى هذا التحول إلى خلق تحدٍ جديد للأمن، خاصة ونحن نتطلع نحو مستقبل قد تكسر فيه الحواسيب الكمومية القوية طرق التشفير الحالية. تساءل الباحثان مايا لي وبنجامين مارش سؤالاً جوهرياً: عندما يصرح سجل رقمي بتغيير ما، ما مقدار الأمن الذي يأتي من المفتاح السري الذي يحمله المستخدم، وكم منه يأتي من التاريخ العام للسجل نفسه؟ في العديد من الأنظمة الحديثة، يفعل السجل أكثر من مجرد حمل توقيع؛ فهو يساعد في تحديد ما إذا كان الإجراء صالحاً من خلال التحقق من الجدول الزمني، وترتيب الأحداث، والحالة النهائية للحساب. أدرك المؤلفان أن اختبارات الأمن القياسية، التي تعامل التوقيعات كأجسام معزولة، أغفلت الأخطار الفريدة لهذه البيئة. فقد حددا أن المهاجم يمكنه تقنياً استغلال الوقت الفاصل بين كشف السر وبين تسجيله رسمياً، أو استخدام القدرة على تأخير وإعادة ترتيب المعاملات لإنشاء تزوير.
ولحل هذه المشكلة، بنى الباحثان إطار عمل جديداً يسمى "مُوثق السجل" (ledger authenticator). هذا النموذج يعامل عملية التفويض بأكملها كأنها لعبة تُلعب ضد تاريخ السجل، بدلاً من كونها مجرد فحص لتوقيع. لقد قدما اختباراً محدداً، يسمى LA-EUF، والذي يحاكي سيناريو يستطيع فيه المهاجم مراقبة كل معاملة صادرة عن مستخدم شريف قبل تسجيلها، وتأخير إدراجها، وحتى إعادة ترتيب تسلسل الأحداث. الهدف من هذا الاختبار هو معرفة ما إذا كان بإمكان المهاجم خداع النظام لقبول إجراء جديد غير مصرح به باستخدام سر تم كشفه للتو. تثبت الورقة أنه بالنسبة لأنواع معينة من البروتوكولات، يعتمد الأمن على شرط محدد: يجب على السجل أن "يغلق" قائمة الإجراءات الممكنة قبل كشف السر. فإذا سمح النظام بإنشاء إجراءات جديدة بعد كشف السر، سيكون السجل عرضة للاختراق. ومع ذلك، إذا قام النظام بتثبيت قائمة الإجراءات الصالحة بناءً على الحالة النهائية وغير القابلة للتغيير للسجل قبل تسرب السر، فإن النظام يظل آمناً.
أظهر الباحثون أن هذا النهج يعمل من خلال تعريف عملية "الالتزام، الإغلاق، الكشف" (commit, close, reveal). في هذه الطريقة، يلتزم المستخدم أولاً بإجراء ما وينتظر حتى ينهي السجل نافذة زمنية محددة. وفقط بعد إغلاق هذه النافذة وتثبيت قائمة الالتزامات الصالحة، يكشف المستخدم عن السر. يضمن هذا أنه حتى لو رأى المهاجم السر، فإنه لا يستطيع إنشاء إجراء جديد وصالح، لأن السجل قد أغلق بالفعل القواعد الخاصة بتلك اللحظة. قدم المؤلفون برهاناً رياضياً يظهر أن هذه الطريقة آمنة حتى ضد الحواسيب الكمومية، بشرما يتبع النظام قواعد التوقيت والنهائية الصارمة هذه. لقد أظهروا أن أمن النظام لا يتعلق فقط بقوة المفتاح السري، بل باللحظة الدقيقة التي يقرر فيها السجل ما هو مسموح به.
كما أوضحت الدراسة حدود هذا النهج؛ حيث وجدت أنه إذا اعتمد بروتوكول ما على حدث واحد لا يعتمد على تاريخ السجل، فإنه ينهار فعلياً ليعود إلى مخطط توقيع قياسي، فاقداً بذلك الحماية الإضافية التي يمكن أن يوفرها السجل. وعلى العكس من ذلك، إذا سمح بروتوكول ما بإعادة استخدام سر أو ربطه بإجراء مختلف بعد كشفه، فإنه يكون غير آمن بطبيعته ما لم يكن السجل قد جمد بالفعل قائمة الإجراءات الصالحة. أثبت الباحثون أنه من خلال فصل سلامة النظام عن سرعة معالجة معاملاته، يمكنهم إنشاء دفاع قوي. لقد أظهروا أن السلامة يمكن ضمانها حتى لو كانت الشبكة بطيئة أو إذا حاول مهاجم منع معاملات صادرة عن مستخدمين شرفاء، طالما أن الحالة النهائية للسجل تُستخدم لإغلاق القواعد قبل كشف الأسرار.
يقدم هذا العمل مساراً واضحاً للمضي قدماً في بناء سجلات رقمية آمنة في عالم ما بعد الحوسبة الكمومية. إنه يتجاوز فكرة مجرد استبدال التوقيعات القديمة بأخرى جديدة مقاومة للكم، بل يقترح أن السجل نفسه يجب أن يكون مشاركاً نشطاً في حجة الأمن، مستخدماً تاريخه العام والنهائي لمنع الاحتيال. تشير نتائج الباحثين إلى أن الأنظمة الأكثر أماناً ستكون تلك التي تدير بعناية توقيت كشف الأسرار وتوقيت وضع قواعد اللعبة في الحجر. ومن خلال القيام بذلك، يضمنون أن يظل السجل سجلاً موثوقاً، قادراً على الصمود حتى أمام الهجمات الأكثر تطوراً، دون الاعتماد على الأمل في عدم تخمين السر أبداً. والنتيجة هي طريقة أكثر مرونة لإدارة الثقة الرقمية، حيث يكون تاريخ النظام لا يقل أهمية عن المفتاح الذي يبدأه.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.