animeshshaw/pqc-cost-of-delayترتيب الأولويات حسب تكلفة التأخير للانتقال إلى ما بعد الكم: المخاطر الكلاسيكية ومخاطر الحصاد الآن وفك التشفير لاحقًا في وحدة واحدة (دولار أمريكي سنويًا). شيفرة، وبراهين، ودراسات حالة، ومستكشف مباشر.
المستكشف المباشر · النسخة الأولية (arXiv:2610.09029) · التنفيذ المرجعي والبراهين ودراسات الحالة والإحصاءات الخاصة بورقة بحثية.
مخاطر الاختراق الكلاسيكية ومخاطر الكم المرتبطة بـ الحصاد الآن وفك التشفير لاحقًا (HNDL)، معبَّرًا عنها بوحدة واحدة — دولارات الخسارة لكل سنة تأخير — بحيث يمكن لقائمة واحدة مرتَّبة أن تجيب عن سؤال "هل ينبغي لنا إغلاق هذه النتيجة الكلاسيكية، أم ترحيل تشفير ذلك الأصل أولًا؟"
الحالة: نموذج بحثي أولي. جميع مدخلات دراسات الحالة هي افتراضات مستمدة من وثائق عامة؛ لم تقدّم أي مؤسسة بيانات، ولم يتم التحقق من صحة المنهجية مقابل حوادث أو عمليات ترحيل حقيقية. انظر التحفظات.
يمكن للمهاجمين نسخ البيانات المشفّرة اليوم وفك تشفيرها بمجرد توفر حاسوب كمي كبير. وتعتمد أهمية ذلك على المدة التي يجب أن تبقى فيها البيانات سرية، وما إذا كان يمكن تسجيلها، وما إذا كان مهاجم عادي كان سيسرقها أولًا. درجات المخاطر الحالية لما بعد الكم عديمة الأبعاد وتقتصر على الكم فقط، لذا لا يمكن مقارنتها بالمخاطر الكلاسيكية التي تُقاس بالدولارات.
يحسب هذا المستودع، لكل أصل، تكلفة الانتظار سنة أخرى الناتجة عن كل تهديد، بالدولارات، ويقرنها ببعضها بحيث لا تُحتسب الخسارة نفسها مرتين. ويحتوي على:
costofdelay/) تتضمن النموذج وقانون وقت الوصول لحاسوب كمي وانتشار عدم اليقين وتحليل الحساسية وفحص الجدولة؛app/) يعمل في المتصفح ويشرح كل مدخل.| الفكرة | الحد الكلاسيكي = الخسارة السنوية $\lambda V$. الحد الكمي = $r,h\int_0^L f_Q(t),e^{-(\lambda+\rho)t},dt$، وهو المعدل الذي يلتزم به تأجيل الترحيل بخسارة لا رجعة فيها. كلاهما بالدولار/سنة؛ وعامل المخاطر المتنافسة يمنع احتساب الخسارة نفسها مرتين. |
| مُبرهَن عليه | الوحدات، وعدم الاحتساب المزدوج، والحدود، والإحصاءات المقارنة، وعتبة الهيمنة بصيغة مغلقة، وعدم القابلية للفصل، ومثالية الترتيب وفق قاعدة Smith (methodology/FORMAL_METHOD.md). |
| مُتحقَّق منه | 256 اختبارًا آليًا؛ تحققات متقاطعة عبر Monte Carlo والتكامل العددي؛ وتنفيذ ثانٍ (JavaScript) يطابق 577 قيمة. |
| مُقيَّم على | MOSIP (الهوية الوطنية)، Apache Fineract (الخدمات المصرفية)، OpenMRS (السجلات الطبية)، Online Boutique (متجر تجريبي، اختبار إجراءات فقط). |
| النتائج الرئيسية | يغيّر الحد الكمي المقادير وبعض الأصول المحددة بشكل حاسم، لكنه يحرّك القائمة بأكملها أقل مما تفعله ضوضاء المدخلات في ثلاثة من الأنظمة الأربعة. يفسّر تاريخ وصول الكم 3–17% فقط من عدم اليقين؛ بينما تفسّر الخسارة ومعدل الدوران 73–91% (methodology/STATISTICS.md). |
يتطلب Python ≥ 3.10. وNode ≥ 18 اختياري (يشغّل الفحص على رياضيات المستكشف).
git clone https://github.com/AnimeshShaw/pqc-cost-of-delay && cd pqc-cost-of-delay
python -m venv .venv && source .venv/bin/activate # Windows: .venv\Scripts\activate
pip install -r requirements.txt
python scripts/reproduce.py
يقوم reproduce.py بتشغيل، بالترتيب: مجموعة الاختبارات → التحقق العددي → التحليل الإحصائي (results/) → الأشكال (paper/figures/، تُنشأ إن لم تكن موجودة) → جداول المعاملات → بيانات المستكشف وفحصها عبر اللغات. يستغرق الأمر نحو 2–4 دقائق وهو حتمي (كل إجراء عشوائي له بذرة ثابتة). بعد ذلك يجب أن يُظهر git diff --stat results/ عدم وجود تغيير، أو اختلافات في الرقم المطبوع الأخير فقط إذا اختلفت إصدارات NumPy/SciPy لديك. الإصدارات الدقيقة المختبَرة موجودة في requirements-lock.txt.
للاستكشاف التفاعلي، استخدم المستكشف المباشر أو افتح app/index.html محليًا. لا يحتاج إلى خادم، ولا يُجري كود الصفحة أي طلبات شبكة ولا يرسل مدخلاتك إلى أي مكان (GitHub، بصفتها المضيف، تسجّل زيارات الصفحات العادية).
لتقييم سجلك الخاص:
python -m costofdelay.register path/to/asset_register.csv
يُوصف تنسيق CSV في methodology/PARAMETERS.md ويُمثَّل في case_studies/.
| المسار | المحتويات |
|---|---|
costofdelay/ | حزمة Python: قانون وصول CRQC، نموذج الأصول، التقييم، أداة مقارنة لدرجة QARS المنشورة، عدم اليقين والإحصاءات، الجدولة. يستخدم جوهر التقييم المكتبة القياسية فقط. |
tests/ | اختبارات الوحدة، واختبارات الخصائص لكل قضية، وخطوط أساس الدحض |
methodology/ | البراهين؛ تعريفات المعاملات ومراسيها؛ التحليل الإحصائي |
case_studies/ | سجلات الأصول الأربعة (CSV)، واحد لكل نظام |
scripts/ | إعادة الإنتاج، والنتائج، والأشكال والجداول |
results/ | الأرقام المولَّدة (JSON، CSV، Markdown) |
app/ | مستكشف تفاعلي (HTML/JavaScript) مع اختبار تكافؤ مع Python |
إذا رغبت مؤسستك في اختبار الطريقة على سجل حقيقي، أو في استخدام الشيفرة أو الورقة كنقطة انطلاق، فأنت مرحب بك للتواصل: [email protected]. وتُوصف المساهمات في CONTRIBUTING.md.
استُخدم نموذج لغوي كبير (Claude من Anthropic، عبر Claude Code) استخداماً كبيراً لصياغة الشيفرة والاختبارات والأشكال وسجلات دراسات الحالة والنص، وفي البحث في الأدبيات، بتوجيه من المؤلف. وهو ليس مؤلفاً. والمؤلف مسؤول عن المحتوى. وقد جرى التحقق من كل مرجع يحمل معرّف DOI أو arXiv مقابل سجله بواسطة سكربت؛ وتُغطى الرياضيات ببرهان وباختبارات مستقلة؛ وقد التقطت تلك الفحوص الأخطاء التي وقعت في الطريق (مثل معرّفي DOI خاطئين وقيمة أصل مبالغ فيها) وصُححت.
رخصة Apache 2.0 (LICENSE). استشهد عبر CITATION.cff؛ والاستشهاد المفضل هو المسودة المسبقة arXiv:2610.09029. الإصدارات المؤرشفة: doi:10.5281/zenodo.23133467 (جميع الإصدارات).