zkVMs definieren die Ausführung neu. Sie überprüfen Logik durch kryptografische Beweise, nicht durch Ausführung. Bitcoin tritt durch Relais und Einschlussbeweise in dieses Modell ein. Die Ausführung ist programmierbar, aber die Risikoflächen haben sich verschoben. Einzelheiten siehe unten.

Sicherheit hängt von der Schaltungssoundness, der Treue des Compilers und den Isolationsgrenzen ab. Ein gültiger Beweis kann ungültige Logik darstellen, wenn das Einschränkungsmodell unvollständig oder fehlgerichtet ist.

Spearbit bewertet zkVM-Systeme auf der Ebene der Einschränkungen. Die Überprüfungen umfassen die Kodierungsgenauigkeit, das Verhalten der Beweise unter feindlichen Eingaben und die Interaktionen mit Bitcoin-Daten und Brückenlogik.