比特币上验证的可计算函数 — BitVM 如何提升 BTC 的智能合约游戏水平

BitVM 是由区块链程序员 Robin Linus 在最近的一份白皮书中提出的。它允许通过欺诈证明和两方之间的质询响应协议来表达图灵完备的比特币合约。虽然有些人认为该模型有局限性，但另一些人则表示它为更复杂的比特币交易铺平了道路。

BitVM 与证明程序一起运行，证明程序对于特定的输入和输出可以正确运行。验证者可以通过一系列简洁的欺诈证据来质疑该断言，如果证明者的主张不真实，则对证明者进行惩罚。

通过将程序编码为二进制电路并在主根地址中一点一点地提交给它，证明者和验证者都可以以最小的链上占用空间执行复杂的计算。根据白皮书，这允许在比特币上验证任何可计算函数。然而，BitVM 目前仅限于证明者和验证者之间的两方设置。

该论文指出了一些缺点，例如双方都需要进行大量的链下计算。然而，它将 BitVM 定位为一种无需更改任何协议即可扩展比特币功能的新方法。这意味着无需通过软分叉或硬分叉修改共识规则集。

一些开发人员批评了该模型当前的实用性。“很酷，但实际上是两方游戏的概括，”Blockstream 首席执行官 Adam Back 在社交媒体平台 X（以前称为 Twitter）上写道。Blockchair 首席开发人员 Nikita Zhavoronkov 称其为“很酷，但过度炒作”，并表示 BitVM 无法“有效地乘以数字”。开发商补充道：

绝对不是“比特币上的 EVM”。

尽管如此，BitVM 的基础框架暗示了有朝一日有可能成为促进更复杂的比特币智能合约的一种手段。两方约束意味着代币交换等功能尚不可行。

Sam Parker 在社交媒体平台 X 上发表评论指出，BitVM 在不更改协议的情况下增强了功能，减少了僵化风险。加密货币分析师 Sunny Decree 写道，“新的比特币白皮书支持比特币上的所有山寨币实用程序”，并强调“不需要软分叉”。

“最让我兴奋的是能够在 BitVM 中实现 ZK 验证器，”Bioniq 首席执行官 Bob Bodily 说道。“我们仍然不知道这会如何、在哪里、何时或是否会发生，但如果你可以在 BitVM 中实现 ZK 验证器，那么你就可以直接在比特币上释放 L2 的全部功能。无需信任的桥接、更高的吞吐量、更多的隐私、更便宜的交易、无限的可编程性、更大的规模等等。而且所有这些都无需比特币升级。”

白皮书将 BitVM 描述为比特币合约和链外计算的“新颖设计空间”。随着研究的进展，其用途可能会扩大，以充分凸显比特币固有的计算能力。从短期来看，BitVM 让证明者和验证者通过支付执行图灵完备的程序，通过比特币当前的防欺诈系统验证结果，从而在不改变协议的情况下扩大智能合约的前景。

除了白皮书之外，该项目还通过文件底部留下的地址接收捐款。捐赠地址“bc1qf”已收到 0.18555681 BTC，按当前汇率计算，价值略高于 5000 美元。