Concordo. A computação do provador de proporção / nativa diz algo importante sobre zkVMs, dizendo-nos qual é o custo unitário de provar um ciclo de CPU independentemente da paralelização. Outra proporção interessante quando provamos em escala é a computação de energia/nativa em Joule/ciclo bruto da CPU