钱包弹出签名窗口时，用户通常确认的是“我要执行什么动作”，却很难保证交易最终“得到什么结果”。以太坊基金会10月5日的研究文章，把这种落差称为交易结果不确定性，并讨论一种原生交易断言：在交易执行完、状态真正形成后，再由链上只读规则检查结果；若结果违反事先独立设定的约束，执行就回滚。该方案仍在设计与讨论中，EIP-7906只是可能路径之一，并未确定进入升级，更不能写成以太坊主网已经上线的新安全功能。

问题为什么值得讨论？签名通常锁定目标地址、金额和调用数据，却不锁定执行时的全部合约代码与链上状态。代理合约可能在签名后更换实现，交易排序可能改变池子价格，原本看过的模拟结果也可能与真正入块时不同。智能合约忠实执行用户签下的调用，却不会替用户判断经济目标是否达到。基金会举出的案例包括前端诱导签署了与预期不同的授权，以及用户虽然签对了订单却接受了极差的兑换结果。它们分别属于“签名意图错位”和“交易结果错位”，防线不应混为一谈。

透明签名和模拟为什么还不够

透明签名可以把复杂调用翻译成人能理解的动作，减少不知情授权；但它仍依赖前端正确解码、用户注意到异常，而且主要解释“将请求什么”。模拟能预测在某个选定链状态下的结果，却不能保证稍后入块时状态不变，也无法阻止签名环节被恶意软件替换内容。已有合约的最小输出量、钱包守卫等机制确实能够在执行中检查特定条件，但需要事先知道应看哪一项状态，未必能看到整笔交易造成的所有净变化。新方案想补的是这个观察范围，不是宣布旧防线没有价值。

基金会设想的原生断言，是把一条只读规则与交易动作一起签入。动作执行后，断言比较交易前后余额、存储、代码和事件等净变化。如果收款低于最小值、花费超过上限、新增了不被允许的授权，或者钱包控制逻辑被修改，规则可以令执行回滚。这里的关键不只是“多一个判断语句”，还在于判断发生在真实执行结果出现之后，并能看到过去普通合约不易统一访问的状态差异。对于自动化交易、受托代理或复杂路由，用户可以把结果上限写得比“相信前端显示”更明确。

EIP-7906提出的技术路径建立在EIP-8141框架交易之上，在末尾增加只读的POST_TX阶段，通过新指令枚举净状态变化、读取特定存储差异与事件数据。它目前仅被列为纳入升级的考虑对象，尚未最终确认。即使未来采用，该提案也不会强制每笔交易携带断言；钱包和协议必须主动要求。若恶意前端同时掌握交易构造和断言文本，它可以写一条允许攻击发生的规则，安全性依然落空。真正可靠的约束应来自独立确认的用户意图、钱包长期政策或被调用协议的强制要求。

这也解释了为什么“交易失败也要付手续费”不是设计瑕疵。若断言不通过，执行动作回滚，但交易仍在区块里留下失败状态，支付者仍承担已消耗的Gas。否则攻击者可以免费让区块构建者反复执行昂贵、注定失败的交易。对于用户而言，这意味着断言降低的是不希望的状态改变风险，而不是让所有失败尝试没有成本。对于协议而言，若要强制保护，还必须拒绝没有指定断言的普通交易；已经部署且不可升级的合约未必能补上这层检查。

安全收益取决于规则由谁写

交易断言最容易被误读成一个万能“后悔按钮”。它只能检查一笔交易、一个网络内的结果，不能覆盖跨链路由的全部结算，也不能保证规则本身正确。举例说，用户设了最低兑换量，仍可能因为市场太薄而交易失败；设了允许的合约清单，也要有人维护清单并理解升级风险。基金会指出，某些代理执行场景可先限制代理能调用什么、最多花多少，再用断言限制最终状态；两层约束相互补充。若用户根本不知道自己愿意接受的价格区间，链上规则也无法替他作出经济判断。

基金会目前邀请钱包和协议团队参与设计，文章谈的是如何填补风险控制空白，而非正式激活公告。对读者来说，短期实用做法仍是审阅签名内容、设置合理滑点与限额、警惕不明授权，并注意模拟只是一张当时状态的快照。长期看，如果原生断言能形成兼容的钱包、合约和标准，交易保护可能从“看懂请求”延伸到“保证结果不越界”。但在提案确认、实现审计和实际部署之前，它仍是一项研究方向，而不是已经替所有以太坊用户安装的保险。

这项研究也给钱包产品提出了一个比新指令更难的问题：如何让普通人理解自己正在授权的“结果范围”。如果界面只给一长串合约地址和存储槽，用户无法独立确认规则是否正确；如果界面把规则简化得过头，又可能遗漏关键例外。真正可用的方案需要把用户可理解的预算、最低收款和允许操作，与机器能严格执行的状态检查对应起来，还要能解释失败原因。安全机制能否进入大众钱包，最终取决于这层翻译是否可信，而不是提案编号本身。