比特币开发商提出了一种新方法，为比特币带来更具表现力的链下智能合约无需软分叉。ZeroSync 项目负责人 Robin Linus 在 10 月 9 日题为“BitVM：在比特币上计算任何东西”的白皮书中， BitVM 可以在不改变比特币共识规则的情况下实现图灵完备的比特币合约。
图灵完备系统理论上可以为任何计算问题提供答案。使用 BitVM，比特币合约的逻辑将在链外执行，但验证将在比特币上进行——类似于以太坊的optimistic rollups。
BitVM 的架构基于欺诈证明和挑战响应模型，其中“证明者”可以提出主张，验证者可以执行欺诈证明，以在提出虚假主张时惩罚证明者。比特币目前的形式仅限于基本操作，例如签名、时间锁和哈希锁，但现在可以通过 BitVM 进行扩展，Linus 表示 BitVM 可以计算许多有趣的应用程序。
潜在的应用包括国际象棋、围棋或扑克等游戏，特别是比特币合约中有效性证明的验证。此外，还可以将 BTC 与外国链连接起来，建立一个预测市场，或者模拟新颖的操作码。
Linus 表示，该模型的局限性在于，它仅限于具有证明者和验证者的两方设置，并且需要大量的链下计算和通信来执行程序。下一个里程碑是除了 Tree++（一种用于编写和调试比特币合约的高级编程语言）之外，全面实现 BitVM 。
BitVM由2021 年 11 月发生的Taproot 软分叉启用。Linus 在撰写这份长达八页的白皮书时引用了以太坊对乐观汇总的研究以及对 Merkle 树的研究。
比特币支持者对 BitVM 的回应
著名比特币专家埃里克·沃尔 (Eric Wall) 在 X (Twitter) 上发帖称，BitVM 白皮书中概述的概念“经过检验”，并且“谨慎地兴奋”地想看看它在现实世界中的实验结果。
比特币分析师 Dylan LeClair 也对 BitVM 的白皮书印象深刻。但比特币核心贡献者 Adam Back表示，人们还不应该对这一发展过于兴奋。
区块链领域的一位构建者“dotta”指出，GitHub 上已经有一个概念验证。另一位 X 用户 Sam Parker 试图通过解释BitVM 不会强迫比特币“锁定”到这些合约中来解决比特币最大化主义者中普遍存在的恐惧。
最后，这是选择加入。如果您不相信您的代币被锁定到某个图灵完备的合约（完全合理），那么就不要将它们锁定到图灵完备的智能合约。UTXO 系统的优点之一是安全沙箱。
其他人，例如psage，则表示 BitVM 增加了将在下一个牛市中推动比特币价格上涨的因素。
