zkVM nově definují provádění. Ověřují logiku prostřednictvím kryptografických důkazů, nikoli provedení. Bitcoin vstupuje do tohoto modelu prostřednictvím relé a důkazů o začlenění. Provádění je programovatelné, ale rizikové plochy se posunuly. Podrobnosti níže.

Zabezpečení závisí na spolehlivosti obvodu, věrnosti kompilátoru a hranicích izolace. Platný důkaz může představovat neplatnou logiku, pokud je model omezení neúplný nebo špatně zarovnaný.

Spearbit vyhodnocuje systémy zkVM na úrovni omezení. Recenze se týkají přesnosti kódování, chování důkazů pod nepřátelským vstupem a interakcí s daty Bitcoinu a logikou mostu.