zkVMs 正在重新定義執行。 它們通過加密證明來驗證邏輯，而不是執行。比特幣正通過中繼和包含證明進入這一模型。執行是可編程的，但風險表面已經發生了變化。詳情如下。

安全性取決於電路的健全性、編譯器的忠實度和隔離邊界。如果約束模型不完整或不對齊，有效的證明可能會代表無效的邏輯。

Spearbit 在約束層面評估 zkVM 系統。評估涵蓋編碼準確性、在對抗性輸入下的證明行為，以及與比特幣數據和橋接邏輯的互動。