全文
授權請求與接受結果是兩件事
以太坊基金會在 2026 年 10 月 5 日討論交易斷言,問題是有效簽名未必帶來可接受的結果。簽名前,使用者看到的是某個介面提供的預期;執行時,合約卻會讀取當下的鏈上狀態。若把交易想成一張委託單,簽名回答誰批准這張單,斷言則試圖補上交付條件。兩者處理不同問題:前者防止未授權的人冒名支出,後者限制獲得授權的操作可以造成哪些變化。
把期待寫成可以驗證的條件
原生斷言的研究方向,是在動作執行後檢查狀態變化,不合條件便拒絕該結果。EIP-7906 提出讓執行環境存取狀態差異的候選機制,目前文件仍標為草案。這類檢查需要具體指定資產、帳戶和比較方式。單寫「不能虧錢」並不精確,因為虧損可能指代幣數量、參考價格或未來價值。餘額檢查能驗證可觀察的數量,卻不能直接證明一筆投資在經濟上划算。
最低收款如何形成一條界線
假設使用者準備交換 100 單位代幣甲,要求收到至少 95 單位代幣乙。若結果只有 94,該條件應拒絕執行;若收到 96,收款條件成立,但仍不能因此認定所有其他效果都安全。假設同時產生了一項不必要的長期授權,只檢查收款就可能漏掉它。這個例子說明,保護範圍取決於寫入哪些條件,最低收款、最高支出與授權變化需要分別表達,不能用單一數字涵蓋所有意圖。
條件從哪裡來,決定保護是否可靠
斷言再嚴格,也只能執行被交付的規則。假設惡意網站把最低收款偷偷降成零,系統完全遵守條件仍會讓使用者承受損失。因此,錢包若採用這類設計,還需要可信的意圖輸入與清楚的確認介面。過緊的限制也有成本:市場正常波動可能使交易反覆失敗,使用者為求成交又可能不斷放寬條件。這是可用性與保護強度的取捨,不是加入一個勾選框即可解決。
研究提案與現有保障之間仍有距離
截至這篇來源所描述的研究階段,不能把候選設計當成所有以太坊錢包已有的功能。即使將來廣泛採用,斷言也不是退款服務,更不能改寫先前已完成的獨立交易。本站的判斷是,它把安全問題往使用者真正關心的結果推進了一步,但仍須回答條件如何產生、如何強制帶入,以及檢查失敗時費用和體驗如何處理。這些邊界應與實際規格及產品行為一起驗證。
