ZeroSync的区块链开发者兼联合创始人Robin Linus发布了一份BitVM的白皮书，旨在增强比特币的智能合约功能，而无需对网络的共识规则进行软分叉升级。

Linus在X（前身为Twitter）上发布称：“任何可计算的函数都可以在比特币上进行验证。这使得比特币上的智能合约更加表达丰富。特别是，它使我们认为需要软分叉的功能得以实现” — 可能为网络带来更多DeFi使用案例和可扩展性。

根据评论者Sam Parker的说法，BitVM意味着比特币现在可以像任何其他区块链一样图灵完备。图灵完备性指的是系统在足够的时间和资源下可以执行任何计算。

然而，评论者Parker补充道：“从技术上讲，比特币实际上并没有更具图灵完备性，它只是为其程序提供了运行时，我们可以合理地说它对于我们实际上想要执行的任何程序来说‘足够图灵完备’。”

匿名评论者Super Testnet 表示：“这可能是比特币脚本历史上最令人兴奋的发现。它似乎打开了几乎所有的大门，并让我们可以访问契约、侧链和类似Liquid或以太坊虚拟机的功能，而无需任何分叉。我迫不及待地想发布我的演示。”

根据白皮书，潜在的应用包括游戏和比特币合约有效性证明的验证。白皮书还指出，可能可以将比特币与其他链进行桥接，构建预测市场或模拟新颖的智能合约操作。

比特币内置的智能合约功能受设计限制，仅限于基本操作。BitVM通过在链下运行计算来实现更强大的智能合约功能。

BitVM并非直接在比特币上执行计算，而是通过类似于乐观 Rollup 的方式进行验证，利用欺诈证明、挑战-响应协议和比特币的Taproot升级。

证明者声称特定函数在给定某些输入时会产生特定输出。如果这一声明是错误的，验证者可以进行欺诈证明并对证明者进行惩罚。这一机制允许在比特币上验证任何可计算的函数。

在比特币Taproot地址上承诺执行大量程序需要进行相当多的链下计算和通信，而链上印记保持最小。因此，只要各方合作，复杂计算可以在链下进行，只在发生争议时需要在链上执行，根据白皮书的说法。

虽然对其潜力持乐观态度，匿名比特币教育家Shinobi 警告称，链下数据管理的成本是“巨大的”，并补充说BitVM的另一个主要限制是它只适用于两方（证明者和验证者）。

Ordinals市场和发射平台Bioniq的CEO Bob Bodily 表示BitVM不如以太坊虚拟机好，速度较慢、更复杂且更昂贵。他补充说：“BitVM的核心优势在于，我们在不升级的情况下立即获得了比特币的额外可编程性。”

Blockstream CEO Adam Back 表示人们对BitVM变得“过于兴奋”，并补充说它可能会遇到“实际可扩展性限制”。尽管Linus表示这是一种误解。

加密投资公司Paradigm的研究员Dan Robinson更为批判。他说：“这不是图灵完备性。这是功能完备性。”并补充说它“实际上不适用于你可能想要使用它的任何事情。”功能完备性指的是可以执行任何逻辑任务的一组操作。

BitVM并非唯一一个试图将以太坊式智能合约功能引入比特币的协议，Botanix EVM Layer 2也通过名为Spiderchain的侧链解决方案来实现这一目标。

上周，ZeroSync实施了基于Stark的比特币ZK客户端的首个实现，使比特币用户能够验证网络的状态，而无需下载整个区块链。Linus告诉The Block：“链状态证明与此并无必然联系，但BitVM可以在比特币上验证STARK，因此你可以使用链状态证明的比特币合约。”

© 2023 The Block。保留所有权利。本文仅供信息目的。不提供或意图用作法律、税收、投资、金融或其他建议。

免责声明：本文章仅代表作者个人观点，不代表本平台的立场和观点。本文章仅供信息分享，不构成对任何人的任何投资建议。用户与作者之间的任何争议，与本平台无关。如网页中刊载的文章或图片涉及侵权，请提供相关的权利证明和身份证明发送邮件到support@aicoin.com，本平台相关工作人员将会进行核查。