zkVMs 正在重新定义执行。 它们通过加密证明验证逻辑，而不是执行。比特币正通过中继和包含证明进入这一模型。执行是可编程的，但风险表面已经发生了变化。详细信息如下。

安全性依赖于电路的健全性、编译器的可靠性和隔离边界。如果约束模型不完整或不对齐，有效的证明可能会表示无效的逻辑。

Spearbit 在约束级别评估 zkVM 系统。评审内容包括编码准确性、在对抗性输入下的证明行为，以及与比特币数据和桥接逻辑的交互。