zkVMs estão redefinindo a execução. Eles verificam a lógica por meio de provas criptográficas, não de execução. O Bitcoin está entrando nesse modelo por meio de relés e provas de inclusão. A execução é programável, mas as superfícies de risco mudaram. Detalhes abaixo.

A segurança depende da solidez do circuito, da fidelidade do compilador e dos limites de isolamento. Uma prova válida pode representar uma lógica inválida se o modelo de restrição estiver incompleto ou desalinhado.

O Spearbit avalia os sistemas zkVM no nível de restrição. As análises cobrem a precisão da codificação, o comportamento da prova sob entrada adversária e as interações com os dados do Bitcoin e a lógica da ponte.