Estoy de acuerdo. La relación entre la prueba/nativo de computación dice algo importante sobre los zkVMs, indicándonos cuál es el costo unitario de probar un ciclo de CPU independientemente de la paralelización. Otra relación interesante cuando probamos a gran escala es energía/computación nativa en Joules/ciclo de CPU bruto.