Enig. Forholdsbeviser/native beregning sier noe viktig om zkVM-er, og forteller oss hva enhetskostnaden for å bevise en CPU-syklus er uavhengig av parallellisering. Et annet interessant forhold når vi beviser i stor skala er energi/native beregning i Joule/rå CPU-syklus