BitVM：比特币可编程性的曙光

比特币的核心变革常常面临抵制，原因包括：a) 人们更倾向于将比特币视为价值储存而不是货币；b) 对稳定性和可预测性的重视，而不是快速创新；c) 在多元化的社区内达成共识非常困难。

尽管许多项目声称可以解决比特币的可扩展性问题，而无需对比特币链本身进行更改，但最近我们见证了比特币“L2”解决方案的迅速增长。

虽然许多项目可能只是误导性的营销，但我们也认识到了一种新的计算范式，这种范式可以为比特币带来可编程性——BitVM。

BitVM能够支持的最佳扩展解决方案接近于OP-Rollup类型的安全假设（尽管有一些额外的注意事项）。

BitVM及类似倡议的成功取决于技术的可行性、社区的支持，以及与其他“过度营销”项目的区分。

比特币被构建为一个交易区块链，其脚本语言有意限制为无状态（Stateless），以最小化攻击面并确保网络安全。由于缺乏图灵完备性，没有可能直接在区块链上引入智能合约，除非通过分叉并升级比特币核心。

传统的比特币社区对变更持抵制态度，原因在于：

1. 叙事上更注重价值储存而非流通货币：比特币社区有意专注于维护网络作为一个点对点支付系统，将安全性和去中心化放在快速发展之上。

2. 系统的稳定性胜于创新：对于被视为优秀价值储存的资产来说，可预测性至关重要。

3. 多元化的社区：许多比特币持有者从不同的角度理解比特币，并因不同的原因珍视它。

鉴于上述情况，为何突然之间出现了大量新的比特币“L2”解决方案呢？

最近，我们观察到比特币“L2”解决方案的激增，然而，社区多年来一直在探索不同的可扩展性方法。

相较于现有解决方案，最近的扩容方法带来了哪些新颖之处？在我们看来，最令人兴奋的创新来自于在比特币上编码程序（通过BitVM）和无需信任地质押BTC（例如Babylon）。本文将主要关注前者。

BitVM - 概览

要解释什么是BitVM，我们首先应该介绍赋能并激发了它的Primitive——比特币Taproot升级。

Taproot是对比特币协议的一次重大升级，于2021年11月激活。通过Taproot，脚本的哈希默认需要在链上提交。当执行脚本的某个路径时，只需将该路径上的脚本提交到链上。

BitVM是一种计算范式，它利用Taproot升级在不改变网络共识规则的情况下，促进在比特币上实现图灵完备合约。它允许对计算进行验证（而不是执行），类似于乐观卷积。

通过将程序提交到Taproot地址，同时通过启用复杂的链下计算来最小化链上足迹，BitVM实现了图灵完备的比特币合约。

在比特币上构建二进制电路

二进制电路的构建是一种用二进制逻辑门表示计算或程序的方法，能够执行任何可计算的函数。

BitVM的前提是使用比特币脚本来对链下计算做出承诺，并启用执行验证，但脚本本身不执行整个计算逻辑。

挑战-响应机制

验证通常在链下进行，但在发生争议时，过程转移到链上，并启动一轮挑战-响应。这种机制确保了在大多数情况下，计算和验证可以高效且低成本地进行，而只有在出现分歧时才需要利用区块链的不可篡改性和透明度进行最终裁决。

使用BitVM构建一个最小信任桥

BitVM的第一个实际实现很可能是代表最小信任比特币桥的程序。通过分析桥的实现细节，我们可以更好地理解实现BitVM程序的额外复杂性。

BitVM v2：BitVM能支持无需许可的验证吗？

BitVM v2提案的关键变化是，证明者需要一次性提交输出状态和所有中间结果，而不是像v1那样，在挑战-验证过程中逐个打开逻辑门。有了这个改变，BitVM确保对这些承诺的任何挑战都将在链下进行，并在争议解决后以更低的成本得到解决。

结论

BitVM代表了比特币未来的希望之一，它将带来一种新的、安全的、可扩展的计算模型。然而，其成功将取决于技术的可行性，社区的支持以及与“过度营销”的其他项目进行区分。