一位比特币开发者提出了一种新方法，可以为比特币带来更具表现力的链下智能合约（比特币）而不需要软分叉。
在 10 月 9 日的白皮书中宣布 标题为 “BitVM：在比特币上计算任何东西”由 ZeroSync 的项目负责人 Robin Linus 撰写，BitVM 可以在不改变比特币共识规则的情况下实现图灵完备的比特币合约。
“任何可计算的函数都可以在比特币上验证”https://t.co/Itf9UHos0C pic.twitter.com/CLQv49Ydsg
— яobin linus (@robin_linus) 2023 年 10 月 9 日
图灵完备系统理论上可以为任何计算问题提供答案。
使用 BitVM，比特币合约的“逻辑”将在链外执行，但验证将在比特币上进行——类似于 以太坊的乐观汇总。
BitVM的架构是 基于欺诈证据 挑战-响应模型中，“证明者”可以提出主张，“验证者”可以进行防欺诈，以在提出虚假主张时惩罚证明者。
Linus 解释说，比特币目前的形式仅限于基本操作，例如签名、时间锁和哈希锁，但现在可以通过 BitVM 进行扩展，Linus 表示 BitVM 可以计算许多有趣的应用程序。
“潜在的应用包括国际象棋、围棋或扑克等游戏，特别是比特币合约中有效性证明的验证。”
“此外，还可以将 BTC 与外国链连接起来，建立一个预测市场，或者模拟新颖的操作码，”Linus 说。
Linus 表示，该模型的局限性在于，它仅限于具有证明者和验证者的两方设置，并且需要大量的链下计算和通信来执行程序。
Linus 表示，下一个“里程碑”是除了 Tree++ 之外还全面实现 BitVM—— 高级编程语言 编写和调试比特币合约。
BitVM 是 由 Taproot 软分叉启用 事情发生在 2021 年 11 月。
Linus 在撰写这份长达八页的白皮书时引用了以太坊对乐观汇总的研究以及对 Merkle 树的研究。
比特币支持者对 BitVM 的回应
著名比特币专家埃里克·沃尔 (Eric Wall) 在 X (Twitter) 上发帖称，BitVM 白皮书中概述的概念“经过检验”，并且“谨慎地兴奋”地想看看它在现实世界中的实验结果。
比特币分析师迪伦·勒克莱尔 (Dylan LeClair) 也是 印象深刻 与 BitVM 的白皮书。 但是 Adam Back，比特币核心贡献者 建议 人们还不应该对这一发展过于兴奋。
对于那些变得（过度）兴奋的人来说，这很酷，但实际上是两方游戏的概括 – 它在抽象中说得对 – 所以它有点像 Greg Maxwell 的 2016 ZKP 或有支付实施示例 https://t.co/OeHRsbFjud
— 亚当·贝克 (@adam3us) 2023 年 10 月 9 日
有关的： BIP-300 biff：关于比特币传动链提案多年的争论重新燃起
区块链领域的一位建设者“dotta” 著名的 GitHub 上已经有一个概念验证。
另一位 X 用户 Sam Parker 试图通过以下方式解决比特币最大化主义者的普遍恐惧： 解释 BitVM 不会强迫比特币被“锁定”到这些合约中。
“最后，这是选择加入。 如果您不相信您的代币被锁定到某个图灵完备的合约（完全合理），那么就不要将它们锁定到图灵完备的智能合约。 之一 [the] UTXO 系统的优点是安全沙箱。”
其他人，例如“psage”，则表示 BitVM 增加了将在下一个牛市中推动比特币价格上涨的因素。
周围看涨的东西 #比特币 正在滚雪球，其中很多都是有争议的，但有一些是我的指尖：
– 比特虚拟机
– 序数词
– 多位总统候选人谈论此事
– ETF
– 减半
– 隐私改进
– 指数哈希率增加
– 国家采矿
….— psage (@perspiringsage) 2023 年 10 月 9 日
Cointelegraph 联系了 Linus 请求置评，但没有立即收到回复。
