Защитная памятка по postgres-protocol и GHSA-5x78-73v4-xg6w: область версий, runtime-инвентарь, обратимый тест, критерии решения, стоп-линия, канарейка, возврат и очищенный журнал без опасного payload.
Какой факт подтверждён
Зафиксируйте границу опыта до запуска: отдельные записи, малый ресурсный бюджет, наблюдаемые признаки и стоп-линия. Официальная запись GHSA-5x78-73v4-xg6w подтверждает для postgres-protocol: злонамеренный сервер мог навязать чрезмерное число SCRAM-итераций и занять CPU клиента. Подтверждённая область — postgres-protocol до 0.6.12, где SCRAM iteration count от сервера не имел безопасного верхнего предела. Это описание класса дефекта и границы исправления, но не свидетельство того, что проверяемый сервер, контейнер или рабочее место действительно использует затронутый контур. До любого обновления отметьте статус как unknown, affected, not affected by reachability либо blocked и запишите основание; отсутствие жалоб и зелёный health сами по себе ничего не доказывают. Контрольная группа редакционного шаблона: 2. Проверяемая цепочка именно для postgres-protocol записывается отдельно: исходный факт — злонамеренный сервер мог навязать чрезмерное число SCRAM-итераций и занять CPU клиента; практическое исправление — обновить crate postgres-protocol до 0.6.12 и применять policy-cap до дорогого вычисления. Если хотя бы одно звено взято не из фактической поставки, применимость остаётся неизвестной, даже когда номер пакета выглядит новым.
Карта применимости
Для postgres-protocol соберите одну строку «iteration class | cap | decision latency | CPU budget | worker responsive» из фактического runtime. Нужны версия реально загруженного компонента, digest артефакта, способ dependency resolution, включённая функция и владелец обновления. Manifest, lockfile и container tag полезны как указатели, но могут расходиться с работающим процессом. Не переносите в отчёт hostname, IP, usernames, tokens, cookies, полные environment, пользовательские документы или содержимое базы. Если runtime identity либо достижимость функции не подтверждены, не повышайте уверенность: честный вывод — blocked до безопасного inventory. Уникальные поля этой инвентаризации — «iteration class | cap | decision latency | CPU budget | worker responsive». Их заполняют одной строкой на runtime, не смешивая несколько реплик в среднее значение. Граница версии сформулирована так: postgres-protocol до 0.6.12, где SCRAM iteration count от сервера не имел безопасного верхнего предела. Это позволяет отличить неподтверждённую установку от доказанно недостижимой функции.
Контроль до обновления
Перед remediation сохраните восстановимый snapshot конфигурации и тестовых данных, прежний SHA-256 или image digest, resource ceiling и критерий остановки. безопасный regression-сценарий: mock PostgreSQL-сервер предлагает разрешённый класс iteration count и второй, немного превышающий заранее заданный безопасный policy-cap; второй отклоняется быстро до длительного вычисления. Он проводится только на synthetic data и в отдельном namespace или процессе. Сначала запишите ожидаемое решение и baseline, затем одинаковым способом проверьте исправленную сборку. Нельзя подменять наблюдение догадкой: timeout может означать crash, неверный маршрут или потерю telemetry, а HTTP status не показывает, было ли уже выполнено опасное действие внутри. Контрольный объект для postgres-protocol не содержит пользовательского состояния. Его сценарий: mock PostgreSQL-сервер предлагает разрешённый класс iteration count и второй, немного превышающий заранее заданный безопасный policy-cap; второй отклоняется быстро до длительного вычисления. Эксперимент не начинают, если уже на этапе подготовки верно условие остановки: тест использует огромное число итераций, настоящий пароль или направляется к рабочему серверу. Такая аудит ценнее рискованной демонстрации, потому что её можно повторить после отката.
Два безопасных сценария
Положительный сценарий обязан сохранить штатную функцию: разрешённый вход проходит аутентификационный этап, over-policy отклонён предсказуемо, worker остаётся отзывчивым. Отрицательный сценарий отличается ровно одним измерением, указанным в матрице, и должен завершиться ранним ограниченным отказом. Не расширяйте вход после первого понятного решения и не добивайтесь аварии ради наглядности. Для пары опытов заранее задайте лимит времени, памяти, числа объектов или сетевых событий и один cleanup. Если положительный контроль не проходит, отрицательный вывод нельзя объявлять защитой: стенд может быть просто сломан или обращаться не к тому runtime. Контраст двух сценариев имеет один ожидаемый базовый исход: разрешённый вход проходит аутентификационный этап, over-policy отклонён предсказуемо, worker остаётся отзывчивым. Отрицательная ветвь отвечает только на подтверждённую проблему — злонамеренный сервер мог навязать чрезмерное число SCRAM-итераций и занять CPU клиента. Остальные параметры, включая артефакт, конфигурацию, лимит и набор synthetic data, сохраняют одинаковыми, чтобы не спутать защитное решение с изменением стенда.
Как читать результат
Passed означает одновременно: фактическая версия входит в исправленную область, положительный контроль работает, отрицательный получает ожидаемое раннее решение, контекст остаётся целым, а следующий базовый запрос успешен. Failed — нарушение хотя бы одного из этих условий. Blocked — отсутствует наблюдаемость, identity runtime или безопасный стенд. Для этой темы специальная развилка такова: безопасный тест не пытается воспроизвести истощение CPU. Он доказывает ранний policy-decision на небольшом превышении порога. Сохраните observed decision независимо от ожидания; фраза «похоже исправлено» не годится как итог. Для чтения результата используйте специфическую развилку: безопасный тест не пытается воспроизвести истощение CPU. Он доказывает ранний policy-decision на небольшом превышении порога. Её сопоставляют со строкой «iteration class | cap | decision latency | CPU budget | worker responsive», а не с общим впечатлением оператора. Если наблюдение нельзя выразить этими полями, материала пока недостаточно для passed или not affected.
Изменение и путь назад
Remediation для этой записи: обновить crate postgres-protocol до 0.6.12 и применять policy-cap до дорогого вычисления. Делайте правка одной канарейкой, повторите обе верификации тем же harness и сравните digest, loaded version, restart counter, resource budget и первый релевантный error-class. Backup считается пригодным только вместе с проверенной командой восстановления и пониманием совместимости состояния. Возврат бинарника не всегда возвращает формат данных, поэтому state rollback и code rollback отмечают отдельно. Если после обновления изменяется штатное поведение или наблюдаемость, остановите распространение, верните канарейку и не публикуйте общий зелёный вердикт. Канарейка postgres-protocol считается завершённой лишь после шага «обновить crate postgres-protocol до 0.6.12 и применять policy-cap до дорогого вычисления» и повторного подтверждения: разрешённый вход проходит аутентификационный этап, over-policy отклонён предсказуемо, worker остаётся отзывчивым. Рядом сохраняют прежний digest и совместимый snapshot. Любое расхождение штатного контроля превращает rollout в paused независимо от того, исчез ли исходный симптом.
Красные флаги опыта
Жёсткий стоп-критерий: тест использует огромное число итераций, настоящий пароль или направляется к рабочему серверу. Также остановитесь при появлении настоящих secrets, персональных данных, внешнего неподконтрольного адреса, широких прав, необратимой миграции, растущего resource budget или необходимости раскрыть активную последовательность. Не используйте публичный форум как доказательство причины, затронутости или массовости; он лишь напомнил проверить backup и rollback. Один успешный запрос, отсутствие публичного кода атаки, статус service active и тишина журнала остаются ложнозелёными сигналами без специфической матрицы. Для данного компонента аварийная граница сформулирована буквально: тест использует огромное число итераций, настоящий пароль или направляется к рабочему серверу. Не заменяйте её более широким опытом. Допустимый сценарий остаётся узким: mock PostgreSQL-сервер предлагает разрешённый класс iteration count и второй, немного превышающий заранее заданный безопасный policy-cap; второй отклоняется быстро до длительного вычисления. При первом превышении лимита фиксируют очищенный error-class и возвращают стенд в исходное контекст.
Очищенный журнал решения
Минимальный пакет владельцу: GHSA-5x78-73v4-xg6w, фактическая версия до и после, URL двух первичных источников, digest артефакта, timestamp Europe/Moscow, expected/observed decision и очищенная строка «iteration class | cap | decision latency | CPU budget | worker responsive». Добавьте продолжительность малого окна, статус snapshot/rollback и один обезличенный error-class. Удалите абсолютные домашние пути, адреса, идентификаторы аккаунтов, session values, содержимое объектов и сырой payload. Advisory подтверждает технический факт и исправленную версию, но не вывод вашего опыта; поэтому не выдумывайте тест, которого не проводили, и не обещайте индексацию или позиции статьи. Строка завершения для GHSA-5x78-73v4-xg6w обязана связать «iteration class | cap | decision latency | CPU budget | worker responsive» с ожидаемым штатным признаком: разрешённый вход проходит аутентификационный этап, over-policy отклонён предсказуемо, worker остаётся отзывчивым. Так другой инженер сможет проверить решение без доступа к секретам и сырому входу. Если ссылка, версия или digest позднее меняются, запись переводят в needs re-verification, а не молча считают актуальной.
Материал подготовлен редакцией VOne с помощью ИИ по открытым официальным и первичным источникам; факты, версии и ссылки перепроверены. Реальные пользовательские данные, активные опасные payload и вымышленные результаты тестов не использовались.
Источники и проверка
- GitHub Advisory Database: GHSA-5x78-73v4-xg6w проверено 2026-08-30
- crates.io: postgres-protocol 0.6.12 проверено 2026-08-30
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.