昨夜，ZeroSync 项目负责人发布了一篇名为「「BitVM：在比特币上计算任何内容」（BitVM: Compute Anything on Bitcoin）」的白皮书引起了热议。
在这篇由 Super Testnet 和 Sam Parker 审核的白皮书中可以看出，BitVM 是 Robin Linus 在 Zero Sync 设计的一种新型计算范例，融合了 Optimistic Roll Up、Fraud Proof 欺诈证明、Taproot Leaf 和 Bitcoin Script。
BitVM 允许在不改变比特币网络共识规则的情况下表达图灵完备的比特币合约，可以执行任何可计算的函数，进行离线计算，而不会在链上留下任何痕迹。白皮书还介绍了 BitVM 的架构、输入输出、限制和展望等方面的内容。
白皮书发出后仅一小时就达到了 11 万浏览量，截至撰稿时的浏览量已经达到了 182 万，在英文社区的讨论异常热烈，占据了加密圈近段时间以来的最大热点之一。KOL @LeonidasNFT 认为这是一个令人期待的创新，于是将 BitVM 的论文刻在了比特币铭文上，用更 Native 的方式让其永远存在。
比特币开发者们怎么评？
今年的比特币生态格外热闹，Ordinals 市场衍生出了许多比特币的扩展叙事，比特币开发者们也热闹非凡。
目前专注于 Ordinals marketplace 和 launchpad 的 BioniqMarket 首席执行官 @BobBodily 一直在构建工具以帮助开发人员在比特币上进行构建。他在自己的社交媒体表示：「BitVM 并不是一劳永逸的解决方案。BitVM 并不像 EVM 那样好，它更慢更贵更复杂。BitVM 的核心优势是我们现在就可以在比特币上获得额外的可编程性，而无需升级。不需要新的 op_codes。无需软分叉。现在就可以使用。」
同时 BobBodily 还表示：「BitVM 容易实现的潜在用例包括去中心化目前依赖于中心化服务的各种应用程序的部分，包括 DLC 预言机、拥堵控制/coinjoin 聚合器和侧链法定数。此外，BitVM 没有解决侧链的无信任桥接问题，可能需要契约。BitVM 严格优于 Greg Maxwell 2016 年的 ZKP 有条件付款示例。BitVM 非常复杂，理解和实施都困难。通过一个 op_code 升级比特币可以实现同样的事情。」
比特币不需要进行任何改变
相关研究员 Sam Parker 认为 BitVM 提供的在不修改比特币协议的情况下实现更多编程能力的潜力，以及这种能力如何帮助去中心化和消除对信任第三方的需求。同时，他也提到这是一种可选的功能，比特币社区和用户可以选择是否和如何使用这种功能。
在长推内容里 Sam Parker 写到：「再强调一遍，如今比特币就像其他任何链一样具备图灵完备性，而这不需要对比特币进行任何改变。目前一些比特币最大主义者在「指点江山」时的一部分经典观点的是：图灵完备=坏，我觉得这显得很愚蠢。首先，由于图灵完备的技术定义实际上要求一个无限的运行时间，在我们的现实中永远不会有任何事物真正达到图灵完备，因为我们没有无限的空间和时间来容纳这一点。」
针对 BitVM 白皮书内容，Sam Parker 说道：「在这个过程中，一个小团体的脚本黑客，例如 @robin_linus 和 @super_testnet，已经找出如何将我们想要的来自通用计算机的所有功能都编入比特币极其有限的操作代码集的方法，因此，阻止比特币的虚拟机（VM）像以太坊那样具备图灵完备性的唯一事情不是表达能力的问题，而仅仅是运行时间的问题，其中最严格的限制是栈大小的限制。
BitVM 所做的全部就是允许我们将某些逻辑的运行时间，该逻辑超出了单个交易的范围，分散在多个交易中。就这样。我们没有添加任何新的语义特征，我们只是指数级地增加了我们可以运行的程序的长度。因此根据技术定义，比特币实际上并没有比以前更具图灵完备性，它只是在我们可以合理地说其「对于我们实际想要执行的任何程序都足够图灵完备」的程序中被赋予了一个运行时间。
这是自愿的，如果你不信任你的币被锁定到某个图灵完备的合约中（完全合理），那么就不要把它们锁定到一个图灵完备的智能合约中。UTXO 系统的一个优点是安全沙盒化。如果人们确实强烈认为比特币不应该拥有这个功能，也许是由于激励或其他什么问题，那么这应该是一个值得讨论的问题，但基本上这将需要摆脱 Taproot，而这在这个时候看起来非常愚蠢。」Sam Parker 这么写道。
「BitVM 让我有谨慎的兴奋感」
作为另一种比特币扩展协议 Drivechains 的极大支持者，Simp DAO 创始人兼加密资深研究员 Eric Wall 被社区成员邀请表达对 BitVM 的看法，Eric Wall 表示 ：「我刚读完这篇白皮书，所有的概念对我来说都是合适的。我天生对那些在设置阶段需要进行非常大量的预签名交易交换的方案不太感兴趣——我不知道这样的方案可能产生哪些问题。额外资源消耗（overhead）和权限（permission）两个大问题。」
现在他对 BitVM 保持着谨慎的兴奋感，等待实际实验会带来什么。也许这个方案的两方限制有优雅、微不足道的解决方案，也许没有。也许对于特定类型的计算，比如 zk 证明，开销是可管理的。如果 BitVM 在其中运作良好以验证 zk 证明，那就有趣了——BitVM 将会充当他之前讨论过的 zkwasm 层的角色。
「作为一个旁注，我对当人们意识到攻击模型与驱动链（Drivechains）相当类似时会发生什么感到好奇。矿工可以通过与证明者合谋并审查挑战来盗取 BitVM 的全部余额，这种情况可能持续的时间比在驱动链中更短。」Eric Wall 这么写道。
通过允许在比特币网络上表达图灵完备的合约而不留下链上痕迹，BitVM 提供了一种全新的方法来探索复杂的区块链计算，同时维持比特币网络的原则和安全性。这也让比特币得以在不需直接修改其核心协议的情况下，拥抱更广阔的使用案例和创新可能性。
不可忽视的是，BitVM 引发了许多关于比特币的设计和进化的深入讨论，未来它会以怎样的方式在比特币网络中得以实现和发挥作用，将是一个极其吸引人的科技探索之旅。这也会引发一个关键性的问题：我们是否准备好，将比特币从一个主要用于储值和交易的数字货币，扩展为一个可以进行更广泛、更复杂计算的全球性平台？由此也推动着我们更深入地思考我们想要的比特币的未来形态，比特币是否应该添加更多的「原生」可编程性或者应该继续保持简单、安全和不可变性？
参考内容
1. BitVM 白皮书
