链下智能合约：比特币新突破！

比特币新突破：开发者提出链下智能合约方案 BITVM

一位比特币开发者提出了一个新颖的方案，旨在将更具表现力的链下智能合约引入比特币网络，无需进行软分叉。

这份名为《BITVM：在比特币上计算任何东西》的白皮书由 Robin Linus 撰写，于10月9日发布。BITVM 的核心思想是在不改变比特币共识规则的前提下，实现图灵完备的比特币合约。

图灵完备系统是一种理论上的计算模型，原则上可以解决任何计算问题。

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

BITVM 的架构基于欺诈证明机制，采用一种挑战-响应模式。在这种模式下，“证明者”提出声明，“验证者”可以在声明错误时启动欺诈保护措施，从而惩罚证明者。

Linus 解释说，目前比特币的功能仅限于签名、时间锁和哈希锁等基本操作。但通过 BITVM，比特币的功能可以得到扩展，从而实现许多有趣的应用。

“潜在的应用包括游戏（如国际象棋、围棋或扑克），特别是验证比特币合约有效性的证明，”Linus 说道。

“此外，连接 BTC 与其他链，建立预测市场，或者模拟新的操作码都是有可能的，”Linus 补充道。

Linus 指出，该模型的一个局限性在于，它仅限于具有证明者和验证者的双边设置，并且执行过程需要大量的链下计算和通信。

Linus 表示，下一个“里程碑”是除了 Tree++ 之外，完全实现 BITVM。Tree++ 是一种高级编程语言，用于编写和调试比特币合约。

BITVM 的灵感来源于 Taproot 软分叉，该分叉于 2021 年 11 月发生。

Linus 在这份八页的白皮书中引用了以太坊对乐观 Rollup 的研究以及对 Merkle 树的研究。

社区反响

比特币爱好者 Eric Wall 在社交平台上发文表示，BITVM 白皮书中概述的概念“值得关注”，并“谨慎地兴奋”地想看看从哪些实际实验中得到了什么。

比特币分析师 Dylan LeClair 也对比特币的白皮书印象深刻。但一位比特币核心贡献者 Adam Back 建议人们不要对这一发展过于激动。

一位名为“Dutta”的建筑师表示，已经有一个关于 GitHub 的概念证明。

另一位 X 用户 Sam Parker 试图通过解释比特币不会强制比特币的合约“锁定”。

“最后，这是选择加入。如果你不相信你的硬币被锁定在一些图灵完整的合约（完全合理），那么不要锁定他们图灵完整的智能合同。UTXO 系统的优点之一是安全沙场。”

其他人，比如说“PSCY”说，BITVM 将在下一次牛市中推动比特币价格上涨的因素增加。