zkVMs estão redefinindo a execução. Eles verificam a lógica através de provas criptográficas, não da execução. O Bitcoin está entrando neste modelo através 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 revisões abrangem precisão de codificação, comportamento de prova sob entrada adversarial e interações com dados Bitcoin e lógica de ponte.