Concordo. A razão prover/computação nativa diz algo importante sobre zkVMs, informando-nos qual é o custo unitário de provar um ciclo de CPU independentemente da paralelização. Outra razão interessante quando provamos em escala é energia/computação nativa em Joules/ciclo de CPU bruto.