Проверка того, что вы скачали

Пакеты развёртывания предоставляются через канал Business; их публикация здесь не подтверждена. Перед использованием локального чарта проверьте пакет и издателя по инструкции канала. Пример манифеста использует файл Business business-install.yaml. Изолированная установка требует Enterprise.

Helm, Kubernetes operators, Terraform, appliance and FIPS/STIG images are Business deployment artifacts. The source paths below are in the Business distribution. Air-gapped installation requires Enterprise.

Следующий выпуск — 0.4; его релиз на GitHub ещё не опубликован. Команды ниже описывают планируемые артефакты. До публикации собирайте из исходников, а после публикации проверяйте каждый артефакт перед использованием. Наблюдаемый статус записан в docs/releases/0.4-install-surfaces.json.

Control plane — это продукт безопасности, поэтому первое, что вам следует сделать с релизом, — это доказать, что это именно тот релиз, который опубликовал проект. Релизы Olivares AI поставляются со всем необходимым для криптографической проверки: подпись над контрольными суммами, аттестация происхождения SLSA, а также один SBOM (SPDX) и один документ OpenVEX, оба аттестованные к образу контейнера, — все ссылаются по дайджесту, никогда по тегу.

Никогда не используйте curl | bash

Не направляйте установщик в shell. Скачайте артефакты, проверьте их и только затем запускайте. Шаги ниже описывают, как это сделать.

Что поставляется с релизом

Артефакт	Что это
checksums.txt (+ .sig, .pem)	SHA-256 архивов, пакетов, установщика, release-commit.txt и release-build-context.json, с подписью и сертификатом cosign
*_<os>_<arch>.tar.gz	архив(ы) релиза
olivares.spdx.sbom.json	SBOM (SPDX) релиза, созданный из образа контейнера и аттестованный к нему по дайджесту
olivares.vex.openvex.json	OpenVEX релиза, аттестованный к образу контейнера по дайджесту
*.intoto.jsonl	происхождение SLSA Build L3
образ контейнера	опубликован в GHCR и Docker Hub, проверяется и закрепляется по digest
исходники Helm-чарта	устанавливать из ./business-chart; публикация в OCI не подтверждена (publication-unverified: из этого репозитория не публиковался)

Релизы до 26.10.1 включительно вместо этого содержат бандл SBOM и бандл OpenVEX для каждого архива (*.sbom.sigstore.json, *.vex.sigstore.json); более поздние релизы — нет.

Путь в одну команду

Репозиторий поставляется со скриптом scripts/verify-release.sh, который выполняет всю цепочку: проверяет подпись над checksums.txt, заново вычисляет SHA-256 каждого артефакта, затем проверяет бандлы SBOM и OpenVEX для каждого архива у релизов до 26.10.1 включительно (у более поздних релизов эти два шага отмечаются как пропущенные) и происхождение SLSA.

# The verifier is in a source checkout of the release tag, not a release asset; running it
# trusts the checkout. Without one, INSTALL.md shows the cosign + sha256sum commands.
# Run it from the directory that holds the downloaded files.

# Default: keyless (Sigstore). Needs Rekor and Sigstore trusted-root material.
/path/to/olivares/scripts/verify-release.sh

# Pin the SLSA provenance to a specific source tag.
/path/to/olivares/scripts/verify-release.sh --source-tag 0.4

# Key-based: only for files signed with a private key you control.
# Releases are signed keyless and do not publish a public key.
/path/to/olivares/scripts/verify-release.sh --key /path/to/your-cosign.pub

--key проверяет подписи по публичному ключу вместо идентичности workflow релиза и игнорирует журнал прозрачности. Это доказывает, что файлы подписаны соответствующим закрытым ключом, но не то, что их опубликовал проект. Получите этот публичный ключ у его владельца по каналу, отдельному от проверяемых файлов.

--offline убирает из вызовов cosign только обращение к Rekor и не превращает проверку в работу без сети. Проверке без ключа по-прежнему нужен корневой материал доверия Sigstore, который cosign загружает, если он ещё не в кэше, а у скрипта нет опции --trusted-root. Проверке бандлов SBOM и OpenVEX для каждого архива (релизы до 26.10.1 включительно) корень доверия нужен даже с --key, а шаг SLSA запускает slsa-verifier без офлайн-опции.

Что он проверяет, шаг за шагом

Если вы предпочитаете выполнять проверки самостоятельно, вот что делает скрипт:

