Robin Linus (ZeroSync プロジェクト リーダー) は最近、「BitVM: Performing Any Computation on Bitcoin」というタイトルのホワイト ペーパーを発表し、BitVM がビットコインのコンセンサス ルールを変更することなくチューリング完全なビットコイン コントラクトを実装できることを提案しました。 BitVM はほぼすべての計算を実行でき、その計算を利用してオンチェーンのビットコイン トランザクションを実行できます。

BitVM の仕組みは、イーサリアムのオプティミスティック ロールアップと同様に、ビットコイン コントラクトの「ロジック」がオフチェーンで実行され、検証がビットコイン ブロックチェーン上で行われるというものです。このアーキテクチャは、不正証明およびチャレンジ応答モデルに基づいており、「証明者」が主張を行うことができ、「検証者」が不正証明を実行して、虚偽の主張を行った証明者を罰することができます。

この新しい提案は、Arcane Assetsの共同創設者であるEric Wall、ビットコインアナリストのDylan LeClair、Blockstreamの共同創設者でハッシュキャッシュの発明者であるAdam Backなど、ビットコインコミュニティの多くの著名人の注目を集めています。