Ik ben het eens. De ratio prover/native computation zegt iets belangrijks over zkVM's, en vertelt ons wat de eenheidsprijs van het bewijzen van een CPU-cyclus is, onafhankelijk van parallelisatie. Een andere interessante ratio wanneer we op schaal bewijzen is energie/native computation in Joule/raw CPU-cyclus