比较困惑的一点是 - “未来集成 ZK 证明后，就能“无限”扩展 gas（验证者只看证明，不用重跑），问题解决。” 这个第二阶段的Native Rollup跟现在的ZK-Rollup有什么本质区别么？能想到的无非是一个在L1用合约来验证ZK证明，一个在L1客户端内部直接验证ZK证明，但本质似乎没差… 哪位技术大神来解解惑(Lao Bai)