全文

授权请求与接受结果是两件事

以太坊基金会在 2026 年 10 月 5 日讨论交易断言，问题是有效签名未必带来可接受的结果。签名前，使用者看到的是某个界面提供的预期；执行时，合约却会读取当下的链上状态。若把交易想成一张委托单，签名回答谁批准这张单，断言则试图补上交付条件。两者处理不同问题：前者防止未授权的人冒名支出，后者限制获得授权的操作可以造成哪些变化。

把期待写成可以验证的条件

原生断言的研究方向，是在动作执行后检查状态变化，不合条件便拒绝该结果。EIP-7906 提出让执行环境存取状态差异的候选机制，目前文件仍标为草案。这类检查需要具体指定资产、账户和比较方式。单写「不能亏钱」并不精确，因为亏损可能指代币数量、参考价格或未来价值。余额检查能验证可观察的数量，却不能直接证明一笔投资在经济上划算。

最低收款如何形成一条界线

假设使用者准备交换 100 单位代币甲，要求收到至少 95 单位代币乙。若结果只有 94，该条件应拒绝执行；若收到 96，收款条件成立，但仍不能因此认定所有其他效果都安全。假设同时产生了一项不必要的长期授权，只检查收款就可能漏掉它。这个例子说明，保护范围取决于写入哪些条件，最低收款、最高支出与授权变化需要分别表达，不能用单一数字涵盖所有意图。

条件从哪里来，决定保护是否可靠

断言再严格，也只能执行被交付的规则。假设恶意网站把最低收款偷偷降成零，系统完全遵守条件仍会让使用者承受损失。因此，钱包若采用这类设计，还需要可信的意图输入与清楚的确认界面。过紧的限制也有成本：市场正常波动可能使交易反覆失败，使用者为求成交又可能不断放宽条件。这是可用性与保护强度的取舍，不是加入一个勾选框即可解决。

研究提案与现有保障之间仍有距离

截至这篇来源所描述的研究阶段，不能把候选设计当成所有以太坊钱包已有的功能。即使将来广泛采用，断言也不是退款服务，更不能改写先前已完成的独立交易。本站的判断是，它把安全问题往使用者真正关心的结果推进了一步，但仍须回答条件如何产生、如何强制带入，以及检查失败时费用和体验如何处理。这些边界应与实际规格及产品行为一起验证。