比特币BitVM是什么？为什么BitVM如此重要？谁创建了BitVM？

比特币是加密货币的鼻祖，也是最成功的一个，这一点毋庸置疑。它在点对点支付上确实掀起了一场革命，但说到扩展性，以及运行那些复杂又全能的智能合约，能力就捉襟见肘了。这个问题在区块链社区里早就被反复讨论，而且随着比特币用户越来越多，解决扩展问题的紧迫感也越来越强。

其实，早在比特币刚诞生那会儿，早期的开发者就琢磨过：要不要搞一个既能处理智能合约、又能支撑去中心化应用的区块链？但比特币最初的定位很明确——做一个安全、独立、不依赖第三方的价值存储和跨境支付工具。区块链作为底层技术，潜力远不止于支付系统——这一点，直到以太坊带着图灵完备的编程能力登场，才真正被世人看清。

2023 年底，Robin Linus 发布的一篇白皮书，让比特币社区看到了新的曙光。他提出了一种叫 BitVM 的计算模式，能把智能合约和图灵完备性引入比特币。这意味着以后可以在比特币上跑各种程序——从简单的游戏到复杂的合约，都有可能。这项技术带来的可能性很大，具体怎么运作、有哪些关键点需要注意？下面就来拆解一下。

比特币 BitVM 完整指南

比特币的突破性进展并不多见，但每次出现，一开始往往都挺复杂，不太好理解。BitVM 也不例外。

2023 年 10 月出现的新进展，让比特币能够在不修改任何网络规则的前提下，验证复杂的计算任务。更具体地说，BitVM 利用了比特币脚本语言中已有的组件，让比特币变得“图灵完备”。

一旦实现了图灵完备，比特币区块链就能用来扩展自身功能，远远超出最初白皮书里“点对点电子现金系统”的设想。

比特币和图灵完备性的简介

“图灵完备”听起来像是从什么高深手册里蹦出来的词，但说白了，就是描述一种编程语言能计算任意函数、解决任何问题。这个术语是 20 世纪 30 年代美国数学家阿隆佐·丘奇（Alonzo Church）提出来的，用来致敬他的学生——著名的英国计算机科学家艾伦·图灵（Alan Turing）。

在 BitVM 出现之前，比特币的脚本语言并不是图灵完备的。尽管多方努力尝试，始终没人能让比特币具备现代计算机的全部功能。不过话说回来，很多人反而觉得比特币的简洁性是一种优点，而不是缺陷。

比特币局限性的重要性

比特币的匿名创造者中本聪（Satoshi Nakamoto），在协议发布一年后特意限制了它的编程功能。为什么这么干？归根结底还是为了安全——系统越简单，出错的概率就越低。

举个例子：把一辆顶配豪华轿车和一辆普通自行车放在一起。豪华轿车确实提供了自行车没有的功能，但技术故障的可能性也大得多。而自行车活动部件少，潜在故障自然就少——你不会在自行车上遇到仪表盘指示灯故障、空气悬架故障或者自动变道故障，因为根本没有这些部件。

在这个比喻里，比特币就像那辆自行车。它的简洁性减少了恶意攻击者破坏网络的方式。比如分布式拒绝服务（DDoS）攻击对比特币网络就没什么影响，但对于功能更复杂的项目来说，这可是个大的麻烦。

什么是 BitVM？

Robin Linus 最新发布的白皮书介绍了一个叫 BitVM 的比特币虚拟机。这是一个计算平台，目标是通过引入图灵完备的智能合约来扩展比特币的功能，让比特币获得和以太坊虚拟机（EVM）类似的能力，同时又不会影响现有的网络共识规则。

BitVM 并不是第一个想拓宽比特币应用范围的项目。比特币最初的设计目标只是完成资产交易这类简单操作，之前有不少尝试想在它上面增加更多功能，比如闪电网络和 Liquid 网络这样的二层方案。但 BitVM 脱颖而出，是因为它在扩展比特币网络方面展现了更大的潜力。

关键点在于：BitVM 不需要修改比特币现有的共识规则。它通过时间锁、哈希锁和复杂的主根树系统等技术，搭建了一个能执行复杂合约和运算的平台。这样一来，BitVM 不仅能处理各种计算问题，还能把比特币网络的能力提升到与其他图灵完备系统同等的高度。

那什么叫“图灵完备智能合约”呢？简单说，就是一种系统能力——只要资源和时间足够，它能解决任意计算问题。图灵完备的智能合约可以处理任何计算请求的逻辑。这个概念在区块链社区里非常重要，因为它赋予了网络强大的力量和广泛的应用灵活性。

