Verifica lo que has descargado

Un control plane es un producto de seguridad, así que lo primero que deberías hacer con una release es demostrar que es la que el proyecto publicó. Las releases de Olivares AI incluyen todo lo necesario para verificarlas criptográficamente: una firma sobre los checksums, una atestación de procedencia SLSA, un SBOM (SPDX + CycloneDX) y una atestación OpenVEX — todo referenciado por digest, nunca por etiqueta.

Nunca curl | bash

No canalices un instalador a un shell. Descarga los artefactos, verifícalos y solo entonces ejecútalos. Los pasos de abajo explican cómo.

Qué incluye una release

Artefacto	Qué es
checksums.txt (+ .sig, .pem)	SHA-256 de cada artefacto, con una firma y certificado de cosign
*_<os>_<arch>.tar.gz	el/los archivo(s) de la release
*.sbom.sigstore.json	SBOM (SPDX) como atestación in-toto firmada
*.vex.sigstore.json	OpenVEX como atestación in-toto firmada
*.intoto.jsonl	procedencia SLSA Build L3
imagen del contenedor + chart de Helm	publicados en un registro al lanzar la release, fijados por digest

La ruta de un solo comando

El repositorio incluye scripts/verify-release.sh, que ejecuta la cadena completa: verifica la firma sobre checksums.txt, recalcula el SHA-256 de cada artefacto, y luego verifica las atestaciones de SBOM, OpenVEX y SLSA.

# 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

Con --offline (o siempre que se proporcione una clave) el script añade --insecure-ignore-tlog a cada llamada de cosign, así que no se usa ninguna red de Sigstore/Rekor — esta es la ruta para entornos desconectados.

Qué comprueba, paso a paso

Si prefieres ejecutar las comprobaciones tú mismo, esto es lo que hace el script:

1. Firma sobre los checksums — sin clave, verificada contra la identidad de GitHub Actions del proyecto y el emisor 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/v[0-9]+\.[0-9]+\.[0-9]+$' \
     --certificate-oidc-issuer https://token.actions.githubusercontent.com \
     checksums.txt

2. Integridad de los artefactos — cada artefacto descargado debe coincidir con checksums.txt:

   sha256sum --check checksums.txt

3. Atestación de SBOM (SPDX):

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

4. Atestación OpenVEX (la declaración de vulnerabilidades del proyecto basada en alcanzabilidad):

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

5. Procedencia SLSA:

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

Verificar la imagen del contenedor

Para la imagen publicada, resuelve el digest y verifica contra la identidad de GitHub Actions (esta ruta es sin clave y necesita red):

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>

Despliega siempre la imagen por digest (@sha256:…), nunca por una etiqueta mutable.

En un entorno aislado de red

Si no puedes alcanzar la red en absoluto, usa el bundle aislado de red, que lleva una clave pública y verifica todo offline (sin Rekor). Consulta Instala en un entorno aislado de red.

Nota honesta sobre la disponibilidad de atestaciones

La verificación es solo tan completa como las atestaciones que una release concreta haya publicado realmente. El verificador informa de cada paso que ejecuta; si una release omite un artefacto (por ejemplo una build que no adjuntó un SBOM), el paso correspondiente no tiene nada que comprobar. El workflow de release adjunta los artefactos de SBOM, OpenVEX y SLSA nombrados arriba para la build estándar.