摘要：区块链开发商ZeroSync的联合创始人RobinLinus公布了BitVM的白皮书，旨在增强比特币智能合约功能，而不需要对网络共识规则进行软分叉升级。Blockstream首席执行官AdamBack表示，人们对BitVM感到“过度兴奋”，并补充说它可能会遇到“实用的可扩展性限制”。...

区块链开发商 ZeroSync 的创始人 Robin Linus Bitvm已经公布 白皮书旨在增强BTC智能合约功能，无需软分叉升级网络共识规则。

“任何可计算的函数都可以在比特币上验证，”Linus在 X（之前的 Twitter）“这使得BTC上的智能合约更具吸引力。特别是，它实现了我们认为需要软分叉的功能，”——可能会给网络带来更多 DeFi 用例和可扩展性。

点评家 Sam Parker Bitvm意味着BTC现在可以像任何其他链一样具有图灵完整性。图灵完善意味着系统可以进行任何计算，只要有足够的时间和资源。

然而，“根据技术定义，BTC不再像以前那样完整，它只是为它的程序提供了一个操作，我们可以合理地说，对于我们真正想要的任何程序，它都是‘完美的图灵’。”执行，”帕克补充道。

匿名评论员说：“这可能是BTC脚本史上最令人兴奋的发现，”匿名评论员说 Super Testnet说：“它似乎敲开了几乎每一扇门，这样我们就可以立即得到类似的东西。 Liquid 或者以太坊虚拟机的契约、侧链和权力，不需要分叉。我迫不及待地想发表我的演示。”

根据白皮书，隐藏的应用程序包括验证游戏和比特币合约的有效性。它指出，BTC也可以与其他链接连接，建立一个预测市场或模拟新的智能合约操作。

BitVM 的工作原理

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

BitVM 它不是直接计算在比特币上，而是使用欺诈确认、挑战响应协议和比特币 Taproot 升级，以类似乐观总结的方式验证。

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

虽然比特币主茎地址中的广泛程序需要大量的链下操作通信，但链上的足迹仍然很小。因此，根据白皮书，只要多方合作，复杂的计算就可以在链外进行，争议发生时只能在链上进行。

BitVM 局限性和指责性

匿名BTC教育家虽然对其潜力持乐观态度，但对其潜力持乐观态度 Shinobi警告说，链下数据管理的成本“极高”，并补充说 BitVM 另一个主要限制是它只能与双方(证明人和验证人)合作。

Ordinals 市场和启动板 Bioniq 首席执行官 Bob Bodily说， BitVM 与以太坊虚拟机相比，速度更慢、更复杂、更贵。“BitVM 他补充说，我们现在可以在比特币上获得额外的可编程性，而无需升级。

Blockstream CEO Adam Back说，人们对Back说 BitVM 感到“精神兴奋”，并补充说，它可能会遇到“实用的可扩展性限制”。尽管莱纳斯说这是一种误解。

数字货币投资公司 Paradigm 丹·罗宾逊研究员 (Dan Robinson) 持更多批评的态度。“这不是图灵的完整性。这就是功能的完整性，”他说，并补充说，“它不能用于你可能想在实践中做的任何事情。” 功能完整性是指一组可以执行任何逻辑任务的操作。

类似以太坊的智能合约功能

BitVM 并不是唯一一个希望将类似以太坊的智能合约功能引入比特币的协议，Botanix EVM Layer 2 也通过名叫 Spiderchain 实现这一目标的侧链解决方案。

上周，ZeroSync为BTC完成了第一个基于BTC的工作 Stark 的 ZK 客户端使BTC客户无需下载整个区块链即可验证网络状态。“链状态的确认不一定与此有关，”Linus 告知 The Block。“可是 BitVM 能验证BTC上的内容 STARK，因此，您可以拥有使用链状态证明的比特币合约。”