コンテンツにスキップ
Olivares AI docs

ダウンロードしたものを検証する

control plane はセキュリティ製品なので、リリースに対して最初にすべきことは、それが プロジェクトが公開したものであると証明すること です。Olivares AI のリリースは、 暗号的に検証するために必要なすべてを同梱しています: チェックサムに対する署名、SLSA プロベナンスの表明、SBOM (SPDX + CycloneDX)、そして OpenVEX の表明 — すべて タグではなくダイジェストで 参照されます。

リリースに同梱されるもの

Section titled “リリースに同梱されるもの”
成果物内容
checksums.txt (+ .sig, .pem)すべての成果物の SHA-256。cosign の署名と証明書付き
*_<os>_<arch>.tar.gzリリースアーカイブ
*.sbom.sigstore.json署名済み in-toto 表明としての SBOM (SPDX)
*.vex.sigstore.json署名済み in-toto 表明としての OpenVEX
*.intoto.jsonlSLSA Build L3 プロベナンス
コンテナイメージ + Helm チャートリリース時にレジストリへ公開、ダイジェストでピン留め

ワンコマンドの経路

Section titled “ワンコマンドの経路”

リポジトリには scripts/verify-release.sh が同梱されており、チェーン全体を実行します: checksums.txt に対する署名を検証し、すべての成果物の SHA-256 を再計算し、その後 SBOM、OpenVEX、SLSA の表明を検証します。

Terminal window
# Default: keyless (Sigstore). Needs network access to the transparency log (Rekor).
scripts/verify-release.sh


# Key-based (air-gap friendly): verify against the project's public key.
scripts/verify-release.sh --key cosign.pub


# Fully offline: no Rekor / no transparency-log network at all.
scripts/verify-release.sh --key cosign.pub --offline


# Pin the SLSA provenance to a specific source tag.
scripts/verify-release.sh --source-tag v26.8.0

--offline を付けると (または鍵が指定されると)、スクリプトはすべての cosign 呼び出しに --insecure-ignore-tlog を追加するため、Sigstore/Rekor のネットワークは一切使われません — これがネットワーク非接続環境向けの経路です。

何をチェックするか、ステップごと

Section titled “何をチェックするか、ステップごと”

チェックを自分で実行したい場合、スクリプトが行うのは以下のとおりです:

  1. チェックサムに対する署名 — keyless で、プロジェクトの GitHub Actions アイデンティティ と OIDC issuer に対して検証されます:

    Terminal window
    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/v[0-9]+\.[0-9]+\.[0-9]+$' \
      --certificate-oidc-issuer https://token.actions.githubusercontent.com \
      checksums.txt

  2. 成果物の完全性 — ダウンロードしたすべての成果物が checksums.txt と一致しなければ なりません:

    Terminal window
    sha256sum --check checksums.txt

  3. SBOM (SPDX) の表明:

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

  4. OpenVEX の表明 (プロジェクトの到達可能性ベースの脆弱性ステートメント):

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

  5. SLSA プロベナンス:

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

コンテナイメージを検証する

Section titled “コンテナイメージを検証する”

公開されたイメージについては、ダイジェストを解決し、GitHub Actions アイデンティティに 対して検証します (この経路は keyless でネットワークを必要とします):

Terminal window
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/v[0-9]+\.[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/v[0-9]+\.[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/v[0-9]+\.[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:…) デプロイし、可変タグでは決してデプロイ しないでください。

エアギャップ環境では

Section titled “エアギャップ環境では”

ネットワークにまったく到達できない場合は、エアギャップバンドル を使ってください。 これは公開鍵を携え、すべてをオフラインで (Rekor なしで) 検証します。 エアギャップ環境でインストールする を参照してください。