Layer2 组件的交互流程，还不太理解。 比如用户交易： 1.用户启动交易 2.排序器接收执行排序更新，生成新的状态根 3.数据rollup到DA层（L1）
若为：Zk-rollup: 4.Prover从DA层获取数据，用zk算法生成proof，计算新的状态根 5.Proof提交到L1的verifier合约验证 6.ETH主网验证，通过则更新；错误则拒绝 7.通过proof验证后，可以把资金从L2 跨链回 L1
若为Op-rollup： 4.DA层数据汇总到L1 的roll up合约 5.假设所有人诚实，数据正确，若7天内有人欺诈证明，在验证错误后L1会回滚并惩罚提交错误状态的人。 6.若过了7天挑战期没有欺诈证明，则状态被L1确认
问题1：无论zk还是Op,都是rollup到DA层，然后再由DA汇总到L1吗？ 问题2：zk证明是如何证明为真，而非错误数据的？