比特币的智能合约设计之初就是简单且非图灵完备的，因为根本没打算用它来搞代币化或去中心化应用。所以，BitVM 的加入算得上比特币发展史上的一次重大突破，大大扩展了它的功能边界。

BitVM 如何运作？

目前，BitVM 只支持两方：一个“证明者”和一个“验证者”。

假设两方想通过比特币区块链上的智能合约做一笔交易。一方（证明者）声称智能合约能按宣传的那样工作，但不需要直接在比特币链上运行。另一方（验证者）则需要得到保证，确保智能合约能按声明的方式运行。双方共同签署一系列交易，赋予验证者对合约部分内容提出质疑的权利，也赋予证明者回应的权利。

如果有任何一方试图欺骗对方，或者不合作，那么一旦智能合约被激活，诚实的一方就会收到合约里锁定的所有资金。一旦发生争议，可以在链上执行智能合约的特定条件，来证明是否存在欺诈行为。

谁创建了 BitVM？

ZeroSync 的核心贡献者 Robin Linus，在 2023 年 10 月 9 日发布了 BitVM 白皮书。ZeroSync 是瑞士楚格的一家非营利组织，主要致力于通过开发零知识证明（ZKP）方案，提升比特币的可扩展性和隐私性。

为什么 BitVM 如此重要？

BitVM 引入了一套系统，能在链下执行复杂计算，同时给参与双方提供了强有力的问责机制，而且不需要软件升级就能实施。这一发展还为比特币上的乐观型 Rollup 打下了基础。流程是这样的：在链下打包和处理 BTC 交易，然后在链上提交证明。作为乐观方案的一部分，所有链下交易会被默认视为有效，只有出现争议时，才在链上执行交易来确认其有效性。

这种 Rollup 可以显著提高比特币的交易吞吐量，就像 Optimism（OP）等协议使用的乐观 Rollup 提升了以太坊的处理能力一样。

BitVM 与 EVM 有何不同？

尽管 BitVM 的目标是为比特币增加图灵完备的智能合约功能，但它和以太坊虚拟机（EVM）的智能合约并不完全一样。以太坊、Solana 这些智能合约区块链，是把虚拟机完整地整合到了区块链结构里。而 BitVM 更像一个可选的附加功能，用户需要时才启用。

BitVM 试图模拟其他图灵完备的区块链，但功能上有限制。例如，使用 EVM 的产品需要以太坊本身的安全性来保障合约安全，而 BitVM 产品同时依赖比特币的安全性和参与者的诚信。在 BitVM 里，参与者需要在规定的挑战期内提交反欺诈证据，这个要求直接影响系统故障时的处理策略。

EVM 和 BitVM 在链上交互的方式也差别很大。比特币本身不支持复杂智能合约，所以 BitVM 绝大多数计算都在链外执行，避免主链过载；而 EVM 的计算完全在链上进行。正因为这些明显区别，一些比特币社区的成员认为 BitVM 不算一个完整的虚拟机。

BitVM 的下一步计划是什么？

出于多种原因，BitVM 代表了比特币的一次重要突破。从技术上看，它释放了网络验证任何类型复杂计算的潜力——虽然目前还局限于双方模式。这个进步还可能为比特币带来新的应用场景和可扩展性优势。但也许最重要的是，BitVM 提醒了大家：比特币的功能从来就没有被协议本身限制住，限制它的只是用户的想象力。

BitVM 的局限性

值得注意，BitVM 虽然有很多诱人的好处，但并非没有缺陷。Linus 和其他贡献者都承认，这个模型还处在早期阶段，远谈不上完善的解决方案。下面是一些团队仍在努力克服的限制：

• 目前，BitVM 只支持双人模式，意味着它无法支撑需要多方交易的大规模去中心化应用。
• 链上验证依然可能给比特币的区块链带来拥堵。
• 链下计算可能会涉及大量数据。

总结

BitVM 虽然还在发展初期，但已经成为比特币扩容方案里一个强有力的新成员。随着对比特币图灵完备智能合约的需求不断增长，BitVM 展现出了解决可扩展性问题的潜力。尽管存在高计算需求、应用场景有限等挑战，BitVM 带来的各种机会是明摆着的。开发者们还在努力攻克它的各种限制，但它依然表现出强大的潜力，有望拓展比特币的功能，增强其处理更复杂交易的能力。