Los zkVM están redefiniendo la ejecución. Verifican la lógica a través de pruebas criptográficas, no de la ejecución. Bitcoin está entrando en este modelo a través de relés y pruebas de inclusión. La ejecución es programable, pero las superficies de riesgo han cambiado. Detalles a continuación.

La seguridad depende de la solidez del circuito, la fidelidad del compilador y los límites de aislamiento. Una prueba válida puede representar lógica inválida si el modelo de restricciones está incompleto o desalineado.

Spearbit evalúa los sistemas zkVM a nivel de restricciones. Las revisiones cubren la precisión de la codificación, el comportamiento de la prueba bajo entradas adversariales y las interacciones con los datos de Bitcoin y la lógica del puente.