Adam Back 预言比特币终局：Covenant 或成最后一次软分叉

据 Woofun AI 消息， CEO 将 Covenant Opcodes 定位为潜在的"最后一次软分叉"，旨在通过一次性引入通用工具集来终结频繁升级的历史。

这一激进的技术愿景建立在 2026 年 10 月 1 日 公开阐述的逻辑之上，其核心矛盾在于：为了减少未来的协议变更，比特币必须经历一次关键的软分叉。软分叉作为向后兼容修改，要求全网矿工、节点运营者与开发者达成高度共识，过程往往漫长且充满争议。Back 认为，引入 Covenant 机制能够从根本上压缩此类协调成本。更深层的安全考量则指向形式化语义（formal semantics）与数学证明的应用。 Script 作为定义币花费规则的简易编程语言，长期面临安全性挑战；而形式化语义通过精确的数学语言描述代码行为，使开发者能在资金上链前验证合约逻辑。Covenant 允许在币上附加规则，限制其未来流向，这超越了传统脚本仅检查花费权限的局限，为 注入了更强的约束能力。

在具体落地层面，Woofun AI 整理数据显示，BIP 119（CTV）与 BIP 347（OP_CAT）两项关键提案已在 测试网络取得进展，但截至 2026 年 10 月初，二者仍停留在草案或信号阶段，尚未进入主网。

与此同时，Blockstream 于 2025 年在 网络（比特币侧链）推出的 智能合约语言，为这一理念提供了早期实践。Simplicity 在设计之初即融入形式化验证，其类 Covenant 功能的实际部署，为评估基础层提案提供了重要参考。

这种技术路径的一致性表明，Back 所推崇的并非孤立的功能添加，而是基于可验证性的系统性重构。

回溯至 2021 年，Back 便已明确站队模块化 opcodes，反对专用 opcodes。专用方案虽易于推演，但缺乏灵活性；模块化方案则作为通用工具，支持不可预见的组合创新。此次"最后一次软分叉"的论断，正是该立场的逻辑终点：通过严格验证的通用工具集，让未来创新在既定框架内自然发生。目前该讨论无即时市场影响，也无代币发行，纯属协议层面博弈。开发者需密切关注 BIP 119、BIP 347 从测试走向主网正式信号的动能转变，以及 Simplicity 在 Liquid 上的实战记录对基础层评判标准的潜在重塑。