Stacks联合创始人：BitVM不是虚拟机 可称为BitProver

作者：Muneeb.btc，比特币L2方案Stacks联合创始人；翻译：金色财经cryptonaitive

BitVM是一项有趣的研究实验（或有限的证明者），但它不是虚拟机（VM），比特币L1在这里并没有进行任何验证。BitVM使用比特币L1作为数据平面，然后两方可以交换离线和在线（比特币L1）数据来相互进行游戏。

在这两方相互进行的游戏中，一方是证明者，另一方是验证者；证明者试图证明某些计算。

BitVM与在以太坊或Solana上的完整VM非常不同：

(a) 在完整的VM中，以太坊L1或Solana L1验证计算。在BitVM，比特币L1之外的第三方用户在验证（比特币L1只存储数据）。

(b) 在完整的VM中，任意数量的用户可以参与。BitVM仅限于两方需要事先认识并进行大量离线和准备工作。

(c) BitVM使用低级NAND电路来表示程序，而不是高级语言，这是非常低效和不切实际的。在两方之间执行基本操作甚至需要大量离线通信和大量数据。

我对在比特币L1上进行实验表示支持，认为BitVM作为一个利用现有比特币操作码进行研发的尝试是令人兴奋的。我不会称其为"BitVM"，而更应该称之为"BitProver"。我还要澄清的是，在BitVM，比特币L1并没有进行任何验证。比特币L1没有操作码来进行任何复杂的验证。这更像是两个人使用比特币L1进行游戏的玩具。它可能会发展出解决一些意想不到的重要用例（一些伟大的技术始于简单的玩具）。然而，我不会将其宣传为"比特币可以验证任何计算"；它甚至不能与像EVM或Solana VM这样的VM相比，而比特币L1在这里并不是验证者。

人们应该将BitVM视为具有额外步骤的DLC（而不是VM）。一个实用的比特币Rollup或L2将具有一个完整的VM，全局状态（无离线通信），用于发布复杂智能合约的高级语言，并允许任意数量的用户轻松与这些合约进行交互。这些东西在今天已经是基本要求，考虑到开发者已经熟悉的以太坊和Solana等系统。与这些相比，BitVM离这些要求还有很大差距。有人问BitVM与Stacks相比如何，Stacks L2上的Clarity VM与EVM在功能上是可比的（BitVM不是）。

作为比特币生态系统中的开发者，我们在营销方面需要小心。大多数用户不是技术人员，可能会得出错误的结论。在Taproot的情况下，我们看到了类似于"比特币L1 DeFi终于来了"这样的营销信息，而实际上Taproot离一个完整的VM还差得远。

我们应该避免在BitVM上犯类似的错误；它不是一个VM，也不会在比特币L1上启用智能合约。它是一个可能导致我们尚未考虑的比特币L1新用例的研发证明工具。让我们清楚地区分有限的实验与像EVM这样的商业上成功的完整VM。

话虽如此，看到比特币L1上的更多实验是很棒的。我很感兴趣追踪BitVM的努力，并看到它如何发展！