构建证明

构建证明描述了镜像的构建方式及其包含的内容。证明由 BuildKit 在构建时创建，并作为元数据附加到最终图像。

证明的目的是使检查图像并了解它来自哪里、谁创建它、如何创建以及它包含什么成为可能。这使您能够就图像如何影响应用程序的供应链安全做出明智的决策。它还允许使用策略引擎根据您定义的策略规则验证图像。

有两种类型的构建注释可用：

软件物料清单 (SBOM)：映像包含的或用于构建映像的软件工件的列表。
出处：图像是如何构建的。

证明的目的

开源和第三方软件包的使用比以往任何时候都更加广泛。开发人员共享和重用代码，因为它有助于提高生产力，使团队能够更快地创建更好的产品。

导入和使用在其他地方创建的代码而不进行审查会带来严重的安全风险。即使您确实检查了所使用的软件，也会经常发现新的零日漏洞，需要开发团队采取行动来修复它们。

构建证明可以更轻松地查看图像的内容及其来源。使用证明来分析和决定是否使用图像，或者查看您已经使用的图像是否存在漏洞。

创建证明

当您使用构建映像时，您可以使用和选项docker buildx build将证明记录添加到生成的映像中。您可以选择添加 SBOM 或出处证明类型，或两者都添加。--provenance--sbom

$ docker buildx build --sbom=true --provenance=true .

笔记
默认图像存储不支持证明。如果您使用默认映像存储并使用默认驱动程序构建映像docker，或者使用带有该标志的不同驱动程序--load，则证明会丢失。
为了确保保留证明，您可以：
使用docker-container带有该--push标志的驱动程序将映像直接推送到注册表。
启用 containerd镜像存储。

笔记
默认情况下，通过选项启用来源证明mode=min。您可以使用该--provenance=false标志或通过设置环境变量来禁用来源证明BUILDX_NO_DEFAULT_ATTESTATIONS。
默认情况下，使用该--provenance=true标志会附加出处证明mode=max 。有关更多详细信息，请参阅来源证明。

BuildKit 在构建镜像时生成证明。证明记录以 in-toto JSON 格式包装，并附加到最终图像清单中的图像索引。

贮存

BuildKit 按照 in-toto 框架（Linux 基金会支持的标准）定义的in-toto 格式生成证明。

证明作为图像索引中的清单附加到图像。证明的数据记录存储为 JSON blob。

由于证明作为清单附加到图像，这意味着您可以检查注册表中任何图像的证明，而无需提取整个图像。

所有 BuildKit 导出器都支持证明。并且local无法tar将证明保存到图像清单，因为它输出的是文件目录或 tarball，而不是图像。相反，这些导出器将证明写入导出根目录中的一个或多个 JSON 文件。

以下示例显示了 SBOM 证明的截断完整 JSON 表示形式。

{
  "_type": "https://in-toto.io/Statement/v0.1",
  "predicateType": "https://spdx.dev/Document",
  "subject": [
    {
      "name": "pkg:docker/<registry>/<image>@<tag/digest>?platform=<platform>",
      "digest": {
        "sha256": "e8275b2b76280af67e26f068e5d585eb905f8dfd2f1918b3229db98133cb4862"
      }
    }
  ],
  "predicate": {
    "SPDXID": "SPDXRef-DOCUMENT",
    "creationInfo": {
      "created": "2022-12-15T11:47:54.546747383Z",
      "creators": ["Organization: Anchore, Inc", "Tool: syft-v0.60.3"],
      "licenseListVersion": "3.18"
    },
    "dataLicense": "CC0-1.0",
    "documentNamespace": "https://anchore.com/syft/dir/run/src/core-da0f600b-7f0a-4de0-8432-f83703e6bc4f",
    "name": "/run/src/core",
    // list of files that the image contains, e.g.:
    "files": [
      {
        "SPDXID": "SPDXRef-1ac501c94e2f9f81",
        "comment": "layerID: sha256:9b18e9b68314027565b90ff6189d65942c0f7986da80df008b8431276885218e",
        "fileName": "/bin/busybox",
        "licenseConcluded": "NOASSERTION"
      }
    ],
    // list of packages that were identified for this image:
    "packages": [
      {
        "name": "busybox",
        "originator": "Person: Sören Tempel <soeren+alpine@soeren-tempel.net>",
        "sourceInfo": "acquired package info from APK DB: lib/apk/db/installed",
        "versionInfo": "1.35.0-r17",
        "SPDXID": "SPDXRef-980737451f148c56",
        "description": "Size optimized toolbox of many common UNIX utilities",
        "downloadLocation": "https://busybox.net/",
        "licenseConcluded": "GPL-2.0-only",
        "licenseDeclared": "GPL-2.0-only"
        // ...
      }
    ],
    // files-packages relationship
    "relationships": [
      {
        "relatedSpdxElement": "SPDXRef-1ac501c94e2f9f81",
        "relationshipType": "CONTAINS",
        "spdxElementId": "SPDXRef-980737451f148c56"
      },
      ...
    ],
    "spdxVersion": "SPDX-2.2"
  }
}

要深入了解有关如何存储证明的具体细节，请参阅图像证明存储 (BuildKit)。

下一步是什么

了解有关可用证明类型以及如何使用它们的更多信息：