ZeroSync 专案负责人Robin Linus 于10 月9 日发布了一份突破性的白皮书，介绍了BitVM——一种旨在为比特币带来更具表现力的链下智能合约而无需进行软分叉的机制。这种创新方法基于以太坊的乐观汇总和梅克尔树技术的最新发展，旨在扩展比特币在智慧合约和去中心化应用程式（DApp）领域的功能。
BitVM：弥合比特币和智能合约之间的差距
正如题为「BitVM：在比特币上计算任何东西」的白皮书中所阐述的那样，BitVM 的架构是为了使图灵能够在不修改比特币共识规则的情况下完成比特币合约。图灵完备系统的特点是，只要有足够的时间和运算资源，它就能为任何运算问题提供解决方案。该机制允许比特币合约的「逻辑」在链外执行，同时在比特币上执行验证，类似于以太坊的乐观汇总。
BitVM 的架构从根本上来说是基于诈欺证明并采用挑战-回应模型。在这个模型中，「证明者」提出主张，「验证者」执行诈欺证明，以在提出虚假主张时对证明者进行惩罚。 Linus 强调，虽然比特币现有的形式仅限于签章、时间锁和哈希锁等基本操作，但该机制可以显著扩大这一范围，从而能够计算无数有趣的应用程式。
BitVM 的潜在应用与局限性
Linus 强调，BitVM 可以为许多应用程式铺平道路，包括国际象棋、围棋或扑克游戏平台，尤其是比特币合约有效性证明的验证。此外，它可能会促进 BTC 与外国链的桥接、预测市场的建立或新颖操作码的模拟。
然而，值得注意的是，该模型有其局限性。它仅限于涉及证明者和验证者的两方设置，需要大量的链下计算和通讯来执行程式。 Linus 也提到，下一个「里程碑」是除了 Tree++（一种旨在编写和调试比特币合约的高级程式语言）之外，全面实作 BitVM。该机制由 2021 年 11 月执行的 Taproot 软分叉启用。
比特币社群对 BitVM 的反应
BitVM 的推出引起了比特币社群的强烈回响。著名的比特币支持者 Eric Wall 表示，BitVM 白皮书中概述的概念“得到验证”，并表示他对见证可能源自于该白皮书的现实世界实验感到“谨慎兴奋”。比特币分析师 Dylan LeClair 也表达了对 BitVM 白皮书的赞赏。
相反，Bitcoin Core 的贡献者 Adam Back 建议社群暂时缓和对开发的兴奋。区块链领域的一位名为「dotta」的建构者强调，GitHub 上已经提供了概念验证。另一位用户 Sam Parker 试图缓解比特币最大化主义者的普遍担忧，他解释说 BitVM 不会强迫比特币「锁定」到这些合约中。他强调，“如果你不相信你的代币被锁定在某个图灵完备的合约上（完全合理），那么就不要将它们锁定在图灵完备的智能合约上。”
结论
BitVM 具有将类似以太坊的智慧合约引入比特币的潜力，证明了加密货币领域的持续发展和创新。虽然它开启了多种可能性，但该机制的实际实施和采用将是其成功增强比特币在智慧合约和去中心化应用领域功能的真正决定因素。随著 BitVM 从白皮书概念转变为现实世界的应用程序，比特币社群、开发人员和分析师都将密切关注接下来的发展
