Защитная диагностика Phalcon Encryption Crypt по GHSA-8jqh-95g6-7jpj: применимость, обратимый локальный control, измеримый verdict, критерий остановки и минимальный пакет данных для владельца системы.
Короткий ответ — Phalcon Crypt: constant-time проверка HMAC
Задача страницы — проверить, что HMAC в Crypt::decrypt сравнивается constant-time primitive, а не ранним byte-wise equality. Сначала установите фактически загруженный Phalcon Encryption Crypt, package lock или image digest и границу «phalcon/cphalcon: introduced 0, fixed 5.14.1». Advisory GHSA-8jqh-95g6-7jpj — сигнал для inventory, а не доказательство состояния вашей установки. Практический порядок: provenance, один benign control, один boundary-case, измеримый verdict и cleanup. Боль конкретна: ранний выход при сравнении тега создаёт зависимость пути исполнения от совпавшего префикса. Итогом должен стать карта source location / primitive / equal verdict / mismatch verdict / error class, а не субъективное утверждение «вроде безопасно».
Граница решения в Phalcon Encryption Crypt
Разделите путь данных на переходы: ciphertext tag → computed HMAC → comparison primitive → decrypt verdict. На каждом переходе запишите владельца значения, тип, допустимое состояние и запрещённый side effect. Проверяемая инварианта: ветка использует hash_equals или эквивалентный constant-time primitive и выдаёт одинаковый тип ошибки для неверных тегов. NOT_APPLICABLE допустим только если component/function доказанно отсутствует; неизвестные digest, версия или effective config дают UNKNOWN. Номер исправленного релиза без runtime readback не является PASS, а отсутствие инцидента не доказывает соблюдение границы.
Безопасный локальный стенд для Phalcon Encryption Crypt
Control выполняется только в disposable state: провести статическую проверку вызова primitive и unit spy над wrapper для равного и двух неравных тегов; сетевые тайминги не измерять. Сеть, shell, production database, реальные bucket, broker, SMTP, файловые пути, токены и пользовательские данные замените spies, stubs или in-memory объектами. До запуска сохраните baseline hash, нулевые counters и лимит времени/памяти. Входы должны быть короткими синтетическими маркерами; цель — проверить ветвление и ownership, а не воспроизводить эксплуатацию или усиливать воздействие.
Control, boundary-case и наблюдения
Benign control подтверждает достижимость ожидаемой ветки. Boundary-case меняет ровно один признак, связанный с болью «ранний выход при сравнении тега создаёт зависимость пути исполнения от совпавшего префикса», и не выходит за минимальный тестовый масштаб. Сохраните карта source location / primitive / equal verdict / mismatch verdict / error class, reason code, duration и counters до/после. Ключевое правило остаётся неизменным: ветка использует hash_equals или эквивалентный constant-time primitive и выдаёт одинаковый тип ошибки для неверных тегов. Если control не достигает целевой функции или точка наблюдения двусмысленна, verdict — UNKNOWN; добавлять более сильный вход ради красивого результата нельзя.
Как вынести PASS, FAIL и UNKNOWN
PASS требует подтверждённых provenance/version, успешного benign control, соблюдения инварианты «ветка использует hash_equals или эквивалентный constant-time primitive и выдаёт одинаковый тип ошибки для неверных тегов», нулевых запрещённых side effects и доказанного cleanup. FAIL — тот же provenance плюс наблюдаемое нарушение: обнаружено обычное equality/memcmp сравнение секрета; дистанционный timing experiment запрещён. UNKNOWN означает, что нет digest, effective config, control, recorder либо возможности восстановить fixture. Запишите решение в карта source location / primitive / equal verdict / mismatch verdict / error class; один HTTP status, отсутствие exception или факт установки новой версии по отдельности недостаточны.
Красная линия и восстановление
Немедленно прекратите проверку, если обнаружено обычное equality/memcmp сравнение секрета; дистанционный timing experiment запрещён. Не увеличивайте объём, глубину, число повторов и не переносите эксперимент на чужую систему. Откатите fixture к baseline, убедитесь, что counters сети, файлов, процессов, очередей и persistent writes вернулись в ожидаемое состояние, затем один раз повторите benign control. Любой неожиданный side effect блокирует PASS даже тогда, когда основной parser или policy вернул правильный код.
Почему это отдельный поисковый intent
Безопасно проверяет выбор криптографического primitive по коду, не публикуя тайминговую атаку или подбор тега. Поэтому статья отвечает на самостоятельный запрос «проверить, что HMAC в Crypt::decrypt сравнивается constant-time primitive, а не ранним byte-wise equality» и не создаётся как замена бренда, ОС или устройства. Её deliverable — карта source location / primitive / equal verdict / mismatch verdict / error class, а измеримый stop-rule — обнаружено обычное equality/memcmp сравнение секрета; дистанционный timing experiment запрещён. Если существующий URL уже покрывает ту же боль, ожидаемый ответ и дерево решения, нужен отдельный update/merge-контракт, а не новая соседняя страница.
Минимальный пакет для владельца системы
Передайте владельцу GHSA-8jqh-95g6-7jpj, component digest, effective version/config, границу «phalcon/cphalcon: introduced 0, fixed 5.14.1», описание перехода «ciphertext tag → computed HMAC → comparison primitive → decrypt verdict», control/boundary rows, counters, verdict, stop reason и cleanup proof. Advisory опубликована 2026-08-28 и обновлена 2026-08-28; эти даты подтверждают свежесть источника, но не популярность запроса, не факт эксплуатации и не применимость к конкретному deployment. После обновления повторите тот же fixture без изменения масштаба и сравните карта source location / primitive / equal verdict / mismatch verdict / error class.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика; даты, версии и ссылки сверены по GitHub Advisory Database и первичному upstream-материалу. Текст самостоятельный, не копирует источники, не содержит эксплуатационных последовательностей и предназначен для безопасной локальной проверки.
Источники и проверка
- GitHub Advisory Database — GHSA-8jqh-95g6-7jpj проверено 2026-09-02
- Первичный upstream-материал — Phalcon Encryption Crypt проверено 2026-09-02
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.