以太坊基金会正在研究交易断言，让用户能够为交易的最终结果附加可强制执行的条件，而不只是批准所请求的操作。这项研究是其“万亿美元安全”（Trillion Dollar Security）计划的一部分，旨在弥补交易安全方面的不足：有效签名并不能保证最终余额、权限或账户控制权符合签署者的意图。
核心要点
- 拟议的检查机制会在交易执行期间评估结果，并撤销违反已签署规则的操作。
- 保护效果取决于规则是否由可能遭到入侵的交易构建者以外的主体批准。
- 这项研究或可支持钱包安全策略、委托代理和求解器工作流，但目前并非已宣布部署的功能。
目录
为什么批准交易仍可能导致损失
以太坊会根据交易执行时可用的代码和状态，执行用户授权的请求。这些条件可能与用户检查时的情况不同。例如，代理合约的实现可能在执行前发生变化，而交易排序也可能改变兑换交易遇到的价格。
基金会区分了误导性请求与不理想结果。在 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 已进入“考虑纳入”（Considered for Inclusion）阶段，但尚未确认纳入该次升级。
按照这一方案，只读的 POST_TX 帧会在执行结束时检查结果。拟议的数据访问指令只会在该帧内运行，而不会贯穿整个 EVM。
这些信息描述的是净影响，而不是每次中间写入的完整记录。某个存储槽若被反复修改，将显示其初始值和最终值；若该存储槽恢复到原始值，则不会显示。因此，区分最终状态强制执行与监控执行过程中的每一步非常重要。
如果检查未通过，执行主体将回滚，但该交易仍会以失败状态保留在区块中。Gas 支付方仍须支付已消耗的 Gas，以防有人故意制造失败交易，让构建者承担免费的执行工作。
钱包和协议需要在哪些方面作出改变
该提案提供的是检查机制，而非自动要求使用它。对于用户交易，钱包必须将自身的安全策略纳入交易构建流程，不能让构建者自行决定是否省略该策略。该策略可以源自钱包自身的模拟，也可以作为持续适用的账户规则。
对于协议，必须将保护条件纳入访问受保护函数的要求。仅提供支持断言的交易并不足够：调用本身必须包含协议要求的特定检查。这将改变调用方的集成要求，而已经部署且不可变的合约则无法补加这一准入检查。
这些依赖因素表明，EVM 中一项潜在强大的能力，并不等同于面向用户的保障。要实现有效保护，既需要健全的条件，也需要能够始终确保该条件不可绕过的软件。
代理和求解器工作流可能获得哪些益处
除了权限之外，委托代理还可以受到结果约束。对代理可使用的合约或可支出金额设限之外，还可以增加对每笔交易最终状态的要求。
在基于求解器的执行中，协议可以规定可接受的结果，同时允许求解器自行选择路径。此类保障仅适用于单一网络上的交易，不适用于跨多个链的路径。
断言还可以检查工作流的清理步骤，例如退还未使用的代币并撤销剩余授权。随着设计工作的推进，基金会正在征求钱包和协议团队的意见，因此这些潜在用途目前属于研究方向，而非已宣布的产品功能。
结论
原生交易断言将使以太坊交易安全的一部分从解读请求转向强制执行结果。其实际价值取决于策略是否可信，以及负责应用这些策略的钱包和协议是否采用。
阅读更多新闻
免责声明
本文由 FinanceVelix 发布，仅提供一般信息，不构成个性化的财务、投资、法律或税务建议。加密货币价格可能迅速变化，您可能损失全部投资资金。文中事实反映发布时可获得的资料，且可能发生变化。请独立核实重要信息，并在需要时咨询合格专业人士。提及任何资产、公司或服务均不代表对其予以认可。
