ZK rollup 提交的状态转换数学证明：证明新状态正确才能上链，与乐观 rollup 的「先信后查」相反。提款更快（无需挑战期），安全性靠数学而非监控者。是两条 rollup 路线的本质分野。
这是速览版解释。