Stacks联合创始人:BitVM不仅仅是一个虚拟机,更可称为BitProver

Stacks联合创始人:BitVM不仅是一个虚拟机,它更是一个比特币证明机制(BitProver)可以称之为BitProver

BitVM:比特币的有限研究实验还是终极虚拟机?

嗨,数字资产投资者们!今天我们要聊一聊BitVM,这是一个有趣的研究实验,或者说是某种有限证明者。不过别被“虚拟机”这个名字给迷惑了,BitVM其实并没有在比特币L1上进行任何验证哦。它用比特币L1作为数据平面,两位玩家可以通过离线和在线的方式来交换数据,就像在一个游戏中一样。

这个游戏里,有一个角色是证明者,另一个是验证者。证明者试图证明某些计算,而验证者则要检验他的证明。不过和以太坊或Solana上的完整虚拟机不同的是: (a) 在完整的虚拟机中,以太坊L1或Solana L1负责验证计算。但是在BitVM中,比特币L1之外的第三方用户来验证,因为嘛,比特币L1只负责存储数据嘛。 (b) 在完整的虚拟机中,任意数量的用户可以参与。不过BitVM啊,只有两个玩家能参与,还得事先认识才行,并且要做大量的离线和准备工作。 (c) BitVM使用低级NAND电路来表示程序,而不是高级语言。这就有点低效和不切实际啦。两位玩家要执行基本操作,甚至需要大量的离线通信和数据。

所以嘛,我对在比特币L1上进行实验表示支持。BitVM作为一个利用现有比特币操作码进行研发的尝试,真的是令人兴奋啊。但是我觉得应该叫它”BitProver”才对,因为在BitVM中,比特币L1并没有进行任何验证。比特币L1的操作码可不足以进行任何复杂的验证呢。它更像是两个人使用比特币L1来玩游戏的玩具。虽然这个玩具可能会发展出一些意想不到的重要用例,毕竟有时候伟大的技术都是从简单的玩具开始的。但是,我可不会宣传说“比特币可以验证任何计算”,因为BitVM甚至不能和EVM或Solana VM这样的虚拟机相比,毕竟比特币L1在这里并不是验证者。

所以大家应该把BitVM当做带有额外步骤的DLC(而不是虚拟机)来看待。

而一个实用的比特币Rollup或L2啊,将会拥有一个完整的虚拟机哦。有全局状态(不需要离线通信),可以使用高级语言发布复杂智能合约,并且允许任意数量的用户轻松与这些合约互动。这些东西如今已经是基本要求了,毕竟开发者们已经熟悉了以太坊和Solana等系统的啊。而相比于这些系统,BitVM还有很长的路要走呢。有人问BitVM和Stacks相比如何,Stacks L2上的Clarity VM和EVM在功能上是可比的,而BitVM可不行。

作为比特币生态系统中的开发者,我们在营销方面要小心哦。大多数用户可不是技术人员,不然就会得出错误的结论了。举个例子吧,像在Taproot的情况下,我们看到了类似于”比特币L1 DeFi终于来了”这样的营销信息,但实际上,我们离一个完整的虚拟机还差得远呢。

所以我们要避免在BitVM上犯类似的错误哦。它不是一个虚拟机,也不会在比特币L1上启用智能合约。它只是一个可能带来我们尚未考虑的比特币L1新用例的研发证明工具。就像玩游戏一样。

所以,让我们清楚地区分有限的实验和像EVM这样商业上成功的完整虚拟机。

但这并不意味着我们不应该对在比特币L1上的更多实验感到兴奋。我个人非常有兴趣追踪BitVM的努力,并期待它的发展。因为嘛,没有实验,就没有新的突破和进步嘛!

那么,你对比特币L1上的实验有什么看法呢?对BitVM有什么期待?快来分享你的想法吧!🚀🌕

(原文链接和图片请参考原文)