Uma das coisas que me deixa mais confuso é - "Depois de integrar a prova ZK no futuro, será possível "expandir" o gas (os validadores apenas olham para a prova, sem precisar reexecutar), problema resolvido." Qual é a diferença essencial entre este Native Rollup da segunda fase e o ZK-Rollup atual? O que consigo pensar é que um valida a prova ZK usando contratos no L1, enquanto o outro valida a prova ZK diretamente dentro do cliente L1, mas a essência parece não mudar... Algum gênio técnico pode esclarecer isso?