Защитная проверка Deno node:crypto checkPrime по ghsa-9xg4-qhm4-g43w: применимость, безопасный fixture, candidate-class / checks-input / effective-rounds / trial-division / final-verdict, pass-rule и stop-rule без production-данных.
Какая граница сломана в Deno node:crypto checkPrime
Пользовательская проблема здесь узкая: default checks=0 приводит к нулю Miller–Rabin rounds и принимает некоторые composite candidates. Механизм по прямой upstream advisory: Ноль как API default не должен интерпретироваться как «не проверять». Runtime обязан выбрать безопасное ненулевое число rounds либо явно отклонить значение. Поэтому проверяем не общий класс уязвимостей, а invariant «default и checks=0 выполняют документированную ненулевую probabilistic primality policy». GitHub Reviewed Advisory ghsa-9xg4-qhm4-g43w опубликована 2026-06-16, обновлена 2026-06-16; package boundary: «rust/deno <= 2.8.0; first patched 2.8.1». Эти факты не доказывают affected code в конкретном fork, эксплуатацию, популярность или поисковый спрос.
Сначала докажите применимость сборки и пути
Запишите source package, runtime version, build digest, commit provenance, feature/config state и роль, достигающую Deno node:crypto checkPrime. Отдельно отметьте самый ранний side effect. Нормальный контроль: известный prime проходит при effective rounds больше нуля. Если component заменён, feature выключен или backport подтверждён по diff, укажите not-reachable/not-affected с доказательством. Если provenance неизвестна, статус unknown; номер версии из «rust/deno <= 2.8.0; first patched 2.8.1» остаётся фильтром, а не готовым выводом.
Проведите один обратимый лабораторный опыт
Безопасный fixture: В isolated crypto unit test использовать малые известные prime/composite fixtures и spy на round runner; тяжёлые числа не нужны. Все значения синтетические; persistence — memory adapter или rollback transaction, filesystem — mkdtemp, сеть отключена либо заменена recorder. До запуска сохраните input digest, ожидаемый pass-rule и нулевые counters. После — строку «candidate-class / checks-input / effective-rounds / trial-division / final-verdict», final-state digest и cleanup proof. Эксплуатационный payload, реальный credential, массовый перебор и production traffic не нужны.
Решение по строке candidate-class / checks-input / effective-rounds / trial-division / final-verdict
Сначала убедитесь, что control действительно достиг нужной ветви. Затем читайте «candidate-class / checks-input / effective-rounds / trial-division / final-verdict» слева направо: где нормализован input, когда применена policy и был ли чувствительный action. PASS только если composite отклонён, effective rounds ненулевой для default/0 и явно записан. Отсутствие exception или один HTTP status недостаточны. При async/race boundary используйте фиксированные barriers и один малый повтор, а не нагрузочный тест. Любой необъяснимый side effect переводит результат в fail/unknown до расследования.
Проверьте patch provenance и красные флаги
Исправление обязано реализовать смысл «default и checks=0 выполняют документированную ненулевую probabilistic primality policy», а не только изменить номер релиза. На одинаковом fixture сравните affected и candidate build, сохранив candidate-class / checks-input / effective-rounds / trial-division / final-verdict. Красные флаги: policy после side effect, несовпадение verified/effective target, fail-open при ошибке, другой code path для transport/формата или отсутствие negative control. Production update не разрешён этой статьёй: требуется отдельный rollout с backup, canary, readiness, журналами и rollback.
Stop-rule, support packet и дерево решения
Stop-rule: не генерировать ключи и не проводить ресурсоёмкий benchmark. Также остановитесь при privilege prompt, данных вне fixture, необратимой записи, росте ресурсов, отсутствии normal control или невозможности cleanup. В обезличенный support packet положите ghsa-9xg4-qhm4-g43w, product/component, version/build provenance, «rust/deno <= 2.8.0; first patched 2.8.1», строку «candidate-class / checks-input / effective-rounds / trial-division / final-verdict», expected/observed, stop reason и обе source URL. Дерево: patched provenance — not-applicable; недостижимая ветвь — not-reachable; pass-rule выполнен — ready-for-reviewed-update; наблюдается «default checks=0 приводит к нулю Miller–Rabin rounds и принимает некоторые composite candidates» — fail; иначе unknown. Ни один лист не обещает универсальную безопасность или индексацию.
Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые источники, безопасный fixture, privacy-границы и отсутствие рекламных обещаний затем перепроверены.
Источники и проверка
- GitHub Reviewed Advisory ghsa-9xg4-qhm4-g43w проверено 2026-08-31
- Primary upstream for Deno node:crypto checkPrime проверено 2026-08-31
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.