以太坊基金會正在探索交易斷言，讓使用者能為交易的最終結果附加可強制執行的條件，而非僅仰賴對所要求操作的核准。這項研究是其「兆美元安全」倡議的一部分，旨在彌補交易安全上的缺口：有效簽章並不能保證最終的餘額、權限或帳戶控制方式符合簽署者的意圖。
重點摘要
- 提議中的檢查機制會在執行期間評估交易結果，並撤銷違反已簽署規則的操作。
- 防護效果取決於獨立於可能遭到入侵的交易建構者所核准的規則。
- 這項研究可能支援錢包安全政策、委派代理程式及求解器工作流程，但目前尚未宣布部署。
目錄
為何核准交易仍可能造成損失
以太坊會根據交易執行時可用的程式碼與狀態，執行使用者授權的請求。這些條件可能與使用者檢視時的情況不同。例如，代理合約的實作可能在執行前變更，而交易排序也可能改變兌換時遇到的價格。
基金會區分了誤導性請求與不想要的結果。在 Bybit 和 BadgerDAO 攻擊事件中，遭入侵的前端呈現的簽署請求，與使用者認為自己正在核准的內容不同。相較之下，即使請求顯示正確，仍可能導致經濟上的重大損失。
基金會舉例指出，一筆涉及約 5,040 萬美元 aEthUSDT 的 Aave 和 CoW 抵押品兌換交易。AAVE 流動性不足，加上 CoW 的 gas 上限，使已驗證報價僅約為 329 個 aEthAAVE。儘管畫面顯示 99.9% 的價格影響警告，並確認全部價值都可能損失，使用者仍簽署交易，最終收到價值約 36,000 美元的代幣。
這項區別說明，改善交易說明並非完整解方。清晰簽署（Clear Signing）有助使用者了解所要求的操作；模擬則根據選定的鏈上狀態估算影響。但兩者單獨使用，都無法對實際發生的結果施加獨立條件。
| 項目 | 詳細資訊 |
|---|---|
| TXTRACE | 列出交易造成的淨狀態變更及發出的事件。 |
| TXDIFF | 取得指定地址和儲存槽位的起始值與最終值。 |
| EVENTDATACOPY | 將事件資料複製到記憶體中，以供檢查。 |
| 部署資訊 | 提議中的狀態變更資料包含新部署的合約及其程式碼雜湊。 |
交易斷言如何檢查結果
斷言會在交易操作執行完畢後，以唯讀邏輯比對交易的起始狀態與最終狀態。條件會納入交易，並與操作一同簽署。若條件未通過，這些操作就會回滾。
可能的規則包括最低收款數量、支出上限、對新增代幣授權的限制，或保留帳戶控制邏輯。提議中的檢查能力不只涵蓋餘額，也延伸至儲存資料、程式碼、新部署的合約及發出的事件。
現有合約檢查已能保護特定結果。Uniswap 可拒絕低於指定最低輸出量的兌換交易，Safe 守衛也能在執行後檢查帳戶狀態。其限制在於可見範圍：這類檢查必須預先判斷要檢查哪些項目，而且通常取決於其他合約公開的介面。例如，代理合約不一定會提供揭露其實作地址的函式。
原生斷言會讓交易的完整淨效果都可供檢查，包括一般守衛可能不知道要查找的變更。但只有在規則可信時，更廣泛的可見範圍才有用。惡意前端可能提供放任自身攻擊的條件，因此政策必須來自獨立核准的意圖、帳戶政策或受保護的協議邏輯。
提議中的實作將提供哪些資訊
基金會關於原生交易斷言的公告將 EIP-7906 描述為一種可能的實作方式，而非已定案的設計。這項提案建立在 EIP-8141 的框架交易之上，後者會依序安排驗證與操作步驟。EIP-8141 已排定納入 Hegotá；EIP-7906 則已進入「考慮納入」階段，但尚未確認會納入該次升級。
依照此方法，唯讀的 POST_TX 框架會在執行結束時檢查結果。提議中的資料存取指令只會在該框架內運作，而不會遍及整個 EVM。
這些資訊會描述淨效果，而非每次中間寫入的歷程。多次變更的儲存槽位會顯示其起始值與最終值；若某個槽位恢復原值，則不會列出。因此，區分強制執行最終狀態與監控每個執行步驟十分重要。
若檢查未通過，執行主體會回滾，但交易仍會以失敗狀態留在區塊中。gas 支付者仍須支付已消耗的 gas，以免有人刻意提交失敗交易，讓建構者承擔免費的執行工作。
錢包與協議需要在哪些方面調整
這項提案提供的是檢查機制，並不會自動要求使用者採用。對於使用者的交易，錢包必須將安全政策納入交易建構流程，而不是讓建構者可以任意省略。該政策可根據錢包本身的模擬結果制定，也可作為常設帳戶規則適用。
對於協議，必須將防護納入存取受保護函式的條件中。僅提供支援斷言的交易並不足夠：呼叫內容必須包含協議要求的特定檢查。這將改變呼叫端的整合要求，而已部署且不可變的合約則無法事後補上這項准入檢查。
這些依賴因素顯示，具備潛力的 EVM 能力與面向使用者的保障並非一回事。要有效防護，既需要健全的條件，也需要能持續確保該條件無法被規避的軟體。
代理程式與求解器工作流程可能獲得哪些助益
委派代理程式的限制不僅可涵蓋權限，也可涵蓋執行結果。除了限制代理程式能使用哪些合約或可支出多少資金外，還可增訂要求，規範每筆交易完成後應留下的狀態。
對於基於求解器的執行方式，協議可指定可接受的結果，同時允許求解器自行選擇路徑。這項保障僅適用於單一網路上的交易，不涵蓋跨多條鏈的路徑。
斷言也可檢查工作流程是否完成清理，例如退回未使用的代幣，以及撤銷剩餘授權。基金會正在設計工作持續進行之際，徵詢錢包與協議團隊的意見，因此這些潛在應用仍屬研究方向，而非已宣布推出的產品功能。
結論
原生交易斷言將使以太坊交易安全的一部分，從解讀請求轉向強制執行結果。其實際價值取決於政策是否可信，以及負責套用政策的錢包與協議是否採用。
閱讀更多新聞
免責聲明
本文由 FinanceVelix 提供一般資訊，並非個人化的財務、投資、法律或稅務建議。加密貨幣價格可能快速變動，您可能損失所有投資資金。文中事實反映發布時可取得的資料，且可能有所變動。請自行核實重要資訊，並在有需要時諮詢合格專業人士。提及任何資產、公司或服務，均不構成推薦。
