Un aspetto piuttosto confuso è - "Dopo l'integrazione futura della prova ZK, sarà possibile espandere "infinito" il gas (i validatori vedono solo la prova, non devono rieseguire), problema risolto." Qual è la differenza sostanziale tra il Native Rollup di questa seconda fase e l'attuale ZK-Rollup? L'unica cosa che riesco a pensare è che uno verifica la prova ZK tramite un contratto su L1, mentre l'altro verifica direttamente la prova ZK all'interno del client L1, ma in sostanza sembra non ci sia differenza... Qualche esperto tecnico può chiarire?