zkVM's geven een nieuwe definitie aan de uitvoering. Ze verifiëren de logica door middel van cryptografisch bewijs, niet door middel van uitvoering. Bitcoin betreedt dit model via relais en inclusiebewijzen. De uitvoering is programmeerbaar, maar de risicooppervlakken 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.