animeshshaw/pqc-cost-of-delayПриоритизация по стоимости задержки для постквантовой миграции: классический риск и риск harvest-now-decrypt-later в одной единице измерения (доллары США в год). Код, доказательства, примеры из практики, живой обозреватель.
Интерактивный обозреватель · Препринт (arXiv:2610.09029) · эталонная реализация, доказательства, тематические исследования и статистика для научной статьи.
Риск классического взлома и квантовый риск harvest-now-decrypt-later (HNDL), выраженные в одной единице измерения — долларах США убытков за год задержки — так что единый упорядоченный список может ответить на вопрос «что нам следует сделать в первую очередь: закрыть эту классическую уязвимость или мигрировать криптографию того актива?»
Статус: исследовательский прототип. Все входные данные тематических исследований — это допущения, выведенные из публичной документации; ни одна организация не предоставляла данные, и метод не проверялся на реальных инцидентах или миграциях. См. Оговорки.
Злоумышленники могут скопировать зашифрованные данные сегодня и расшифровать их, как только появится достаточно мощный квантовый компьютер. Насколько это важно, зависит от того, как долго данные должны оставаться в тайне, можно ли их записать и не забрал ли бы их сначала обычный злоумышленник. Существующие оценки постквантового риска безразмерны и учитывают только квантовую угрозу, поэтому их нельзя сравнивать с классическим риском, который измеряется в долларах.
Этот репозиторий вычисляет для каждого актива стоимость ожидания ещё одного года от каждой угрозы в долларах и связывает их так, чтобы один и тот же убыток не учитывался дважды. Он содержит:
costofdelay/) с моделью, законом времени наступления квантового компьютера, распространением неопределённости, анализом чувствительности и проверкой планирования;app/), который работает в браузере и поясняет каждый входной параметр.| Идея | Классический член = годовой убыток $\lambda V$. Квантовый член = $r,h\int_0^L f_Q(t),e^{-(\lambda+\rho)t},dt$ — скорость, с которой откладывание миграции влечёт необратимый убыток. Оба в долларах США в год; коэффициент конкурирующих рисков не позволяет учитывать один и тот же убыток дважды. |
| Доказано | Единицы измерения, отсутствие двойного учёта, границы, сравнительная статика, порог доминирования в замкнутой форме, несепарабельность и оптимальность упорядочивания по правилу Смита (methodology/FORMAL_METHOD.md). |
| Проверено | 256 автоматических тестов; перекрёстные проверки методом Монте-Карло и квадратур; вторая реализация (на 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/ | Модульные тесты, property-тесты каждого утверждения, базовые линии опровержения |
methodology/ | Доказательства; определения параметров и привязки; статистический анализ |
case_studies/ | Четыре реестра активов (CSV), по одному на систему |
scripts/ | Воспроизведение, результаты, графики и таблицы |
results/ | Сгенерированные числа (JSON, CSV, Markdown) |
app/ | Интерактивный исследователь (HTML/JavaScript) с тестом на соответствие Python |