Ich stimme zu. Das Verhältnis von Prover/nativer Berechnung sagt etwas Wichtiges über zkVMs aus und zeigt uns, was die Einheitskosten für den Nachweis eines CPU-Zyklus unabhängig von der Parallelisierung sind. Ein weiteres interessantes Verhältnis, wenn wir im großen Maßstab nachweisen, ist Energie/nativer Berechnung in Joule/raw CPU-Zyklus.