開發您的程序（來賓代碼） 為 RISC Zero zkVM 編譯它，並獲取其映像 ID 在 zkVM 內運行程序 -- 生成：公共輸出的日誌，一個作為加密證明的印章 將這些打包成收據（日誌和印章） 在需要的地方分享收據 通過調用 verify() 並使用預期的映像 ID 進行驗證 結果？ 任何擁有收據的人都可以確認輸出（日誌）來自於與已知映像 ID 匹配的未更改代碼運行，而無需自己重新運行整個計算