Практическая защитная инструкция для libcrux и ghsa-2cgv-28vr-rv6j: как сопоставить runtime с официальной границей версий, провести один ограниченный обратимый тест и передать владельцу проверяемый результат без опасного payload.
Граница применимости libcrux
Начинать нужно не с воспроизведения дефекта, а с применимости. Reviewed advisory ghsa-2cgv-28vr-rv6j описывает отдельный механизм: оптимизированный AArch64 путь мог вычислять неверный результат, а успешная сборка не показывает криптографическую корректность. Зафиксированные package ranges: libcrux-intrinsics: = 0.0.3; first patched 0.0.4; libcrux-ml-kem: = 0.0.3; first patched 0.0.4; libcrux-ml-dsa: = 0.0.3; first patched 0.0.4. Package manager, SBOM и lockfile показывают заявленную зависимость, но решение принимают по реально загруженному artifact: сохраняют версию, checksum или digest и команду получения этого значения. Если компонента нет, статус not-applicable. Если он найден, но путь не активен, ставят affected-unverified. Новая запись в lockfile при старом процессе означает patched-unverified. Backport признают только после сопоставления upstream change и сборочного происхождения. Дата обновления 2026-08-21 объясняет, почему карточка проверяется сейчас; она ничего не сообщает о конкретном сервере читателя.
Baseline и доказательства до изменения libcrux
До обновления составляют короткий снимок: версии libcrux-intrinsics, libcrux-ml-kem и libcrux-ml-dsa, target triple, CPU features, lockfile, checksum crate и набор официальных vectors. Каждое поле получает значение fact, not-applicable или unknown; пустое поле не трактуется как безопасность. Отдельно сохраняют health, владельца остановки, допустимый resource budget, checksum конфигурации и обратимый план. Смешанные версии разбивают по процессам, контейнерам или узлам, потому что средняя версия скрывает старый runtime. В отчёт не переносят tokens, cookies, credentials, реальные адреса, содержимое пользовательских данных, приватные логи и домашние пути. Для этой темы baseline нужен, чтобы отличить механизм ghsa-2cgv-28vr-rv6j от прежней ошибки настройки, proxy, cache или dependency drift. Если health уже красный, сначала закрывают прежний инцидент и не приписывают его текущему update.
Один ограниченный опыт для libcrux
После обновления выполняют только заранее ограниченный опыт: на отдельном AArch64 runner выполнить upstream test vectors для затронутых crates и тот же набор на контрольной поддерживаемой архитектуре. Проверка проходит в disposable VM, контейнере, tempfs, копии базы или отдельном namespace в зависимости от продукта; общий production объект в неё не входит. Схема A/B/A2 обязательна: обычное действие A, один безопасный граничный случай B, затем повтор обычного действия A2. Между шагами не меняют одновременно dependency, права, network и storage. Ввод содержит только canary и не включает рабочий exploit, приватные сведения или чужой сервис. Ожидаемый исход записан до запуска: patched artifacts совпадают с ожидаемыми vectors на AArch64, контрольная архитектура даёт тот же результат, runtime загружает нужные crates. Timeout, crash, необъяснимый 500, новый побочный объект или потеря health — не подтверждение исправления, а failed-safe-check.
Матрица решения по ghsa-2cgv-28vr-rv6j
Результат оценивают по наблюдаемой границе, а не по отсутствию exception. Для libcrux passed-bounded-check допустим только когда patched artifacts совпадают с ожидаемыми vectors на AArch64, контрольная архитектура даёт тот же результат, runtime загружает нужные crates. В строке решения должны совпасть artifact digest, активность функции, A/B/A2, health после cleanup и версия из официальной границы. Контролируемый отказ должен соответствовать механизму advisory: validation, authorization, bounds, resource limit или protocol policy. Пустой ответ, ручная правка после B, старый процесс при новом файле или различие между узлами оставляют unknown. Статусы ограничены набором not-applicable, update-required, patched-unverified, passed-bounded-check, failed-safe-check и unknown. Даже passed относится только к указанной конфигурации и времени; он не является общей оценкой безопасности libcrux и не заменяет дальнейший мониторинг.
Стоп-линия, возврат и пакет владельцу libcrux
Проверку прекращают сразу, если vector source неизвестен, тест использует реальные ключи, runner имеет смешанные версии или требуется отключить проверку подписи пакетов. После стопа не повышают нагрузку, права, глубину входа или длительность. Запланированный возврат: удалить временный runner и test artifacts, вернуть lockfile из version control и повторить dependency integrity check. Cleanup считается завершённым после повторного baseline, нулевого diff вне тестового объекта и закрытия временных sessions, listeners, handles, processes или credentials. Владельцу передают только минимизированный пакет: версии трёх crates, target triple, CPU flags, источник vectors, pass/fail без ключевого материала, checksums и идентификатор удалённого runner. Добавляют время, ожидаемый и фактический исход, две прямые ссылки ниже и ответственного за cleanup. Полные дампы, секреты, реальные payload и сведения о чужой инфраструктуре исключают. Материал описывает безопасный путь проверки; он не утверждает, что тест уже выполнен на системе читателя, и не обещает отсутствие других дефектов, индексацию страницы или поисковые позиции.
Материал подготовлен редакцией VOne с помощью ИИ по открытым официальным и первичным источникам; факты, даты, версии и ссылки перепроверены. Реальные пользовательские данные, активные опасные payload и вымышленные результаты тестов не использовались.
Источники и проверка
- GitHub Advisory Database GHSA-2cgv-28vr-rv6j по libcrux проверено 2026-08-30
- Прямая upstream-страница libcrux проверено 2026-08-30
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.