zkVM's herdefiniëren uitvoering. Ze verifiëren logica via cryptografische bewijzen, niet via uitvoering. Bitcoin betreedt dit model via relays en inclusiebewijzen. Uitvoering is programmeerbaar, maar de risicovlakken zijn verschoven. Details hieronder.

Beveiliging hangt af van de degelijkheid van de schakeling, de trouwheid van de compiler en isolatiegrenzen. Een geldig bewijs kan ongeldige logica vertegenwoordigen als het constraintmodel incompleet of niet goed afgestemd is.

Spearbit evalueert zkVM-systemen op het niveau van beperkingen. De beoordelingen omvatten de nauwkeurigheid van de codering, het bewijsgedrag onder vijandige invoer en interacties met Bitcoin-gegevens en bruglogica.