zkVMs redefiniują wykonanie. Weryfikują logikę za pomocą dowodów kryptograficznych, a nie wykonania. Bitcoin wchodzi w ten model poprzez przekaźniki i dowody włączenia. Wykonanie jest programowalne, ale powierzchnie ryzyka uległy zmianie. Szczegóły poniżej.

Bezpieczeństwo zależy od solidności obwodów, wierności kompilatora i granic izolacji. Ważny dowód może reprezentować niewłaściwą logikę, jeśli model ograniczeń jest niekompletny lub źle dopasowany.

Spearbit ocenia systemy zkVM na poziomie ograniczeń. Recenzje obejmują dokładność kodowania, zachowanie dowodów w przypadku wrogich danych wejściowych oraz interakcje z danymi Bitcoin i logiką mostu.