zkVMs estão a redefinir a execução. Eles verificam a lógica através de provas criptográficas, não da execução. O Bitcoin está a entrar neste modelo através de relays 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 das fronteiras de isolamento. Uma prova válida pode representar lógica inválida se o modelo de restrição estiver incompleto ou desalinhado.

A Spearbit avalia sistemas zkVM ao nível das restrições. As análises abrangem a precisão da codificação, o comportamento da prova sob entradas adversariais e as interações com dados do Bitcoin e a lógica da ponte.