In traditionellen VMs hängt der Konsens davon ab, dass "alle Knoten jede Transaktion wiederholt ausführen", weshalb die Gesamtleistung des Netzwerks durch den langsamsten Knoten begrenzt wird und Rechenleistung in einer Vielzahl von wiederholten Berechnungen verschwendet wird. In zkVM hingegen wird der Prozess in "Ausführung + Beweis + Verifizierung" aufgeteilt: Programme und Eingaben müssen nur einmal in der zkVM ausgeführt werden, um Ergebnisse und einen Zero-Knowledge-Beweis zu generieren; andere Knoten müssen keine Berechnungen wiederholen, sondern nur diesen Beweis verifizieren. Dadurch wird die Rechenlast erheblich verringert. Am Beispiel der zkVM von RISC Zero (im Folgenden R0VM genannt): 🔹 Sie basiert auf dem RISC-V-Befehlssatz, Entwickler müssen lediglich Gastprogramme in Rust / C / C++ schreiben und dann in RISC-V ELF-Dateien kompilieren; 🔹 Jede ELF-Datei hat eine eindeutige Image-ID, um sicherzustellen, dass "die Ausführung tatsächlich diesen Code ist"; 🔹 Das Ausführungsergebnis generiert einen Beleg (Receipt), der Folgendes enthält: Journal: öffentliche Ausgaben oder versprochene Ergebnisse; Seal: ein kurzer ZK-Beweis, der on-chain oder off-chain verifiziert werden kann. Letztendlich müssen die Knoten im Netzwerk nur diesen Beleg verifizieren, anstatt alle Berechnungen erneut auszuführen. So sinken die Kosten für "Netzwerkübereinstimmung" erheblich von wiederholten Ausführungen auf die Verifizierung kurzer Beweise.