animeshshaw/pqc-cost-of-delayترتيب الأولويات حسب تكلفة التأخير للانتقال إلى ما بعد الكم: المخاطر الكلاسيكية ومخاطر الحصاد الآن وفك التشفير لاحقًا في وحدة واحدة (دولار أمريكي سنويًا). شيفرة، وبراهين، ودراسات حالة، ومستكشف مباشر.
المستكشف المباشر · تطبيق مرجعي، وبراهين، ودراسات حالة، وإحصاءات لورقة بحثية.
مخاطر الاختراق الكلاسيكي ومخاطر الكم من نوع الحصاد الآن وفك التشفير لاحقًا (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 License 2.0 (LICENSE). للاقتباس عبر CITATION.cff. الإصدارات المؤرشفة: doi:10.5281/zenodo.23133467 (جميع الإصدارات).