Verifying Build Provenance for Signed Inso CLI Images

Kong produces build provenance for Inso CLI docker container images, which can be verified using cosign / slsa-verifier with attestations published to a Docker Hub repository.

This guide provides steps to verify build provenance for signed Inso CLI Docker container images in two different ways:

  • A minimal example, used to verify an image without leveraging any annotations
  • A complete example, leveraging optional annotations for increased trust

For the minimal example, you only need a Docker manifest digest and a GitHub repo name.

The Docker manifest digest is required for build provenance verification. The manifest digest can be different from the platform specific image digest for a specific distribution.

For the complete example, you need the same details as the minimal example, as well as any of the optional annotations you wish to verify:

Shorthand Description Example Value
<repo> GitHub repository insomnia
<workflow name> GitHub workflow name Release Publish
<workflow trigger> Github workflow trigger name workflow_dispatch
<version> version 9.3.0

Because Kong uses GitHub Actions to build and release, Kong also uses GitHub’s OIDC identity to generate build provenance for container images, which is why many of these details are GitHub-related.

Examples

Prerequisites

For both examples, you need to:

  1. Ensure cosign / slsa-verifier is installed.

  2. Ensure regctl is installed.

  3. Collect the necessary image details.

  4. Parse the <manifest_digest> for the image using regctl.

    IMAGE_DIGEST=$(regctl manifest digest kong/inso:9.3.0)

  5. Set the COSIGN_REPOSITORY environment variable:

    export COSIGN_REPOSITORY=kong/notary

The GitHub owner is case-sensitive (Kong/insomnia vs kong/insomnia).

Minimal example

Using Cosign

Run the cosign verify-attestation ... command:

cosign verify-attestation \
   <image>:<tag>@${IMAGE_DIGEST} \
   --type='slsaprovenance' \
   --certificate-oidc-issuer='https://token.actions.githubusercontent.com' \
   --certificate-identity-regexp='^https://github.com/slsa-framework/slsa-github-generator/.github/workflows/generator_container_slsa3.yml@refs/tags/v[0-9]+.[0-9]+.[0-9]+$'

Here’s the same example using sample values instead of placeholders:

cosign verify-attestation \
   kong/inso:9.3.0@${IMAGE_DIGEST} \
   --type='slsaprovenance' \
   --certificate-oidc-issuer='https://token.actions.githubusercontent.com' \
   --certificate-identity-regexp='^https://github.com/slsa-framework/slsa-github-generator/.github/workflows/generator_container_slsa3.yml@refs/tags/v[0-9]+.[0-9]+.[0-9]+$'

The command will exit with 0 when the cosign verification is completed:

...
echo $?
0

Using slsa-verifier

Run the slsa-verifier verify-image ... command:

slsa-verifier verify-image \
   <image>:<tag>@${IMAGE_DIGEST} \
   --print-provenance \
   --provenance-repository kong/notary \
   --source-uri 'github.com/Kong/<repo>'

Here’s the same example using sample values instead of placeholders:

slsa-verifier verify-image \
   kong/inso:9.3.0@${IMAGE_DIGEST} \
   --print-provenance \
   --provenance-repository kong/notary \
   --source-uri 'github.com/Kong/insomnia'

The command will print “Verified SLSA provenance” if successful:

...
PASSED: Verified SLSA provenance

Complete example

Using Cosign

Run the cosign verify-attestation ... command:

cosign verify-attestation \
   <image>:<tag>@${IMAGE_DIGEST} \
   --type='slsaprovenance' \
   --certificate-oidc-issuer='https://token.actions.githubusercontent.com' \
   --certificate-identity-regexp='^https://github.com/slsa-framework/slsa-github-generator/.github/workflows/generator_container_slsa3.yml@refs/tags/v[0-9]+.[0-9]+.[0-9]+$' \
   --certificate-github-workflow-repository='Kong/<repo>' \
   --certificate-github-workflow-name='<workflow name>' \
   --certificate-github-workflow-trigger='<workflow trigger>'

Here’s the same example using sample values instead of placeholders:

cosign verify-attestation \
   kong/inso:9.3.0@${IMAGE_DIGEST} \
   --type='slsaprovenance' \
   --certificate-oidc-issuer='https://token.actions.githubusercontent.com' \
   --certificate-identity-regexp='^https://github.com/slsa-framework/slsa-github-generator/.github/workflows/generator_container_slsa3.yml@refs/tags/v[0-9]+.[0-9]+.[0-9]+$' \
   --certificate-github-workflow-repository='Kong/insomnia' \
   --certificate-github-workflow-name='Release Publish' \
   --certificate-github-workflow-trigger='workflow_dispatch'

Using slsa-verifier

Run the slsa-verifier verify-image ... command:

slsa-verifier verify-image \
   <image>:<tag>@${IMAGE_DIGEST} \
   --print-provenance \
   --provenance-repository kong/notary \
   --build-workflow-input 'version=9.3.0' \
   --source-uri 'github.com/Kong/<repo>'

Here’s the same example using sample values instead of placeholders:

slsa-verifier verify-image \
   kong/inso:9.3.0@${IMAGE_DIGEST} \
   --print-provenance \
   --provenance-repository kong/notary \
   --build-workflow-input 'version=9.3.0' \
   --source-uri 'github.com/Kong/insomnia'
© Kong Inc. 2021