El punto más confuso es: "En el futuro, tras integrar las pruebas ZK, podremos expandir el gas 'infinitamente' (los validadores solo miran las demostraciones, no hace falta repetir), y el problema se resolverá. ” ¿Hay alguna diferencia esencial entre esta segunda fase del Native Rollup y el actual ZK-Rollup? Lo único que se me ocurre es un contrato para verificar las pruebas ZK en L1, y una verificación directa de las pruebas ZK dentro de los clientes L1, pero la esencia parece ser la misma... ¿Qué dios de la tecnología resolverá las dudas?