Cointelegraph によると、ビットコイン開発者が、ソフトフォークを必要とせずに、より表現力豊かなオフチェーン スマート コントラクトをビットコイン (BTC) にもたらす新しい方法を提案したという。ZeroSync のプロジェクト リーダーである Robin Linus が 10 月 9 日に発表した「BitVM: Compute Anything on Bitcoin」と題されたホワイト ペーパーでは、BitVM はビットコインのコンセンサス ルールを変更することなく、チューリング完全なビットコイン コントラクトを可能にすると述べられている。チューリング完全なシステムは、理論的にはあらゆる計算問題に対する答えを提供できる。
BitVM では、ビットコイン契約の「ロジック」はオフチェーンで実行されますが、検証はイーサリアムの楽観的ロールアップと同様にビットコイン上で行われます。BitVM のアーキテクチャは、詐欺証明とチャレンジ レスポンス モデルに基づいており、「証明者」がクレームを作成し、「検証者」が詐欺証明を実行して虚偽のクレームが行われた場合に証明者を罰することができます。Linus 氏は、現在の形式のビットコインは署名、タイムロック、ハッシュロックなどの基本的な操作に限定されているが、BitVM によってそれが拡張され、Linus 氏によると、多数の興味深いアプリケーションを計算できるとのことです。
リーナス氏は、このモデルの限界は、証明者と検証者の2者間設定に限定されており、プログラムを実行するには大量のオフチェーン計算と通信が必要であることだと述べた。リーナス氏は、次の「マイルストーン」は、ビットコイン契約の作成とデバッグを行う高水準プログラミング言語であるTree++に加えて、BitVMを完全に実装することだと述べた。BitVMは、2021年11月に行われたTaprootソフトフォークによって有効化された。
