الخلاصة

  • يجمع FROST في جولتين التزامات المشاركين وحصص توقيعهم، ثم ينتج توقيع Schnorr من العنصرين (R, z) يمكن التحقق منه بالمفتاح العام للمجموعة.
  • لا يحمل الناتج قائمة المشاركين أو حصصهم أو قرار السياسة. ويتطلب الإسناد لاحقاً قناة موثقة، وسجل جلسة سليم، وربطاً زمنياً بين الحصة وصاحب الصلاحية.

الناتج الواحد أخفى الطريق المتعدد

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

هذه خاصية مقصودة. بعض حزم FROST تنتج توقيعات متوافقة مع التحقق في Ed25519 أو Ed448، فيبدو الناتج كأنه صدر عن موقّع واحد. تتوزع حيازة السر من الداخل، بينما تبقى الواجهة الخارجية بسيطة.

لكن بساطة الواجهة ليست محضراً للاجتماع. صحة توقيع المجموعة حقيقة تشفيرية. أما عبارة «وافق هؤلاء المسؤولون» فتحتاج هوية وتفويضاً وسياسة، وهي معلومات لا يدعي FROST تضمينها.

اختيار المشاركين قرار سابق على البروتوكول

لدى كل مشارك معرّف قياسي غير صفري وحصة سرية ومفتاح تحقق علني. ويعرف الجميع المفتاح العام للمجموعة. في النمط المعتاد يحدد المنسق المشاركين في التشغيل، ويمرر مدخلات الجولتين، ويجمع الحصص، ثم ينشر التوقيع.

ينص ‏RFC 9591 على أن اختيار المنسق ومجموعة الموقّعين يقع خارج البروتوكول. ويمكن إلغاء دور المنسق المفرد وتبادل الرسائل بين الجميع، لكن التطبيق يظل مسؤولاً عن قائمة المؤهلين والعتبة والرسالة وشرط النشر.

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

الجولة الأولى تنشئ حالة لا يجوز تكرارها

ينشئ كل مشارك قيمتي nonce سريتين والتزامين علنيين. وفي الجولة الثانية يتلقى الرسالة والقائمة المرتبة الكاملة للالتزامات. يدخل مفتاح المجموعة والرسالة والقائمة ومعرّف المشارك في حساب عوامل الربط، ثم ينتج كل مشارك حصة توقيع.

يجب ألا تستخدم قيم nonce أكثر من مرة، ويجب حذفها بعد sign. وقد يسمح التكرار باستعادة الحصة السرية كاملة. لذلك قد يعيد النسخ الاحتياطي القديم الخدمة إلى العمل، وفي الوقت نفسه يعيد حالة nonce سبق استخدامها ويفسد الأمان.

حتى ثبات مجموعة المشاركين له قيمة إثباتية. يرفض RFC التوصية بتحسين أسرع لأنه يزيل ضمان أن من بدأ الجولة الأولى هو نفسه من أنتج نتيجة الجولة الثانية. لا يمكن لمقياس الأداء أن يخفي خسارة هذا الضمان.

بعد التجميع لا تبقى الأسماء في التوقيع

يجمع المنسق الحصص ليحصل على R وz. لا يتضمن الترميز النهائي العتبة أو معرّفات الأعضاء أو الالتزامات الفردية أو الحصص أو قراراتهم المحلية. إذا حُذف سجل الجلسة، فلا يمكن إعادة بنائه من التوقيع الصحيح.

قبل التجميع يمكن فحص كل حصة بالمفتاح العلني للمشارك والتزاماته والقائمة الكاملة والرسالة ومفتاح المجموعة. ويمكن عند الفشل تحديد المعرّف الذي قدم حصة غير صالحة. إلا أن ربطه بمرسل حقيقي يحتاج قناة مصادقاً عليها؛ العلاقة الرياضية وحدها لا تثبت مصدر حزمة الشبكة.

أما الصمت فواقعة مختلفة. لا يحدد FROST تلقائياً من رفض المشاركة. يستطيع التطبيق إثبات وصول طلب وانقضاء مهلة وغياب رد صالح، لكنه لا يثبت السبب أو النية. كما يترك RFC الإجراء ضد المشارك المخالف خارج نطاقه.

الحصة الصحيحة ليست قراراً إدارياً

يوصي RFC بأن تتحقق التطبيقات من محتوى الرسالة حتى لا يصبح المشاركون آلات توقيع عمياء. قد يتطلب نظام معاملات التأكد من البنية وقصد أصحاب المصلحة. وقد يطلب موقّع TLS الرسائل الأصلية للمصافحة قبل قبول hash السجل.

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

يلزم ربط تمثيل الكائن القانوني ببصمة الرسالة وقرار السياسة والهوية ونتيجة الحصة والتجميع والنشر والأثر النهائي. إن اختزال كل ذلك في كلمة «موافق عليه» يحذف الفروق التي يحتاجها التحقيق.

الإنهاء القابل للإسناد لا يعني المتانة

يمكن لحصة تالفة أن توقف الجلسة، كما يمكن لمشارك أن يمتنع عن الرد. يصرح ‏RFC 9591 بأن FROST لا يوفر المتانة. ويقدم ROAST كغلاف منفصل للمتانة غير المتزامنة. ولا يوفر FROST أمناً لما بعد الحوسبة الكمية، لأنه يعتمد على صعوبة اللوغاريتم المتقطع.

الوثيقة معلوماتية صادرة في مسار IRTF وتمثل إجماع CFRG، وليست معيار IETF أو أمراً بالنشر. نجاح متجهات الاختبار ودعم مكتبة لا يثبتان تشغيل سجل عضوية وقنوات موثقة ومخزن nonce وسياسة وأرشيف إنتاجي.

يفصل منظور Lu Heng بين الواقع التنفيذي والسلطة الرمزية. التوقيع الصالح واقع تشفيري قابل لإعادة الاختبار. القول إن «المجلس فوّض الفعل» يحتاج أصلاً مستقلاً للتفويض. ويمكن للتنسيق التقني أن يخدم ذلك القرار، لكنه لا ينشئه وحده.

المصادر