ZeroSync プロジェクト リーダーの Robin Linus 氏は、10 月 9 日に「BitVM: Computing Anything on Bitcoin」と題したホワイトペーパーで、BitVM はビットコインのコンセンサスルールを変更することなくチューリング完全なビットコインコントラクトを実装できると発表しました。 BitVM では、ビットコイン コントラクトの「ロジック」はオフチェーンで実行されますが、検証はイーサリアムのオプティミスティック ロールアップと同様にビットコイン上で行われます。

BitVM のアーキテクチャは、不正証明とチャレンジ応答モデルに基づいており、「証明者」が主張を行うことができ、「検証者」が不正証明を実行して、虚偽の主張がなされた場合に証明者を罰することができます。 Linus 氏は、現在の形式のビットコインは署名、タイム ロック、ハッシュ ロックなどの基本的な操作に限定されていますが、多くの興味深いアプリケーションを計算できる BitVM を通じて拡張できるようになったと説明しました。