Adam Back 支持契约操作码作为比特币可能的“最后一个软分叉”

Blockstream 首席执行官认为契约工具和形式验证可以使比特币脚本更安全并减少重复协议升级的需要

Adam Back 希望比特币停止如此频繁地升级。具有讽刺意味的是，他提出的减少升级的路线是多一次升级。

2026 年 10 月 1 日，Blockstream 联合创始人兼首席执行官公开认可契约操作码和相关技术。他将它们视为潜在的“最后一个软分叉”，可以减少未来的协议更改，同时使比特币脚本更加安全。

Back实际上在争论什么

巴克的立场基于两个相互关联的想法。首先，契约工具可以减少比特币需要新软分叉的频率。

软分叉是对比特币规则的向后兼容的改变。较旧的节点继续工作，但网络集体同意执行更严格的条件。这些升级缓慢且存在争议，并且需要矿工、节点运营商和开发人员之间的广泛协调。

第二个想法是安全。 Back 强调形式语义和数学证明是强化比特币脚本的方法，比特币脚本是一种简单的编程语言，定义了如何使用硬币。

形式语义意味着用精确的数学术语准确描述一段代码的作用。然后，数学证明可以让开发人员在任何人投入真实资金之前验证合约的行为是否符合预期。

契约，无需行话解释

用比特币术语来说，契约是附加在硬币上的规则，限制它们未来的使用方式。如今，比特币脚本主要检查某人是否有权花费硬币。契约还会让脚本影响这些硬币接下来的去向。

一些具体提案在 2026 年重新受到关注。其中包括 CTV（正式名称为 BIP 119）和 OP_CAT（指定为 BIP 347）。

在您的一天开始之前，新闻会影响资金、市场和世界。日常的。自由的。加入加密货币、金融和政策领域 34,000 多名读者的行列。电子邮件地址 免费订阅 我们尊重您的隐私。随时取消订阅。

两者都通过印章测试和起草比特币改进提案看到了活动。 Signet 是一个测试网络，开发人员可以在不冒实际比特币风险的情况下试验提议的功能。

这些提案都没有进入比特币主网。截至 2026 年 10 月上旬，CTV 和 OP_CAT 仍处于草案或信号发送阶段。

简单的连接

Back 的评论提到了 Simplicity，这是 Blockstream 开发的一种智能合约语言。 Simplicity 于 2025 年在 Liquid 网络上推出。

Liquid 是由 Blockstream 运营的比特币侧链。 Simplicity 旨在提供类似契约的功能，并且在构建时考虑到了形式验证，这与 Back 对脚本安全性数学证明的强调是一致的。

这种对齐方式值得注意。提倡形式可验证脚本的高管经营着一家构建了形式可验证脚本语言的公司。

长期存在的偏好

巴克的最新言论并非突然转变。早在 2021 年起，他就一直在高度具体的方法上推广模块化操作码。

这种区别是圣约辩论中的一个核心断层。特定的操作码旨在出色地完成一项工作，并且更容易推理。模块化操作码是通用工具，可以以设计者意想不到的方式进行组合。

Back 已经在模块化阵营中插上了自己的旗帜。他的“最后一个软分叉”框架本质上是该立场的逻辑终点：构建一个通用工具包一次，严格验证它，并让未来的创新发生在它之上。

这对比特币意味着什么

巴克的声明没有立即产生市场影响，也没有发行代币。这是协议级别的辩论。

对于开发者来说，近期信号是关注 Signet 活动以及 BIP 119 和 BIP 347 等 BIP 草案的进展。从测试到在主网上发出正式信号将标志着势头的真正变化。

Simplicity 在 Liquid 上的记录也可能成为一个参考点。它的实时部署为开发人员提供了一个评估类似契约的设计的工作环境，这可以告知如何判断基础层提案。