关于BitVM你需要知道的一切

作者：Bob Bodily；Bioniq Market CEO；翻译：金色财经cryptonaitive

BitVM是由ZeroSync的Robin Linus设计的一种新的optimistic rollup + fraud proof + Taproot Leaf + Bitcoin Script计算范式。10月9日天早上他们发布了一篇优秀的白皮书，经过了Super Testnet和Sam Parker的同行评议（该文章目前已有 150 万次浏览）。

太长不读版：

1、BitVM不是解决问题的灵丹妙药

2、BitVM不如EVM好，BitVM更慢、更昂贵、更复杂

3、BitVM的核心好处是我们立即在比特币上获得了额外的可编程性，无需升级。不需要新的操作码。不需要软分叉。现在就可以使用。

4、简单的潜在用例包括去中心化应用程序的各个部分，这些应用程序目前依赖于中心化服务（DLC 的预言机、拥塞控制/coinjoin 聚合器、侧链额定人数）

5、BitVM并未解决侧链的无需信任桥接问题（可能需要契约—Covenant）

6、是的，BitVM 绝对比 Greg Maxwell 2016 年的 ZKP 有条件支付示例更好

7、BitVM非常复杂，难以理解和实现。使用一个操作码升级比特币可能会达到相同的效果。

技术深挖

现在让我们深入了解技术方面的事情。在我的讨论中，我在很大程度上引用了其他人的话，因为这是保持对他们说的话忠实的最安全的方式，避免错误引述。

BitVM 的目的是“任何可计算函数都可以比特币上进行验证。” ——BitVM 白皮书

这意味着“比特币现在与任何其他链一样都是图灵完备的，而这不需要对比特币进行任何更改。” ——Sam Parker

有一些限制（我们将稍后讨论），但基本上这意味着只要你：

（1）有足够的资金支付链下计算/证明，

（2）有足够的带宽接收和发送必要的数据（可能是数百兆字节），以及

（3）可以执行所需数量的比特币交易，

那么你可以计算任何你想要的。

“BitVM唯一做的就是允许我们将某些逻辑的runtime从单个交易的范围拆分到多个交易中。仅此而已。” ——Sam Parker

所以可能需要很长时间。它可能非常昂贵。可能需要数百次交易。但你可以做任何你想做的事情。 

Sam 本人重申：“因此，从技术上讲，比特币并没有变得比以前更具图灵完备性，我们只是可以合理地说，它对于我们现实中可能想要执行的任何程序来说都足够‘图灵完备’了。”

其中一个关键好处是不需要升级。你现在就可以做到所有这一切。

而且如果你不想使用它，你也可以选择不使用：“这是可选的。如果你不信任将比特币锁定到某个图灵完备的智能合约（完全合理），那就不要将它们锁定到图灵完备的智能合约。”——Sam Parker

由于你可能会受到一些计算上的限制，我认为BitVM 的最低结果可能是取代许多人目前使用的中心化“比特币边缘”服务。

例如，我们可以“摆脱目前需要的所有受信任或半受信任的托管服务。拥塞控制（Congestion control）/coinjoin 聚合器，侧链额定人数（Sidechain quorums），某些类型的 DLC 预言机，都可以从受信任/半受信任变成100%无需信任。比特币的无需信任性只能和你与其进行交互的环节中最薄弱的环节一样强大。” - Sam Parker

现在让我们看看Eric Wall对此的看法：

“我刚刚阅读了白皮书，所有的概念对我来说都是正确的。对于那些在建立阶段需要非常大的预签名交易的方案，我有一种自然的厌恶感。我不知道这类方案可能会出现哪些问题。开销和权限是两个重大问题。

目前，我持谨慎的兴奋态度，等待真实世界的实验会产生什么结果。也许有一些优雅、微妙的解决方案可以解决这个方案的两方面局限性问题，也许没有。也许开销对于特定类型的计算（如零知识证明）是可管理的。

如果 BitVM 在其中验证 zkwasm 层很好用，那就很有趣—BitVM 将履行我之前讨论过的 zkwasm 层的角色。” 

然后他继续说了可能是对BitVM最简洁的总结：

“BitVM只描述了一个验证者可以根据图灵完备计算的结果从证明者那里窃取保证金的方式，但并没有真正描述外部参与者的peg-in/outs的架构，也许这样说是正确的。”

是的，BitVM就是如此。

Adam Back 加入了更为批判性的评论（有很多观点）：“对于那些变得（过分）兴奋的人来说，这很酷，但实际上只是一个两方博弈的泛化——在摘要中明确提到——所以这有点像 Greg Maxwell 2016 年的 ZKP 有条件支付实现的例子。”

除了 Adam 没有注意到白皮书的一部分，实际上这个 BitVM 比 Greg Maxwell 2016 年的 ZKP 示例要好。引用Robin的话：“它在 ZKCP 中是绝对优越的 [相比 Greg Maxwell 2016 年的 ZKP 示例]，因为在 ZKCP 中，证明者必须事先知道解决方案。”