1. Подпись над контрольными суммами — без ключа, проверяется против идентичности GitHub Actions проекта и эмитента OIDC:

   cosign verify-blob \
     --certificate checksums.txt.pem \
     --signature checksums.txt.sig \
     --certificate-identity-regexp '^https://github\.com/olivaresai/olivares/\.github/workflows/release\.yml@refs/tags/[0-9]+\.[0-9]+$' \
     --certificate-oidc-issuer https://token.actions.githubusercontent.com \
     checksums.txt

2. Целостность артефактов — каждый скачанный артефакт должен совпадать с checksums.txt:

   # checksums.txt lists all release artifacts; skip files you did not download.
   # Before use, ensure each downloaded artifact is listed and reports OK.
   # GNU sha256sum fails if no listed file is present or a checksum mismatches.
   sha256sum --check --ignore-missing checksums.txt

3. Аттестация SBOM (SPDX) — бандл для каждого архива, только релизы до 26.10.1 включительно. Более поздние релизы содержат один SBOM, аттестованный к образу контейнера; см. «Проверка образа контейнера» ниже.

   cosign verify-blob-attestation --type spdxjson \
     --bundle <artifact>.sbom.sigstore.json --new-bundle-format \
     --check-claims <artifact>

4. Аттестация OpenVEX (заявление проекта об уязвимостях на основе достижимости) — бандл для каждого архива, только релизы до 26.10.1 включительно. Более поздние релизы содержат один OpenVEX, аттестованный к образу контейнера; см. «Проверка образа контейнера» ниже.

   cosign verify-blob-attestation --type openvex \
     --bundle <artifact>.vex.sigstore.json --new-bundle-format \
     --check-claims <artifact>

5. Происхождение SLSA:

   slsa-verifier verify-artifact <artifact> \
     --provenance-path <artifact>.intoto.jsonl \
     --source-uri github.com/olivaresai/olivares

Проверка образа контейнера

Для опубликованного образа разрешите дайджест и проверьте против идентичности GitHub Actions (этот путь без ключа и требует сети). Аттестации spdxjson и openvex — это SBOM (olivares.spdx.sbom.json) и OpenVEX (olivares.vex.openvex.json) релиза, аттестованные к образу по дайджесту:

IMAGE=docker.io/olivaresai/olivares
DIGEST="$(crane digest "$IMAGE:<version>")"
REF="$IMAGE@$DIGEST"

cosign verify "$REF" \
  --certificate-identity-regexp '^https://github\.com/olivaresai/olivares/\.github/workflows/release\.yml@refs/tags/[0-9]+\.[0-9]+$' \
  --certificate-oidc-issuer https://token.actions.githubusercontent.com
cosign verify-attestation "$REF" --type spdxjson \
  --certificate-identity-regexp '^https://github\.com/olivaresai/olivares/\.github/workflows/release\.yml@refs/tags/[0-9]+\.[0-9]+$' \
  --certificate-oidc-issuer https://token.actions.githubusercontent.com
cosign verify-attestation "$REF" --type openvex \
  --certificate-identity-regexp '^https://github\.com/olivaresai/olivares/\.github/workflows/release\.yml@refs/tags/[0-9]+\.[0-9]+$' \
  --certificate-oidc-issuer https://token.actions.githubusercontent.com
slsa-verifier verify-image "$REF" \
  --source-uri github.com/olivaresai/olivares --source-tag <version>

Всегда развёртывайте образ по дайджесту (@sha256:…), никогда по изменяемому тегу.

В изолированной среде (air-gapped)

Air-gap бандл собирает оператор с собственным ключом cosign, и бандл содержит соответствующий cosign.pub. Скрипты бандла проверяют Helm-чарт и сохранённые образы по этому ключу без Rekor; образ проходит проверку, только если несёт подпись, сделанную этим ключом. Ключ, взятый из того же бандла, который им проверяется, не аутентифицирует этот бандл: прежде чем доверять бандлу, сравните ключ с копией, полученной от владельца ключа по отдельному каналу. См. Установка в изолированной среде (air-gapped).

Честное замечание о доступности аттестаций

Проверка настолько полна, насколько полны аттестации, которые данный релиз фактически опубликовал. Верификатор сообщает о каждом выполняемом им шаге; если релиз пропускает артефакт (например, сборка, которая не приложила SBOM), соответствующему шагу нечего проверять. Рабочий процесс релиза прикладывает артефакты SBOM, OpenVEX и SLSA, названные выше, для стандартной сборки.