BITVM：比特币智能合约新时代

一位比特币开发商提出了一个创新的方法，将更具表现力的脱链智能合约引入比特币网络。目前比特币的价格为27,600美元，这个新方法不需要任何软分叉。

适合国内用的虚拟币交易所

• 欧易OKX >>>进入官网<<< >>>官方下载<<<
• 币安Binance >>>进入官网<<< >>>官方下载<<<

在10月9日发布的白皮书中，题为《BITVM：在比特币上计算任何东西》，由ZeroSync的首席开发者罗宾·林纳斯（Robin Linus）撰写，BITVM在不改变比特币共识规则的情况下，使得复杂的比特币合约成为可能。

图灵完备系统是指理论上能够解决任何计算问题的系统。在比特币网络中，比特币合约的“逻辑”将在外部执行，但会在比特币上进行验证——这有点像泰卢姆乐观的角色。

BITVM的架构基于欺诈证明和一种挑战-反应模式。在这种模式下，“证明者”可以提出要求，而“验证者”可以在证明者提出错误要求时采取防欺诈措施，以惩罚证明者。

林纳斯解释说，比特币目前的形式仅限于基本操作，如签名、时间锁和桥接——但现在可以利用比特币来扩展。他说，比特币可以计算许多有趣的应用程序。

“潜在的应用包括棋类、围棋或扑克等游戏，特别是比特币合约有效性证明的验证。”

“此外，将BTC与外国连锁店连接起来，建立一个预测市场，或者模仿新的操作码，这些都是可能的，”林纳斯说。

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

林纳斯说，下一个“里程碑”是除了树++-a之外，完全实现比特VM。他希望能够使用高级编程语言编写比特币合约并进行调试。

比特VM是由2021年11月的Taproot软分叉形成的。

林纳斯引用了以太坊对乐观滚动的研究和对梅克尔树的研究，为八页的白皮书做出了贡献。

著名的比特币人士埃里克·沃尔（Eric Wall）在推特上发布消息说，比特VM白皮书中概述的概念“值得注意”，并且“谨慎地兴奋”去看从哪些实际实验中得到了什么。

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

“对于那些兴奋过度的人来说，这是一个很酷但有效的两党游戏的概括——它抽象地说——所以有点像格雷格·麦克斯韦2016年ZKP或有支付实现的例子。”

—亚当·巴克，2023年10月9日

一位在建筑链空间的建筑师，“Dutta”，已经有一个关于比特VM的概念证明。

另一位X用户山姆·帕克（Sam Parker）试图通过解释比特币不会强迫比特币的合约“锁定”来澄清这一点。

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

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