Sono d'accordo. Il rapporto prover/computazione nativa dice qualcosa di importante sugli zkVM, indicandoci qual è il costo unitario di dimostrazione di un ciclo CPU indipendentemente dalla parallelizzazione. Un altro rapporto interessante quando dimostriamo su larga scala è energia/computazione nativa in Joule/ciclo CPU grezzo.