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