rollup中包含的交易提交到主链上的智能合约后，智能合约验证过程中不会对压缩包中的交易重新执行（因为再执行一遍等于rollup失去了意义，因为你还是重新占用了链上资源）。

-------------如果是这样是否会出现“双花问题”呢？假设A账户中有10个以太币。A通过rollup将十个以太币转给B，此时rollup执行者验证这笔交易是合法的（rollup执行者不存在主观恶意---“明知A余额不足还将这笔交易进行rollup”）。但是A在提交这笔交易后，又通过以太网主链给C转了十个以太币。因为rollup中的交易并没有在只能合约中被重新执行。那么是否意味着以太网主链上的节点并不知道A给B转10个以太币的交易？因此无法察觉A的账户中已经余额不足。进而导致B或C其中一个人受损？