# 【BTCFi系列第7期】契约机制：比特币被冻结的分叉之路 > CTV与CSFS将解锁金库、更低成本的桥以及Ark级别的链下交易场所。我们深入探讨激活进程为何陷入停滞，以及2026年绕过Core推进这一方案意味着什么。 - Source: https://www.steadyrain.xyz/zh/articles/btcfi-series-7-covenants-ctv-csfs/ - Publisher: Steady Rain - Author: 0xYatha - Published: 2026-07-15T02:36:36.384Z - Categories: BTCFi - Language: zh ## 引言 自2021年11月Taproot激活以来，比特币再未经历任何共识层面的变更。同一时期，其他主流智能合约公链均已多次迭代其执行层。比特币的设计哲学使然，这种局面本在意料之中——但这种停滞在BTCFi构建者社区中积累的挫败感，如今已化为一场有组织的推动，矛头指向一项具体而克制的升级提案：**OP_CHECKTEMPLATEVERIFY**（CTV）与 **OP_CHECKSIGFROMSTACK**（CSFS）的组合激活。 这一提案的切口很窄。CTV允许一枚币提前承诺消费它的交易必须呈现的确切结构；CSFS允许脚本验证一个针对栈上任意数据的签名。两者都不引入递归，也都不具备OP_CAT支持者所追求的完全通用可编程性。但两者结合，将解锁一类新的构造——非托管金库、更高效的联合池与通道工厂、成本更低的离散对数合约，以及更简洁的Lightning和Ark实现路径——而这些构造，BTCFi构建者们目前只能用越来越脆弱的预签名交易机制勉强模拟。 对我们而言，真正有趣的问题不是CTV+CSFS在技术上是否可靠——这场争论基本已经穷尽，该提案公开讨论已历多年。真正有趣的问题是：如此克制的升级为何迟迟搁置？2025年年中的公开信，以及拟议中的2026\~2027年绕过Bitcoin Core的链外激活时间线，对比特币未来如何做出共识决策意味着什么？若激活通过一个非Bitcoin Core的客户端完成，这将是SegWit UASF时代以来的首个先例，并将重塑未来协议变更的协商方式。若激活失败，则将坐实比特币的升级路径在实践上已然冻结——BTCFi构建者应据此做好规划。 ## 什么是契约 *[Figure: img1]* 在比特币脚本的语境中，契约（covenant）是一种消费条件，它不仅约束一个UTXO能否被消费，还约束消费该UTXO的交易必须呈现什么形态。当前，脚本回答的是一个单一时态的问题：给定见证数据，当下这笔消费是否被授权？契约则将时态延伸：给定这笔消费，它所产生的交易是否符合此前承诺的结构？ CTV在BIP-119中被规范定义，以尽可能严格的方式实现了这一机制。当一个UTXO被锁定到CTV脚本时，该操作码会对消费交易中的一组特定字段进行哈希，并与脚本中嵌入的模板哈希进行比较。据Bitcoin Optech，承诺的字段包括：交易版本、锁定时间、scriptsigs、输入数量、sequence值、输出数量、输出本身，以及消费输入的索引。若其中任何字段与模板不符，消费即告失败。 此设计有两个特性值得停下来细想。其一，CTV承诺输出，但不承诺输入——具体而言，不承诺输入的txid。正因如此，同一模板可以跨不同资金交易复用，这也是金库和拥塞控制构造具有实用价值的关键所在。其二，**CTV在结构上不具递归性**。模板哈希是脚本中的固定值，无法从消费交易本身动态计算得出。一个CTV输出可以强制约束其下一跳，但那个下一跳是一笔具体的、预先指定的交易——它本身不能再是一个模板由栈上某值派生的CTV输出。这种结构性的非递归，正是"CTV不会产生永久性受限币"这一论据的全部基础。 CSFS是另一种原语。比特币现有的OP_CHECKSIG验证的是针对当前交易的签名，而CSFS验证的是消费者放置在栈上的任意数据上的签名。这些数据可以是任何内容——未来价格的消息、预言机的证明、通道协议中交易对手产生的承诺。单独来看，CSFS本身不是契约，而是一种委托与证明原语。它在这一组合中的价值，在于它与CTV结合后赋予脚本的能力：验证某链下方已授权了一段特定状态，再用CTV约束该状态的链上结算方式。 在此，我们必须坦承一处研究空白。CSFS与CTV如何组合，以产生——比如——LN-Symmetry风格的通道或更高效的Ark轮次，其精确机制在我们所参考的资料中并未得到详细阐述。可以确定的是，CSFS被纳入"第一步"方案，正是因为CTV单独无法弥合Lightning和Ark构建者最关注的设计缺口。希望追溯这些构造细节的读者，应直接查阅Delving Bitcoin上的相关讨论帖和所引用的BIP原文。 ## CTV为BTCFi解锁了什么 *[Figure: img2]* 理解构建者为何力推此提案，最清晰的方式是逐一梳理CTV所能实质性改善的具体构造。 ### 金库 比特币金库，就该术语已形成的含义而言，是一种冷存储方案：从冷端发起的任何消费，都必须先经过一个有时间锁的中间地址。在延迟窗口期间，金库持有人可以观察待处理的消费，若属未授权操作，则可触发恢复回收机制，将资金重定向至更安全的密钥。这是比特币目前最接近原生应对密钥泄露的解决方案。 当前，金库通过**临时密钥与预签名交易**构建。持有人生成一对临时密钥对，用其签署金库的各条消费路径，再销毁私钥。金库的安全性随即建立在一个假设之上：临时密钥确实已被删除，且在删除前从未泄露。Bitcoin Optech将这种构造描述为"充其量是脆弱的"——这是对从业者看法较为委婉的表达。以可审计、可重复的方式验证密钥删除，是一个真实存在的运营难题，愿意用真实资产运行此类方案的人少之又少。 引入CTV之后——BIP-345的OP_VAULT正是基于CTV构建——预签名交易的繁琐流程将被契约取代。金库输出直接在共识层承诺延迟消费交易的结构，无需临时密钥，也无需可信的密钥销毁。金库由此成为一种无状态、可复制的构造，钱包可从公开参数确定性地生成。 ### 联合池与通道工厂 将多用户资金汇入单一UTXO、并允许各自独立退出或重组的构造——联合池、通道工厂及其变体——依赖于能够在不经历两轮完整交互式签名的情况下重新协商链下状态。Optech指出，CTV将这类构造中状态转换所需的签名轮次**从两轮降至一轮**。听起来像是实现层面的细节，实则是可扩展性与活性层面的变革。一个要求全部N个参与者在线两轮的构造，在极限情况下，若只需一轮，其失败频率将减半——而这类构造的失败模式，通常比乐观路径所呈现的更为严酷。 ### 离散对数合约 DLC是比特币当前实现预言机证明合约的方式。一个以BTC/USD最近整数美元为结算单位的DLC，据Optech，可能涉及逾万种潜在结果，每种结果都需要交易对手双方创建、交换、验证并存储各自的签名适配器。CTV用一个模板替代了逐一结果的适配器。大型DLC的建立成本大致随结果空间的规模而下降，对于实际合约而言，这意味着一到两个数量级的缩减。 ### 拥塞控制与批量处理 CTV还支持一种特定的费用市场构造：交易所或托管方可以在链上提交一个单一模板输出，待后续展开时再向多个接收方付款。拥塞期间，提交成本低廉；展开操作则等到费率合适时再进行。这并不创造新的容量，但让大型参与者能够将面向用户的结算时机与链上确认时机解耦，从而改变了费用高峰期区块空间的需求曲线。 BitVM路径值得单独提及。BitVM2已在生产环境中上线，支撑Citrea的主网桥接，且无需任何软分叉。契约所能带来的不是"使其成为可能"，而是"降低成本"：当前BitVM构造耗费了大量脚本字节来模拟CTV+CSFS本可直接提供的原语。支持者的主张是，契约让信任最小化的桥接更便宜，而非让其首次成为可能。 ## 极简主义的赌注与OP_CAT的设计空间 *[Figure: img3]* CTV+CSFS并非桌上唯一的契约提案。讨论最为广泛的替代方案是**OP_CAT**——一个仅四字节的操作码，功能是将栈顶两个元素拼接。它是比特币原始脚本语言的组成部分，于2010年因无界栈增长引发的拒绝服务攻击隐患而被禁用。OP_CAT于2024年获得BIP编号347，这是一个信号，说明它已通过技术严肃性的流程门槛，而非说明它接近激活。 两个阵营之间的设计哲学分歧是真实存在的。CTV是一个**特定用途的操作码**：它只做一件事（承诺模板哈希），且以结构上排除递归的方式完成。OP_CAT是一个**原语**：它只做一件极小的事（拼接字节），但这个原语与Taproot的Schnorr签名结合，可以实现脚本内省——即脚本推理包含它的交易的能力——进而支持递归契约和通用状态机。StarkWare已发布基于OP_CAT的桥接契约概念验证，展示了无需联合多签的信任最小化比特币对L2桥接。这类构造在CTV+CSFS下无法实现。 两种立场之间的权衡，各自内部都是自洽的。 CTV+CSFS的立场认为，契约应以最小增量引入；递归是一次独立的升级跃迁；针对递归契约提出的可替代性顾虑——理论上存在币被永久锁入限制性脚本的可能性——足够严重，应作为独立议题处理，而不应包裹在通用原语中一并引入。支持者承认，这意味着若干BTCFi构造将继续无缘实现。 OP_CAT的立场则认为，递归契约的顾虑在很大程度上是理论性的；较弱形式的限制已然存在（多签、时间锁、哈希锁）；添加通用内省是一次性的协议变更，所开放的设计空间远超一系列窄范围操作码所能提供的总和。这一阵营主张，2010年促使OP_CAT被禁用的拒绝服务隐患，在Taproot引入脚本大小限制后已不再适用。我们将"不再适用"这一说法标注为存疑——在我们审阅的材料中，它被断言的频率远高于被论证的频率。 第三种立场主要由Bitcoin Core中持明确反对意见的贡献者持有：整个契约讨论还为时尚早；两个提案都尚未积累共识变更所应有的审查年限；比特币脚本文化——将每一个新操作码都视为攻击面——应默认为否，除非支持的理由压倒一切。这一立场不需要对CTV提出具体的技术异议，只需对共识变更持有较高的先验拒绝倾向即可。 ## 2025年6月的公开信与2026年激活计划 *[Figure: img4]* 据我们无法从研究资料中完全核实的一手来源报道，2025年6月，一封呼吁激活CTV+CSFS的公开信公开发布。主题简报援引约66位联署人，包括具名的密码学家和Lightning开发者，但公开信的具体名单、原文措辞及完整论点，均无法从我们参考的资料中直接获取。我们选择如实指出这一空白，而不去复述一份我们无法核实的联署人名单。可以确认的是：该信确实存在，被作为重要行业事件报道，其目的是展示开发者社区围绕极简契约方案作为第一步的共识。 Bitcoin Core贡献者对此的回应，据主题简报，是质疑而非背书。同样，我们没有直接获取具体技术异议的渠道——承载实质性讨论的Delving Bitcoin帖子在我们的资料中仅部分可读——我们不打算凭空捏造。但从争论的轮廓来看，Core内部没有任何派系推动将CTV+CSFS激活逻辑合并入Core代码库。 正是在这里，2026年时间线变得引人注目。根据2026年4月发布的一份综述，针对绕过Core的链外激活客户端，具体提议的部署参数如下： - **起始时间**：2026年3月30日 - **超时时间**：2027年3月30日 - **最低激活高度**：约2027年5月 - **信号阈值**：在2016区块周期内矿工支持率达到90% 我们将这些数字视为来自二手来源的提议参数，而非已定稿的共识。但若这些参数成立，这将是比特币自Taproot以来首次产生具体的软分叉时间线。其机制是BIP9风格的矿工信号：在每个2016区块窗口内，矿工可在区块版本中设置一个比特位来表示就绪。若90%的矿工在窗口内完成信号，分叉锁定，并在最低激活高度处生效。 绕过Core这一维度，是整个计划的核心支撑。由于Core未合并激活逻辑，信号与激活代码将搭载于一个**替代客户端**中——一个遵循全部现有共识规则、但在最低激活高度新增CTV+CSFS规则（前提是矿工信号阈值已达成）的比特币实现。运行Core的节点只要没有CTV交易被挖出，即保持有效。若CTV激活，而Core节点拒绝包含CTV承诺的区块，则将发生链分裂。 ## 治理赌注：绕过Core的激活将释放什么信号 *[Figure: img5]* 比特币的共识流程没有正式的治理机构。实践中形成的惯例是：Bitcoin Core维护者持有一种软否决权——Core不愿合并的变更，就不会激活。2017年的SegWit UASF是对这一惯例最近一次严峻的挑战，即便如此，它最终仍通过Core的代码库完成激活；UASF客户端（BIP148）是修改了激活逻辑的Core分支，而SegWit在UASF压力达到顶峰之前就已进入Core代码库。 CTV+CSFS的绕Core激活，将比SegWit UASF更强烈地挑战这一Core否决惯例。替代客户端将携带Core维护者已明确拒绝采纳的激活代码。若矿工信号超过90%且分叉激活，Core要么必须合并CTV+CSFS以使其用户留在多数链上——这将确立一个先例：足够协调的开发者联盟加矿工超级多数，可以迫使Core就范——要么必须明确拒绝该分叉并接受链分裂，这将是与"比特币拥有单一权威实现"这一假设的更大决裂。 有一种观点认为，这是健康的。比特币升级进程自2021年起实际上陷入冻结，并非任何人刻意选择的设计结果，而是在缺乏正式治理机制的情况下协调共识变更极度困难所形成的均衡。强制摊牌——要么激活，要么明确拒绝——所产生的信息量，是长期僵局所无法提供的。 也有另一种观点认为，这是危险的。90%的矿工信号阈值是底线，而非用户同意的证明。Taproot激活时，在用户、企业和开发者中具有广泛且可见的支持，远超CTV目前的状况。若一个软分叉在Core反对的情况下，仅凭矿工裸多数激活，可能为未来目标更窄的联盟设立可被利用的先例——而契约恰恰是"更窄目标"的空间最大的那类变更。 两种论点单独来看都不具决定性。关键的实证问题是：公开信背后的开发者联盟，能否构建起足够的周边基础设施——经济节点支持、钱包整合承诺、交易所就绪声明——使90%的矿工信号看起来像是代表广泛认可，而非被捕获的信号。从我们审阅的资料来看，这一周边基础设施彼时仍处于组建之中。 ## 尚存的异议 若暗示技术异议已然平息，我们将有失诚实。有三点值得点名，尽管无法完整溯源。 第一是**TxWithhold**问题，由Gleb Naumenko在Delving Bitcoin帖子所引用的一篇BitMEX文章中探讨。契约可被用于构造向矿工付费、以换取其将特定交易排除在区块之外的脚本。其严重性取决于此类构造的实现难度，以及费用市场的容忍程度；问题不在于契约引入了交易扣押，而在于契约可能大幅降低此类贿赂的成本。据我们所知，这一问题尚未在CTV+CSFS的具体语境下以能够终结争论的方式进行正式分析。 第二是**复杂度预算**批评。每个新操作码都会扩展共识代码的攻击面，并与现有脚本原语产生新的交互。比特币的开发文化默认将这种扩展视为代价。CTV+CSFS方案范围窄，但并非零成本，审计其与Taproot、sighash标志及未来提案交互所需的审查人时，绝非可以忽视。 第三是**第一步问题**。若CTV+CSFS激活，OP_CAT的讨论会变得更容易还是更难？支持者认为更容易：社区将证明自己能够推进软分叉，CTV之外的设计空间可以独立评估。怀疑者认为更难：窄范围契约的激活将消耗原本可用于更宏大提案的政治资本，比特币将止步于一个不足以支撑OP_CAT所能实现的构造的局部契约。两种判断都言之成理。历史依据稀缺，因为比特币自2021年以来尚未推进任何升级。 ## 对BTCFi的影响 对BTCFi构建者而言，实际问题是如何在不确定性下规划资本配置与路线图。三种取向看来各有依据。 第一种是基于现有脚本集进行构建。BitVM2在Citrea上的生产部署表明，在无需任何新操作码的情况下，有意义的信任最小化是可以实现的，代价是显著更高的链上占用。需要在2026\~2027年落地产品的团队，无法将路线图寄托于激活成功与否。 第二种是将CTV+CSFS作为软目标进行构建。金库产品、基于通道工厂的场所，以及重度使用DLC的应用，在激活后将获得不成比例的收益，其设计可以被构造为：契约感知版本是预签名交易版本的简洁升级。缺点在于预签名交易版本依然脆弱，在激活之前，用户须承担这种脆弱性。 第三种是基于更深层的OP_CAT设计空间进行构建，预设一旦某种契约激活，下一个将在政治上更容易推进。这是一个较长期的赌注，同时依赖于一连串反事实假设——CTV激活、随后的OP_CAT讨论、OP_CAT本身的激活——每一环都是条件性的。 在2026年余下时间及2027年，我们将持续关注的问题是具体而可验证的。替代客户端是否会上线，Core会以推出自身信号逻辑还是明确拒绝来应对？2026年3月起始日后第一个2016区块窗口内，矿工的信号行为如何？Core贡献者的具体技术异议是否会以可供评估的形式公开发布，抑或讨论仍将停留于弥散状态？周边联盟——钱包、交易所、托管方——会在信号窗口开启前还是开启后公开表态？ 若这些问题的答案是"替代客户端上线，矿工信号超过90%，Core随即合并变更"，比特币将探索出一条新的升级路径，BTCFi将在十八个月内获得一个实质不同的设计空间。若答案是"客户端上线，信号失败，讨论重置"，则将坐实比特币的升级进程不仅保守，而且在结构上已然阻塞，BTCFi的路线图将需要在可预见的未来以脚本静止为前提进行规划。两种结果都具有信息量。最糟糕的是第三种：客户端上线，矿工信号达到阈值，但随之而来的链分裂揭示出，比特币的治理远比任何派系所预设的更加脆弱。这一结果不是最可能发生的，但它是眼下最值得保持高度关注的那一个。