Un punto que resulta bastante confuso es - "Después de integrar ZK en el futuro, se podrá "expandir infinitamente" el gas (los validadores solo ven la prueba, no necesitan volver a ejecutar), problema resuelto." ¿Hay alguna diferencia esencial entre el Native Rollup de esta segunda fase y el ZK-Rollup actual? Lo único que se me ocurre es que uno verifica la prueba ZK mediante un contrato en L1, y el otro verifica la prueba ZK directamente dentro del cliente de L1, pero parece que en esencia no hay diferencia... ¿Algún experto técnico podría aclarar esto?