zkVMs は実行を再定義しています。 彼らは、実行ではなく、暗号証明を通じてロジックを検証します。ビットコインは、リレーとインクルージョンプルーフを通じてこのモデルに参入しています。実行はプログラム可能ですが、リスクサーフェスはシフトしています。詳細は以下をご覧ください。

セキュリティは、回路の健全性、コンパイラの忠実度、および分離境界に依存します。制約モデルが不完全または不整合である場合、有効な証明は無効なロジックを表すことができます。

Spearbitは、zkVMシステムを制約レベルで評価します。レビューには、エンコードの精度、敵対的な入力の下での証明動作、ビットコインデータとブリッジロジックとの相互作用が含まれます。