Les zkVM redéfinissent l'exécution. Ils vérifient la logique par des preuves cryptographiques, et non par l'exécution. Bitcoin entre dans ce modèle par le biais de relais et de preuves d'inclusion. L'exécution est programmable, mais les surfaces de risque ont changé. Détails ci-dessous.

La sécurité dépend de la solidité des circuits, de la fidélité du compilateur et des frontières d'isolement. Une preuve valide peut représenter une logique invalide si le modèle de contrainte est incomplet ou mal aligné.

Spearbit évalue les systèmes zkVM au niveau des contraintes. Les examens portent sur la précision de l'encodage, le comportement des preuves sous des entrées adversariales, et les interactions avec les données Bitcoin et la logique de pont.