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 het circuit, de getrouwheid van de compiler en de isolatiegrenzen. Een geldig bewijs kan ongeldige logica vertegenwoordigen als het beperkingsmodel onvolledig of niet goed is uitgelijnd.

Spearbit evalueert zkVM-systemen op constraintniveau. Beoordelingen hebben betrekking op de nauwkeurigheid van de codering, het bewijsgedrag onder contradictoire invoer en interacties met Bitcoin-gegevens en bridgelogica.