近日，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 的架构、输入输出、限制和展望等方面的内容。

相关阅读：《要在比特币上计算任何内容，资深开发者们怎么看 BitVM？》

BitCoin 社区技术编辑 Shinobi 也在社区平台上发表了自己对 BitVM 相关技术构想的观点并指出，目前在 BitVM 上构建事物的效率水平相当糟糕，但这是比特币历史上的一个重要时刻。BlockBeats 现将原文编译如下：

近期，一个相对较新的全自动化公共领域人物横空出世，他提出了一个疯狂的想法，而令人惊讶的是，我们甚至无需对比特币进行任何更改或硬分叉，就可以立即实现这个构想。

尽管我认为关于这个想法的诸多炒作情绪已经变得非常夸张，与现实脱节，但我依然坚信这是比特币历史上的一个重要时刻。在 BitVM 上构建事物所达到的效率水平，无论是在所需的 taproot 树的大小还是预签名交易的数量方面，都相当糟糕。至少对我来说，这是一个非常明显的问题：究竟有哪些实际用例能够接受这种低效率，以换取它所提供的保证。然而，这种架构所能实现的功能确实是非常巨大的。

目前提出了两个具体的想法，尽管在 Taproot 树中的预签名交易和脚本的大量离链成本方面存在一定问题，但实际上，为了获得 BitVM 所能提供的信任保证类型，支付这些数据成本可能是有意义的。

首先，引入一种创新的双向锚定机制，即「Sentry Peg」。这种机制允许建立一个由联邦管理的侧链，联邦将债券存入一个执行侧链逻辑的 BitVM 合约中。在处理每笔提款时，联邦必须向 BitVM 提供证明，以确认这是一笔合法的提款。若未能提供证明，一组充当瞭望塔功能的验证器便可在 BitVM 中没收联邦的债券。

这种机制带来了一个有趣的可能性：在侧链上保管资金的实体必须向外部方证实其行为的合法性，否则资金将被没收。与传统的可惩罚债券方案相比，这里的新动态在于，决定何时实施惩罚的逻辑可以更为复杂，而且实际执行是通过验证过程，而非依赖于巧妙的密码学技巧或额外的信任层。

接下来介绍 UTXOracle。虽然这是一种非常出色的方式，可让您通过自己的节点无需信任地计算比特币对美元价格的计价，但实际上并没有办法将这些数据「输入」到比特币脚本中，以便在智能合约中无需信任地使用。而 BitVM 为实现这一目标提供了一种方法。

通过构建一个逻辑门电路，对比特币区块（仅限工作证明）进行 SPV 验证，实际的完整区块可以被输入到 BitVM 中。然后，通过足够长的字符串，您可以在 BitVM 内部实际运用 UTXOracle 逻辑，将合约的结果与从区块链上无需信任地获取的价格数据绑定在一起。

对于高价值合约或侧链，为了提供这种保证，支付数百兆字节甚至一两千兆字节的离链数据可能是值得的。总之，尽管 BitVM 不会在短时间内使比特币变得与以太坊相媲美，且其发展可能会相当缓慢且具有实验性质，但它确实为如何利用比特币开启了一个全新的范式。

原文链接