Las zkVM están redefiniendo la ejecución. Verifican la lógica a través de pruebas criptográficas, no de 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 no válida si el modelo de restricción está incompleto o desalineado.

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