Gli zkVM stanno ridefinendo l'esecuzione. Verificano la logica attraverso prove crittografiche, non l'esecuzione. Bitcoin sta entrando in questo modello attraverso relay e prove di inclusione. L'esecuzione è programmabile, ma i rischi si sono spostati. Dettagli di seguito.

La sicurezza dipende dalla solidità del circuito, dalla fedeltà del compilatore e dai confini di isolamento. Una prova valida può rappresentare una logica non valida se il modello di vincolo è incompleto o disallineato.

Spearbit valuta i sistemi zkVM a livello di vincolo. Le recensioni coprono l'accuratezza della codifica, il comportamento della prova sotto input avversari e le interazioni con i dati di Bitcoin e la logica del ponte.