前言
10 月 9 日,ZeroSync 项目负责人 Robin linus 发布了一份名为《BitVM: Compute Anything on Bitcoin》的白皮书,引起市场广泛关注。BitVM 是一种新的计算范式,允许在不改变比特币网络共识规则的情况下表达图灵完备的比特币合约,旨在将比特币提升到具备更多可编程性的水平。它可以执行任何可计算的函数,并在链下计算,链上进行验证。但与完整虚拟机如以太坊虚拟机或 Solana 虚拟机相比,还差得很远。BitVM 还只是一个白皮书。所以我们要明确 BitVM 实验和商业上成功的完整虚拟机是有很大区别的。正因此 BitVM 受到了比特币开发者和社区褒贬不一的评价。
市场观点:BitVM 的争议和潜力
比特币工具独立开发者 Super Testnet —也是 BitVM 白皮书的审阅人—认为 BitVM 是比特币脚本历史上最令人兴奋的发现之一。它为比特币提供了更多的可编程性,而无需进行硬分叉。这可以促使更多的创新,同时不会破坏比特币的稳定性和安全性。
BitVM 白皮书的审阅人 Sam Parker 认为 BitVM 的核心优势在于,它赋予比特币更多的可编程性,而无需进行升级或添加新的操作码。BitVM 允许将某些逻辑的运行时间分布在多个交易中,尽管可能需要很长时间和高成本,但理论上可以实现几乎任何计算,意味着 BitVM 可以为比特币带来更大的灵活性,而无需牵涉到比特币网络的根本变化。
BTC Inc 市场研究主管 Dylan LeClair 将 BitVM 与闪电网络进行了比较,认为 BitVM实际上是一种 2:2 多重签名方案,允许在比特币上构建应用,但验证和结算仍然发生在链上,这为无信任的比特币资金转移提供了潜力。
然而,不是所有人都对 BitVM 持乐观态度。Stacks 联合创始人 muneeb.btc 认为 BitVM 是一个有趣的研究实验,可以看作是一个 BitProver,但并不是一个完整的虚拟机,比特币 L1 并不直接进行验证,而验证是由比特币 L1 之外的第三方用户进行的。此外,在完整虚拟机中,任何数量的用户可以参与,而 BitVM 限制为两方需要事先认识,并需要进行大量离线工作和准备。他指出 BitVM 使用低级别的 NAND 电路来表示程序,相对低效,需要大量离线工作和准备。因此 BitVM 不应被宣传为「比特币可以验证任何计算」。
BioniqMarket 首席执行官 BobBodily 认为 BitVM 并不是一种万能的解决方案,它速度较慢、成本更高且复杂,但其核心优势是无需升级即可获得比特币的额外可编程性。BitVM 以「一次性使用智能合约」的方式运行,每次交互都需要新的比特币交易,而不像以太坊那样具有持久的智能合约地址,这是一个重要限制。
Blockstream 首席执行 Adam Back 说人们对 BitVM 反应「过于兴奋」,并将其与 Greg Maxwell 在 2016 年关于 ZKP 或有支付的一项研究类比,认为 BitVM 可能会遇到实用可扩展性限制。
Ledger 工程师 Salvatore Ingala 则认为 BitVM 在当前阶段类似于一个通用的“状态通道”,有强大的潜力,但仍不足以实现双向锚定(任何一方参与欺诈证明不需要许可),这意味着它不完全是无需信任的模型。总体仍然看好 BitVM。
BTC Study 贡献者 Ajian 针对以太坊虚拟机和 BitVM 的对比发表自己的看法:以太坊的金融合约是由“计算”、“整体状态”和“富状态性”构成的三位一体。以太坊的“图灵完备”只涉及到了与第一个范式(计算)有关的领域,而不支持后面两者(整体状态和富状态性)不会产生一样的结果。不同的智能合约系统有自己的结构特征,决定了合约的基本特性。因此比特币不应被期望能够实现与以太坊相同的功能。图灵完备不等于无所不能,还有结构特征影响可编程性,如以太坊不适合编程点对点的合约。
BitVM 的发布引发了市场各方的激烈讨论,比特币最大信息站 Bitcoin Optech Newsletter 也用大篇幅介绍了 BitVM 并表明将持续关注。总的来看,市场对 BitVM 看好的观点如出一辙,认为它为比特币带来更多的可编程性和潜在的应用场景。而质疑的声音却各有不同,关注其中的技术挑战和局限性,强调比特币并不会变成以太坊等。在我看来,也许会和当初 Ordinals 的出现一样,在质疑声中不断摸索改进。反对的声音永远不是项目推进的阻碍,不适应发展趋势才是。