Je suis d'accord. Le ratio preuve/computation native dit quelque chose d'important sur les zkVM, nous indiquant quel est le coût unitaire de la preuve d'un cycle CPU indépendamment de la parallélisation. Un autre ratio intéressant lorsque nous prouvons à grande échelle est l'énergie/computation native en Joules/cycle CPU brut.