什么是BitVM？定义、背景与来源

01什么是BitVM？

BitVM 将有界计算移至链下，并把预先安排的欺诈证明提交给 Bitcoin；它并不是直接运行在 Bitcoin Script 中的通用虚拟机。

02核心

最初的 BitVM 描述了 prover 与 verifier 之间的双边关系。Prover 在链下执行程序并对执行轨迹作出承诺；只有在 verifier 认为结果错误时，才会介入。 [1]

03机制

BitVM2 使用拆分为较小子程序的脚本来验证 SNARK。乐观路径不会把全部计算写到链上；发生争议时，任何 challenger 都可以通过缩短的协议质疑无效断言。 [2]

04要解决的问题

BitVM Bridge 旨在更安全地把 BTC 转移至第二层：在 setup 阶段，它把诚实多数假设降低为至少一名诚实参与者，并允许任何人而不只是预先指定的 verifier 质疑无效证明。 [2]

05安全模型

Permissionless challenge 并不等于零信任。为维持 liveness，桥仍需要至少一名活跃且理性的运营方；如果所有运营方都失效，资金可能被锁住，具体协议还依赖 setup、数据可用性、激励以及正确的交易图。 [3]

06部署状态

BitVM Bridge 的官方实现明确称自己不适用于生产环境，并警告不要投入生产使用。该代码库是 SNARK verifier 和桥的原型，不是经审计的 BTC 安全转移保证。 [4]

07限制

Permissionless challenge 不会消除运行成本。协议使用大型脚本、分段证明、抵押品、时限和手续费；即使攻击者无法提出有效证明，不响应或审查也可能损害 liveness。 [3]

08Atlas 中的关联

BitVM 不会把 Bitcoin Script 变成可运行任意链上程序的常规虚拟机。该构造无需更改共识；其通用性来自链下计算、承诺、timelocks，以及 Bitcoin 能够执行的预签名争议流程。 [5]

09如何核验相关说法

BitVM 这个名称涵盖多种彼此不同且不断演进的设计：BitVM1、BitVM2 和具体桥协议的角色与假设并不相同。使用前应核实确切版本、交易图、setup、运营方数量、challenge 路径和紧急退出方式。 [4]

最初的 BitVM 描述了 prover 与 verifier 之间的双边关系。
BitVM2 通过拆分成较小子程序的脚本来验证 SNARK。
BitVM Bridge 希望更安全地将 BTC 转移到第二层：在初始设置阶段，它把诚实多数的假设降低为至少一名诚实参与者，而且任何人都能挑战错误证明，不限于预先指定的 verifier。
允许任何人发起挑战，并不意味着完全不需要信任。
BitVM Bridge 的官方实现将自身标记为非生产版本，并明确警告不要用于生产环境。
允许任何人发起挑战，并不会消除运行成本。
BitVM 不会把 Bitcoin Script 变成能在链上运行任意程序的通用虚拟机。
BitVM 这个名称涵盖多个不同且不断变化的设计：BitVM1、BitVM2 和具体的桥协议并不具有相同的角色和假设。
BitVM 把受限的计算移到链下，并将预先准备的欺诈证明带到 Bitcoin；它不是直接在 Bitcoin Script 中运行的通用虚拟机。

结合上下文阅读

要获得更完整的理解，请将本词条与以下词条结合阅读： Bitcoin Script, Taproot, Covenants, Multisig, Sidechain, Soft Fork.

?实用问题

01BitVM 会直接在 Bitcoin 上运行程序吗？

不会。程序在链下计算；Bitcoin 只裁决预先安排的、围绕密码学承诺和一个小型证明步骤的争议。

02BitVM 是已经完成的 trustless bridge 吗？

不是。BitVM2 降低了一些信任假设并允许 permissionless challenge，但具体桥仍依赖其 setup、运营方、liveness 和尚不适用于生产的实现。