zkVM-urile redefinesc execuția. Ei verifică logica prin dovezi criptografice, nu prin execuție. Bitcoin intră în acest model prin relee și dovezi de includere. Execuția este programabilă, dar suprafețele de risc s-au schimbat. Detalii mai jos.

Securitatea depinde de soliditatea circuitului, fidelitatea compilatorului și limitele de izolare. O demonstrație validă poate reprezenta o logică nevalidă dacă modelul de constrângere este incomplet sau nealiniat.

Spearbit evaluează sistemele zkVM la nivel de constrângere. Recenziile acoperă acuratețea codării, comportamentul de dovadă sub intrarea adversă și interacțiunile cu datele Bitcoin și logica podului.