交易前后没变，就能证明中途没动过吗？
不能。对比起点和终点，回答不了中间走过什么路。
以太坊基金会关于$ETH 交易断言的研究，讨论让交易执行后的检查读取“净状态变化”，也就是执行前后最终留下的差别。文中介绍的一种方案，会把同一个合约持久存储位置的多次写入合并，只给出开始值和结束值；如果最后恢复成原值，这个位置甚至不会出现在净变化清单里。
所以，清单没列出某处变化，不代表执行过程中从未改过它。它适合回答最终留下了什么，不能单独证明中途发生了什么。
如果钱包或分析工具以后采用这类检查，读报告时应先看它展示的是最终差额，还是完整的执行过程。要核对中间调用或临时状态，还需对应的执行追踪，不能只凭最终恢复原样就认定过程没有变化。
这里解释的是研究文章中的设计边界，没有声称所有以太坊交易已经启用这项功能。
资料：https://blog.ethereum.org/2026/10/05/transaction-assertions
不能。对比起点和终点，回答不了中间走过什么路。
以太坊基金会关于$ETH 交易断言的研究，讨论让交易执行后的检查读取“净状态变化”，也就是执行前后最终留下的差别。文中介绍的一种方案，会把同一个合约持久存储位置的多次写入合并，只给出开始值和结束值；如果最后恢复成原值，这个位置甚至不会出现在净变化清单里。
所以，清单没列出某处变化，不代表执行过程中从未改过它。它适合回答最终留下了什么，不能单独证明中途发生了什么。
如果钱包或分析工具以后采用这类检查，读报告时应先看它展示的是最终差额，还是完整的执行过程。要核对中间调用或临时状态，还需对应的执行追踪，不能只凭最终恢复原样就认定过程没有变化。
这里解释的是研究文章中的设计边界，没有声称所有以太坊交易已经启用这项功能。
资料：https://blog.ethereum.org/2026/10/05/transaction-assertions
