Olen samaa mieltä. Suhde prover/native computation kertoo jotain tärkeää zkVM:istä ja kertoo meille, mikä on CPU-syklin todistamisen yksikkökustannus rinnakkaisuudesta riippumatta. Toinen mielenkiintoinen suhde, kun todistamme mittakaavassa, on energia/natiivilaskenta Joule/raaka CPU-syklissä