People-first проверка Contrast ciphertext parser по ghsa-3ccm-4qq2-5wrp: применимость, безопасный fixture для границы «проверка decoded ciphertext length до выделения 12-byte AES-GCM nonce slice», измеримый контракт и stop-rule без production-данных.
Определите применимость Contrast ciphertext parser
Создайте карточку применимости для Contrast ciphertext parser: installed version, package source, build digest, feature/config reachability и роль вызывающего субъекта. Reviewed Advisory описывает «Constrata's coordinator transit engine `ciphertextContainer.UnmarshalJSON` panics on attacker-controlled short ciphertexts», опубликована 2026-07-01, обновлена 2026-07-01 и задаёт диапазон «github.com/edgelesssys/contrast <= 1.20.0; first patched 1.21.0». Эти данные не доказывают состояние конкретного развёртывания. Проверьте vendor backport и commit provenance; при неизвестной сборке оставьте applicability=unknown. Фактическая граница статьи — «проверка decoded ciphertext length до выделения 12-byte AES-GCM nonce slice», а не общее обсуждение severity или продукта.
Опишите доверительную границу
Сформулируйте отдельную пользовательскую боль: короткое значение до криптографической операции вызывает slice panic и обрывает request handler. Запишите доверенный субъект, объект, управляющую policy и первый потенциальный побочный эффект. Заранее задайте защитный контракт: length меньше 12 даёт error без panic; 12/13 переходят к следующей validation stage предсказуемо. Его нельзя подменять отсутствием исключения или HTTP 200: важна стадия до чтения, передачи, allocation, mutation или delivery. Рабочий артефакт — decoded-length / prefix-check / error-class / panic-count / next-stage. В нём нужны только классы и счётчики; значения credentials, содержимое файлов, IP, account identifiers и персональные данные исключаются.
Соберите обратимый стенд
Постройте минимальный обратимый стенд: JSON fixtures с decoded lengths 0, 1, 11, 12 и 13 bytes, fuzz harness с recover counter. Затем вызвать только UnmarshalJSON, сравнить typed error, panic count и normal boundary. Сеть должна быть отключена или замкнута на loopback, filesystem — на disposable temp, state — на in-memory либо transaction rollback. Добавьте положительный контроль и отрицательный boundary-case, дайте каждому bounded timeout и одинаковую конфигурацию. До опыта зафиксируйте digest входа; после опыта сохраните result class, side-effect counters и cleanup proof. Не увеличивайте нагрузку и не пытайтесь воспроизвести вредный эффект на чужой системе.
Измерьте контракт до побочного эффекта
Сведите observed в матрицу «decoded-length / prefix-check / error-class / panic-count / next-stage» и сравните с критерием «length меньше 12 даёт error без panic; 12/13 переходят к следующей validation stage предсказуемо». Для каждого ряда отметьте decision stage, mutation/read/send counter, final state digest и отклонение от expected. Normal-control обязан пройти тот же код, иначе отрицательный итог ничего не говорит о защите. Повторите лишь малый детерминированный набор; расхождение порядка считается отдельным race/cache сигналом. Pass ставится только когда запрет срабатывает раньше чувствительного действия, а разрешённый сценарий сохраняет documented behavior.
Свяжите patch с узким механизмом
Проверьте исправление по механизму, а не по номеру версии: upstream patch должен напрямую обеспечивать «проверка decoded ciphertext length до выделения 12-byte AES-GCM nonce slice». Сопоставьте pre/post build на том же fixture и сравните «decoded-length / prefix-check / error-class / panic-count / next-stage». Для диапазона «github.com/edgelesssys/contrast <= 1.20.0; first patched 1.21.0» отдельно зафиксируйте vendor patch provenance и release artifact digest. Canary допускается только в лаборатории; production rollout требует отдельного change contract, backup и rollback. Не объявляйте систему безопасной целиком: этот опыт подтверждает один узкий invariant и не говорит об эксплуатации, ущербе, спросе, индексации или позиции страницы.
Остановитесь и подготовьте поддержку
Примените жёсткий stop-rule: остановиться до decrypt, настоящего ciphertext или сетевого request handler. Красные флаги также включают внешний адрес, реальный credential, privilege prompt, необратимую запись, рост ресурсов, данные не из fixture, отсутствие cleanup и изменившийся объект вне test root. При первом флаге прекратите работу и оставьте статус blocked. Для поддержки приложите для ghsa-3ccm-4qq2-5wrp, Contrast ciphertext parser, «github.com/edgelesssys/contrast <= 1.20.0; first patched 1.21.0», reachability evidence, sanitized matrix, положительный контроль, stop reason и две прямые ссылки. Не публикуйте payload и чужие логи; неизвестное обозначьте unknown, а не выдуманным фактом.
Используйте минимальное дерево решения
Минимальное дерево решения для Contrast ciphertext parser: если версия вне доказанного affected range и patch provenance подтверждён — not-applicable; если ветвь недостижима по документированной конфигурации — not-reachable; если fixture даёт «length меньше 12 даёт error без panic; 12/13 переходят к следующей validation stage предсказуемо» на candidate build — ready-for-reviewed-update; если наблюдается «короткое значение до криптографической операции вызывает slice panic и обрывает request handler» — fail и эскалация владельцу. Во всех остальных случаях статус unknown. К карточке приложите «decoded-length / prefix-check / error-class / panic-count / next-stage» и criterion «остановиться до decrypt, настоящего ciphertext или сетевого request handler». Такое дерево не превращает один advisory в универсальную рекомендацию и сохраняет people-first приоритет: минимальное воздействие, ясная остановка и проверяемый ответ.
Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые ссылки, безопасный опыт, privacy-ограничения и отсутствие рекламных обещаний затем перепроверены по первичным источникам.
Источники и проверка
- GitHub Reviewed Advisory ghsa-3ccm-4qq2-5wrp проверено 2026-08-31
- Upstream-репозиторий Contrast ciphertext parser проверено 2026-08-31
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.