Rollup 的安全性建立在一句可验证的承诺上：任何人拿 L1 上的数据都能重放出同一个 Layer2 状态根。本文拆解这条推导流水线——从 L1 读取交易数据、按规则排序、确定性执行、算出状态根——并说明存款交易、强制交易和批次的顺序如何共同决定最终状态，以及断言出错了欺诈证明与有效性证明分别怎么办。