Adam Back 力挺契约操作码：或成比特币“最后一次软分叉”

2026年10月1日，Blockstream 联合创始人兼首席执行官 Adam Back 公开表态支持契约操作码（covenant opcodes）及相关技术，认为一项经过精心设计的升级可能成为比特币的“最后一次软分叉”。他提出，此举可降低未来协议变更频率，并改善 Bitcoin Script 的安全模型。

两大论点：减少软分叉、强化安全

Back 的立场建立在两个相互关联的论点之上。第一，启用契约的工具可能减少比特币所需进行的软分叉数量。软分叉是一种向后兼容的规则变更：旧节点仍可运行，但网络会同意执行更严格的支出条件。此类升级过程缓慢、容易引发争议，并需要矿工、节点运营者和开发者协调。

第二，Back 强调安全性。他指出，形式语义和数学证明可用于强化 Bitcoin Script。Bitcoin Script 是定义比特币如何被花费的简单编程语言。形式语义以精确数学术语描述代码行为，而证明则允许开发者在合约处理真实资金前验证其是否按预期运行。

契约操作码意味着什么

在比特币中，契约是附着于比特币之上、限制其未来如何被花费的规则。目前，Bitcoin Script 主要检查花费者是否有权转移比特币。契约则将进一步允许脚本影响这些比特币下一步流向何处。

CTV、OP_CAT 与 signet 测试进展

2026年，若干具体提案重新获得关注，包括正式编号为 BIP 119 的 CTV，以及编号为 BIP 347 的 OP_CAT。两者均已通过 signet 测试和草案比特币改进提案出现活动。signet 是测试网络，开发者可在不冒真实比特币风险的情况下试验拟议功能。

不过，这两项提案均未进入比特币主网。截至2026年10月初，CTV 和 OP_CAT 仍处于草案或信号阶段。

Simplicity 与形式验证路线

Back 的评论提及 Blockstream 开发的智能合约语言 Simplicity。Simplicity 于2025年在 Liquid Network 上线。Liquid 是由 Blockstream 运营的比特币侧链。Simplicity 旨在提供类似契约的功能，并在设计时考虑形式验证，这与 Back 强调用数学证明保障脚本安全的思路一致。

这种一致性值得注意：倡导形式可验证脚本的高管，正领导着构建形式可验证脚本语言的公司。

并非突然转向：模块化操作码之争

Back 的表态并非突然转向。早在2021年，他就持续推动模块化操作码，而非高度特定的方案。这一区别是契约辩论的核心分歧之一。特定操作码被设计为做好一项任务，更容易推理；模块化操作码则是通用工具，可被以设计者未必预料的方式组合。Back 将自己置于模块化阵营。

他的“最后一次软分叉”框架本质上是这一观点的逻辑终点：一次性构建通用工具包，严格验证，并允许未来创新在其上发生。

市场与开发者影响

Back 的声明没有立即产生市场影响，也没有代币发行。这是一场协议层面的辩论。

对开发者而言，近期信号是关注 signet 活动，以及 BIP 119 和 BIP 347 等草案 BIP 的进展。若从测试转向主网正式信号，将标志着势头发生真正变化。Simplicity 在 Liquid 上的实际表现也可能成为参考点。其已上线部署为开发者提供了评估类契约设计的工作环境，并可能影响基础层提案的评判方式。