一個鏈上動作包含哪些步驟?
至少包含狀態讀取、意圖形成、calldata 建構、模擬、政策核准、簽署、廣播和確認。
各步可能由不同服務或人員完成。把它們拆開後,才能回答模型只是提出建議、Agent 建構交易、工具服務簽署,還是系統也負責等待最終結果。
如何留下證據: 保存每步時間、輸入摘要、輸出 hash、服務身分與錯誤。
區塊瀏覽器能證明什麼?
能證明某地址在某鏈提交了某筆已收錄交易及其公開結果。
它通常不能證明誰控制地址、哪個模型提出動作、是否有人按下確認,也看不到鏈外失敗。代理合約或 relayer 還會讓發送者與真正授權者不同。
如何留下證據: 保存鏈 ID、hash、from/to、input、事件、狀態和區塊確認數。
如何把模型 trace 與交易雜湊連起來?
在簽署前對規範化交易內容建立摘要,並讓執行紀錄保存該摘要與最終 hash。
需處理 nonce、gas 或簽章後才確定的欄位;可保存 chainId、to、value、data 和策略版本的 canonical hash。若交易在核准後被替換,舊 trace 不能自動歸因到新 hash。
如何留下證據: 保存 trace ID、交易摘要、nonce、策略結果、簽章與替換關係。
什麼證據能區分提案與真正執行?
提案停在結構化意圖或未簽交易;執行必須有有效簽章、廣播結果與 receipt。
若人工或另一服務可以修改金額、地址或 calldata,Agent 只應被歸因為提案者。即使工具回傳成功,也要檢查鏈是否收錄及交易是否 reverted。
如何留下證據: 分別保存 proposal、approval、signed transaction、broadcast response 和 receipt。
常見的歸屬錯誤有哪些?
常見錯誤是把排程器、人工簽章、relayer 或預設策略的工作全算給模型。
其他錯誤包括同一地址被多人使用、測試網 hash 當正式證據、舊 Demo 配新交易,以及忽略失敗或被替換交易。歸屬表應逐步列「誰決定、誰授權、誰執行」。
如何留下證據: 保存服務帳號、簽章政策、操作者和自動化邊界。
驗證工作簿
以下檢查卡把研究變成可重做紀錄。它們不產生投資建議,而是要求保存證據、反例、版本、限制與會改變結論的條件。
檢查 01|一個鏈上動作包含哪些步驟 · 支持性測試
- 本輪做法
- 尋找最接近實際行為的支持證據,但不接受無法連回原始聲明的材料
- 應取得的證據
- 完整執行鏈有同一 correlation ID
- 會推翻判定的訊號
- 把「已建立交易」寫成已上鏈
- 本題判定規則
- 只確認有證據覆蓋的步驟
檢查 02|區塊瀏覽器能證明什麼 · 支持性測試
- 本輪做法
- 尋找最接近實際行為的支持證據,但不接受無法連回原始聲明的材料
- 應取得的證據
- receipt 與事件可由多個 RPC 重查
- 會推翻判定的訊號
- 用地址名稱或備註推斷決策者
- 本題判定規則
- 瀏覽器證據限於鏈上事實
檢查 03|如何把模型 trace 與交易雜湊連起來 · 支持性測試
- 本輪做法
- 尋找最接近實際行為的支持證據,但不接受無法連回原始聲明的材料
- 應取得的證據
- 摘要可從最終交易重新計算
- 會推翻判定的訊號
- 只靠相近時間戳配對
- 本題判定規則
- 無唯一連結時標示為推定而非確認
檢查 04|什麼證據能區分提案與真正執行 · 支持性測試
- 本輪做法
- 尋找最接近實際行為的支持證據,但不接受無法連回原始聲明的材料
- 應取得的證據
- 每一階段物件可比對且不可靜默改寫
- 會推翻判定的訊號
- 把工具的 success 字串當鏈上完成
- 本題判定規則
- 歸因使用最晚可證明的階段
檢查 05|常見的歸屬錯誤有哪些 · 支持性測試
- 本輪做法
- 尋找最接近實際行為的支持證據,但不接受無法連回原始聲明的材料
- 應取得的證據
- 角色與身分有可核對的對應
- 會推翻判定的訊號
- 依產品敘事補齊未知角色
- 本題判定規則
- 不確定的角色保留未知
檢查 01|一個鏈上動作包含哪些步驟 · 反例測試
- 本輪做法
- 在關閉這一列之前,以變體、工具失敗或替代路徑嘗試推翻暫定結論
- 應取得的證據
- 完整執行鏈有同一 correlation ID
- 會推翻判定的訊號
- 把「已建立交易」寫成已上鏈
- 本題判定規則
- 只確認有證據覆蓋的步驟
檢查 02|區塊瀏覽器能證明什麼 · 反例測試
- 本輪做法
- 在關閉這一列之前,以變體、工具失敗或替代路徑嘗試推翻暫定結論
- 應取得的證據
- receipt 與事件可由多個 RPC 重查
- 會推翻判定的訊號
- 用地址名稱或備註推斷決策者
- 本題判定規則
- 瀏覽器證據限於鏈上事實
檢查 03|如何把模型 trace 與交易雜湊連起來 · 反例測試
- 本輪做法
- 在關閉這一列之前,以變體、工具失敗或替代路徑嘗試推翻暫定結論
- 應取得的證據
- 摘要可從最終交易重新計算
- 會推翻判定的訊號
- 只靠相近時間戳配對
- 本題判定規則
- 無唯一連結時標示為推定而非確認
檢查 04|什麼證據能區分提案與真正執行 · 反例測試
- 本輪做法
- 在關閉這一列之前,以變體、工具失敗或替代路徑嘗試推翻暫定結論
- 應取得的證據
- 每一階段物件可比對且不可靜默改寫
- 會推翻判定的訊號
- 把工具的 success 字串當鏈上完成
- 本題判定規則
- 歸因使用最晚可證明的階段
檢查 05|常見的歸屬錯誤有哪些 · 反例測試
- 本輪做法
- 在關閉這一列之前,以變體、工具失敗或替代路徑嘗試推翻暫定結論
- 應取得的證據
- 角色與身分有可核對的對應
- 會推翻判定的訊號
- 依產品敘事補齊未知角色
- 本題判定規則
- 不確定的角色保留未知
常見問題
交易由智能合約錢包送出,能證明 Agent 執行嗎?
不能單靠這點;還要找 module、owner、策略和 Agent trace 的連結。
交易成功但策略模擬失敗,怎麼判定?
鏈上執行已確認,但控制流程存在矛盾,應分開記錄而非選一個覆蓋另一個。
需要公開完整 chain-of-thought 嗎?
不需要。結構化決策、工具參數、策略結果和時間線通常已足夠,且更適合安全保存。
本檔案使用的來源
- Ethereum JSON-RPC API — 用於核對範圍、版本、行為或控制的一手資料;使用時仍須確認頁面日期與上下文。
- Ethereum accounts — 用於核對範圍、版本、行為或控制的一手資料;使用時仍須確認頁面日期與上下文。
- Solana transactions and instructions — 用於核對範圍、版本、行為或控制的一手資料;使用時仍須確認頁面日期與上下文。
- ERC-7715: Request Permissions from Wallets — 用於核對範圍、版本、行為或控制的一手資料;使用時仍須確認頁面日期與上下文。
- AI agent quickstarts for Safe Smart Account — 用於核對範圍、版本、行為或控制的一手資料;使用時仍須確認頁面日期與上下文。
- Safe Modules — 用於核對範圍、版本、行為或控制的一手資料;使用時仍須確認頁面日期與上下文。
- OpenZeppelin Access Control — 用於核對範圍、版本、行為或控制的一手資料;使用時仍須確認頁面日期與上下文。
