比特币迎来新突破：链下智能合约或将成为现实

一位比特币开发者提出了一个新颖的方案，旨在将更具表现力的链下智能合约引入比特币网络。这是否意味着比特币将迎来一次重大升级？

10月9日，一份名为《BITVM：在比特币上计算任何东西》的白皮书正式发布。该白皮书由 Chaincode Labs 的研究员罗宾·利纳斯撰写，提出了 BITVM 的概念。BITVM 的独特之处在于，它无需改变比特币的共识规则，即可实现图灵完备的比特币合约。

图灵完备系统是一种理论上能够解决任何计算问题的系统。这意味着，借助 BITVM，比特币将能够处理更为复杂的智能合约，而不仅仅局限于当前的基本操作。

在 BITVM 系统中，比特币合约的“逻辑”将在链外执行，但结果会在链上进行验证——这与以太坊的乐观 Rollup 有些类似。

BITVM 的架构基于欺诈证明和一种挑战-响应模式。在这种模式下，“证明者”可以提出声明，而“验证者”可以在证明者提出错误声明时启动防欺诈措施，从而对其进行惩罚。

利纳斯解释说，比特币目前的功能仅限于签名、时间锁和桥等基本操作。但有了 BITVM，比特币的功能可以得到极大的扩展，从而实现许多有趣的应用。

“潜在的应用包括象棋、围棋或扑克等游戏，特别是验证比特币合约有效性的证明，”利纳斯表示。“此外，将 BTC 与其他链连接起来、建立预测市场或模拟新的操作码，都是有可能的。”

利纳斯也指出，该模型的一个局限性在于，它仅限于具有证明者和验证者的双方设置，并且执行程序需要大量的链外计算和通信。

利纳斯表示，下一个“里程碑”是完全实现 BITVM，并开发出一种高级编程语言，用于编写和调试比特币合约。

BITVM 的实现依赖于 Taproot 软分叉，该分叉于 2021 年 11 月激活。

利纳斯在撰写这份八页的白皮书时，参考了以太坊对乐观 Rollup 的研究以及对默克尔树的研究。

社区反响

BITVM 白皮书发布后，立即引起了社区的广泛关注。

知名比特币人士埃里克·沃尔在社交媒体上表示，BITVM 白皮书中概述的概念“引人注目”，并“谨慎地兴奋”地想看看哪些实际实验会从中涌现出来。

比特币分析师迪伦·莱克莱也对比特币的白皮书印象深刻。但比特币核心贡献者亚当·巴克建议人们不要对这一发展过于激动。

一位名为“杜塔”的建筑师在建筑链空间中指出，已经有一个关于 GitHub 的概念证明。

另一位社交媒体用户山姆·帕克试图澄清，BITVM 不会强制比特币的合约“锁定”。

“最终，这是选择加入。如果你不相信你的币会被锁定在一些图灵完备的合约中（完全合理），那么就不要锁定它们。UTXO 系统的优点之一是安全沙箱。”

还有人表示，BITVM 将成为下一次牛市中推动比特币价格上涨的因素之一。