信任無需不可靠的結果。 軟體來源依賴社會假設,但建造證明(Proof of Build)用可驗證的鏈上證據將其固定。 深入了解 7 步驟工作流程 ↓
步驟 1:啟動 開發人員提交代碼,並將更改推送到構建環境中的存儲庫。
步驟 2:工件建構 CI/CD 管道編譯二進位檔並生成 SLSA 來源檔案,通過 Sigstore 基礎設施對其進行簽名。
步驟 3:攝取 (zkVM 輸入) zkVM 客戶端程式接收: ▶︎ SLSA 來源捆綁 ▶︎ 固定的 Sigstore 信任根 (Fulcio CA, TSA 公開金鑰) ▶︎ 時間戳記 (TSA 或 Rekor 透明日誌) ▶︎ 預期政策 (可選,例如,允許的建構摘要)
步驟 4:執行 在零知識環境中,來賓程序執行步驟以驗證簽名、證書鏈和時間戳。 生成 ZK-SNARK 證明以證明來源驗證成功。
步驟 5:鏈上提交 簡潔的 ZK 證明被提交到 Ethereum 智能合約。
第 6 步:驗證 智能合約驗證證明數學並發出包含構建結果的驗證事件。
第 7 步:最終信任驗證 下游驗證者消耗鏈上事件以信任該工件。
1.01K