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、主體和固定密鑰之間的驗證關係。

核心功能¶

離線確定性發佈證明：無需聯網即可完成驗證，確保結果的可復現性。
密鑰與主體驗證：支持 DSSE/in-toto 語句，通過 SHA-256 固定 Ed25519 或 ECDSA 公鑰。
安全的報告生成：報告輸出中絕不包含簽名載荷、主體字節、公鑰 PEM 或任何敏感信息。
嚴格的文件系統限制：所有文件系統輸入和工件目錄必須位於顯式的工作空間內，拒絕符號鏈接、路徑遍歷、超大輸入和生命週期腳本。

安裝與啓用¶

該插件可通過社區目錄安裝。在 DSH 環境中，插件會註冊 dsh_attestation_proof_inspect 和 dsh_attestation_proof_verify 命令。

典型用法¶

使用該插件通常涉及兩個步驟：檢查證據和驗證證據。

檢查證據
通過 inspect 命令生成或檢查證明文件：

    dsh-attestation-proof inspect --workspace . --manifest proof.json

驗證證據
通過 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 獲取源碼。