A bit confusing is - 'After integrating ZK proofs in the future, gas can be expanded "infinitely" (validators only check proofs, no need to rerun), problem solved.' Is there any fundamental difference between this second phase Native Rollup and the current ZK-Rollup? The only thing I can think of is that one verifies ZK proofs using contracts on L1, while the other directly verifies ZK proofs within the L1 client, but essentially there doesn't seem to be a difference... Any tech experts out there to clear this up?