作者：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的尽力，并看到它如何开展！
此时快讯
【葡萄牙马德拉自治区主席宣布在该地区推出比特币商业中心】10月13日消息，阿姆斯特丹比特币大会的第二天，葡萄牙马德拉自治区主席Miguel Albuquerque宣布在该地区创建一个比特币商业中心，以促进创新。这一中心旨在发展技术和比特币，并欢迎所有希望合作的人员参与。
去年，马德拉已公开支持比特币，并宣布比特币投资者在该地区不需要支付个人所得税。
