dsh-attestation-proof:DeepSeek Harness 的离线确定性发布证明

在 DeepSeek Harness(DSH)的插件生态中,验证软件发布的完整性通常需要依赖外部透明日志或复杂的构建流水线。dsh-attestation-proof 专注于解决这一特定需求:它提供离线、确定性的发布证明。与需要下载字节流对比的 dsh-release-proof 不同,该插件直接验证 manifest 与本地主体及固定密钥的一致性。

这是什么

这是一个由 dongsheng123132 维护的插件,旨在生成离线确定性证据。它验证 manifest 是否与签名主体匹配,并检查 DSSE/in-toto 语句。它通过 SHA-256 固定 Ed25519 或 ECDSA 公钥,并输出可重放且基于内容的 JSON 判决。

该插件填补了现有工具的特定空白:它不执行构建命令,不推断发布者身份,也不依赖外部透明日志。它仅处理 manifest、主体和固定密钥之间的验证关系。

核心功能

  1. 离线确定性发布证明:无需联网即可完成验证,确保结果的可复现性。
  2. 密钥与主体验证:支持 DSSE/in-toto 语句,通过 SHA-256 固定 Ed25519 或 ECDSA 公钥。
  3. 安全的报告生成:报告输出中绝不包含签名载荷、主体字节、公钥 PEM 或任何敏感信息。
  4. 严格的文件系统限制:所有文件系统输入和工件目录必须位于显式的工作空间内,拒绝符号链接、路径遍历、超大输入和生命周期脚本。

安装与启用

该插件可通过社区目录安装。在 DSH 环境中,插件会注册 dsh_attestation_proof_inspect 和 dsh_attestation_proof_verify 命令。

典型用法

使用该插件通常涉及两个步骤:检查证据和验证证据。

  1. 检查证据
    通过 inspect 命令生成或检查证明文件:
    dsh-attestation-proof inspect --workspace . --manifest proof.json
  1. 验证证据
    通过 verify 命令验证 manifest、主体和固定密钥的一致性:
    dsh-attestation-proof verify --workspace . --manifest proof.json --artifactDir artifacts

verify 命令的退出码含义如下:
* 0:验证通过。
* 2:密钥或策略拒绝(如签名无效或阈值未满足)。
* 1:输入无效或不安全(如路径遍历尝试)。

标准输出为 JSON 格式的验证结果,错误信息输出至标准错误流。

适用场景与注意

  • 适用场景:需要在离线环境下验证发布证据、进行供应链安全审计的开发者,以及需要严格控制证明文件内容的项目。
  • 注意事项:
    • 该插件以当前 DSH 进程的权限运行,安装前应检查源码与许可证。
    • 验证过程完全离线,无需依赖外部服务。
    • 报告不包含敏感数据,仅包含基于内容的 JSON 判决。

总结

dsh-attestation-proof 为 DeepSeek Harness 提供了一种轻量级、离线的供应链安全验证手段。它通过固定密钥和内容寻址的方式,确保了发布证明的确定性和安全性,适合对构建环境有严格隔离要求的场景。该插件可在 社区目录 查看详情,或在 GitHub 获取源码。

羽毛球分组比赛记分
小程序二维码

欢迎使用《羽毛球分组比赛记分》微信小程序

小夜